Trace number 4302581

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)1795857 252.064 211.161

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay400_c18.xml
MD5SUMb20be86eed1a54c36d145f853cc0c945
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2380118
Best CPU time to get the best result obtained on this benchmark252.088
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints400
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree40
Distribution of variable degrees[{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}]
Minimum constraint arity12
Maximum constraint arity37
Distribution of constraint arities[{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":400}]
Optimization problemYES
Type of objectivemax SUM

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
40.86/20.71	o 1554456
41.33/21.08	o 1554669
41.59/21.11	o 1562488
41.59/21.13	o 1563588
41.59/21.16	o 1563899
52.37/26.22	o 1563912
52.37/26.25	o 1564023
52.37/26.26	o 1564920
52.37/26.28	o 1566461
52.37/26.29	o 1566957
52.60/26.30	o 1567052
52.60/26.32	o 1567163
52.60/26.33	o 1571796
54.14/26.76	o 1573181
54.14/26.77	o 1573330
54.14/26.78	o 1574022
54.14/26.79	o 1574982
54.37/26.81	o 1575293
54.37/26.82	o 1582078
54.37/26.84	o 1582444
54.37/26.85	o 1590486
54.37/26.86	o 1590507
54.37/26.87	o 1592075
54.37/26.89	o 1597152
54.48/26.90	o 1597788
54.48/26.92	o 1598741
54.48/26.93	o 1598917
54.48/26.94	o 1598945
54.48/26.95	o 1603299
54.48/26.98	o 1604647
54.48/26.99	o 1605558
54.48/27.00	o 1606237
54.60/27.02	o 1607320
54.60/27.03	o 1609685
54.60/27.04	o 1611070
54.60/27.05	o 1611289
54.60/27.07	o 1611981
54.60/27.10	o 1614486
54.71/27.11	o 1614597
54.71/27.12	o 1618432
54.71/27.14	o 1620931
54.71/27.15	o 1621242
54.71/27.17	o 1621517
54.81/27.28	o 1622079
56.92/28.03	o 1622108
56.92/28.04	o 1622182
56.92/28.09	o 1622371
57.03/28.15	o 1624389
57.03/28.16	o 1624739
57.03/28.17	o 1626307
57.03/28.18	o 1627741
57.03/28.20	o 1628303
57.14/28.21	o 1628525
57.14/28.22	o 1628770
57.14/28.23	o 1629217
57.24/28.30	o 1630077
57.24/28.32	o 1634174
58.30/29.23	o 1634440
58.30/29.24	o 1634551
58.30/29.25	o 1634887
58.30/29.26	o 1634998
58.30/29.28	o 1635254
58.30/29.29	o 1636070
58.40/29.30	o 1637420
59.97/29.73	o 1637439
59.97/29.79	o 1639363
60.14/29.85	o 1639797
60.14/29.86	o 1640301
60.14/29.87	o 1640477
60.14/29.88	o 1644770
60.14/29.90	o 1644992
79.53/45.41	o 1645485
79.53/45.42	o 1645621
79.65/45.52	o 1646924
79.65/45.54	o 1648067
97.35/59.89	o 1648227
97.46/59.90	o 1649934
97.46/59.92	o 1650913
97.46/59.93	o 1651413
97.60/60.05	o 1652207
97.96/60.36	o 1653036
98.41/60.80	o 1653532
98.54/60.81	o 1654721
98.54/60.82	o 1654897
98.54/60.84	o 1656040
98.65/60.92	o 1656292
98.65/60.94	o 1657482
98.65/60.95	o 1660526
98.65/60.96	o 1664121
98.65/60.98	o 1664297
98.65/60.99	o 1664536
98.65/61.00	o 1664847
100.15/62.27	o 1664948
100.15/62.28	o 1666884
103.77/65.32	o 1667054
103.77/65.34	o 1667104
103.77/65.35	o 1668247
103.77/65.36	o 1668558
103.88/65.42	o 1668673
103.88/65.44	o 1670480
103.88/65.45	o 1671929
103.88/65.46	o 1673757
103.88/65.47	o 1674091
103.88/65.48	o 1675540
107.26/68.09	o 1675752
107.26/68.10	o 1675974
107.38/68.14	o 1676155
107.38/68.15	o 1679199
112.00/72.17	o 1679479
112.00/72.18	o 1681830
112.00/72.19	o 1685140
112.09/72.21	o 1685981
120.88/80.96	o 1685982
120.88/80.97	o 1686118
120.88/80.99	o 1686213
120.88/81.00	o 1686389
120.98/81.01	o 1686500
120.98/81.03	o 1689167
120.98/81.04	o 1689667
120.98/81.05	o 1693556
120.98/81.06	o 1695620
120.98/81.07	o 1698298
120.98/81.09	o 1699175
120.98/81.10	o 1700609
121.09/81.11	o 1701097
121.09/81.12	o 1701544
121.09/81.14	o 1703904
121.09/81.15	o 1704106
121.09/81.16	o 1704647
121.09/81.17	o 1705540
121.09/81.19	o 1706081
121.18/81.20	o 1708092
121.18/81.21	o 1709526
121.18/81.22	o 1710937
121.18/81.24	o 1712022
121.18/81.25	o 1714640
121.18/81.26	o 1714891
121.18/81.27	o 1715927
121.18/81.29	o 1716684
121.28/81.30	o 1721226
121.28/81.31	o 1721673
121.28/81.32	o 1721718
121.28/81.34	o 1724081
121.28/81.35	o 1724528
121.28/81.37	o 1726524
121.28/81.38	o 1727874
121.28/81.39	o 1728442
121.38/81.40	o 1728889
121.38/81.41	o 1731425
121.38/81.43	o 1733124
121.38/81.45	o 1733965
121.38/81.47	o 1734412
121.38/81.48	o 1736251
121.38/81.50	o 1736440
121.52/81.53	o 1742888
121.52/81.54	o 1743645
121.52/81.56	o 1744186
121.52/81.57	o 1744680
121.52/81.58	o 1746804
121.52/81.59	o 1746860
121.62/81.61	o 1749094
121.62/81.62	o 1751105
121.62/81.63	o 1751987
121.62/81.64	o 1753019
121.62/81.66	o 1753130
121.62/81.67	o 1753173
121.62/81.68	o 1753946
121.62/81.69	o 1754150
121.72/81.70	o 1756384
121.72/81.74	o 1757227
121.72/81.75	o 1757812
121.72/81.77	o 1757868
121.72/81.78	o 1758779
121.72/81.79	o 1758955
121.82/81.80	o 1759066
121.92/81.93	o 1764109
121.92/81.94	o 1766525
121.92/81.96	o 1766866
121.92/81.97	o 1769226
122.22/82.21	o 1769814
122.22/82.23	o 1769925
122.22/82.25	o 1772996
122.22/82.28	o 1773185
123.42/83.49	o 1773226
123.92/84.00	o 1775816
124.03/84.01	o 1775994
124.03/84.03	o 1777405
124.84/84.90	o 1780941
124.94/84.91	o 1781908
124.94/84.92	o 1782724
124.94/84.93	o 1784229
124.94/84.94	o 1785579
127.75/87.74	o 1785904
127.75/87.75	o 1785957
127.75/87.76	o 1786148
127.75/87.78	o 1788586
127.85/87.80	o 1788757
127.85/87.81	o 1789298
127.85/87.82	o 1791287
127.85/87.84	o 1793905
127.85/87.85	o 1795316
127.85/87.86	o 1795489
127.85/87.87	o 1795625
127.85/87.88	o 1795816
128.38/88.35	o 1795857
252.01/211.12	Exception in thread "main" java.util.concurrent.TimeoutException
252.01/211.12		at concrete.MAC.mac(MAC.scala:188)
252.01/211.12		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.01/211.12		at scala.util.Try$.apply(Try.scala:209)
252.01/211.12		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.01/211.12		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.01/211.12		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.01/211.12		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.01/211.12		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.01/211.12		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.01/211.12		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.01/211.12		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.01/211.12		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.01/211.12		at concrete.MAC.oneRun(MAC.scala:253)
252.01/211.12		at concrete.MAC.nextSolution(MAC.scala:272)
252.01/211.12		at concrete.MAC.nextSolution(MAC.scala:355)
252.01/211.12		at concrete.Solver.hasNext(Solver.scala:166)
252.01/211.12		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.01/211.12		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.01/211.12		at concrete.Solver.foreach(Solver.scala:68)
252.01/211.12		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.01/211.12		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.01/211.12		at scala.util.Success.map(Try.scala:209)
252.01/211.12		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.01/211.12		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.01/211.12		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.01/211.12		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.01/211.12		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.01/211.12		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.01/211.12		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.01/211.12		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.01/211.12		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.01/211.12		at scala.collection.immutable.List.foreach(List.scala:389)
252.01/211.12		at scala.App.main(App.scala:76)
252.01/211.12		at scala.App.main$(App.scala:74)
252.01/211.12		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.01/211.12		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.01/211.12	v <instantiation cost="1795857">
252.01/211.12	v       <list>
252.01/211.12	v         b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
252.01/211.12	v       </list>
252.01/211.12	v       <values>
252.01/211.12	v         0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0
252.01/211.12	v       </values>
252.01/211.12	v     </instantiation>
252.01/211.12	s SATISFIABLE

Verifier Data 

OK	1795857

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302581-1532895275/watcher-4302581-1532895275 -o /tmp/evaluation-result-4302581-1532895275/solver-4302581-1532895275 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1621 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1177690681 HOME/instance-4302581-1532895275.xml 

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

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
solver pid=3581, runsolver pid=3578
Current StackSize limit: 8192 KiB


[startup+0.100075 s]*
/proc/loadavg: 2.31 1.97 1.74 6/206 3638
/proc/meminfo: memFree=28128908/32770624 swapFree=67108860/67108860
[pid=3581] ppid=3578 vsize=10021560 memory=15704 CPUtime=0.09 cores=1,3,5,7
/proc/3581/stat : 3581 (java) S 3578 3581 22004 0 -1 1077944320 4555 13160 0 0 2 0 5 2 20 0 6 0 107090739 10262077440 3860 33554432000 4194304 4196468 140735324016096 140735323998640 139662370803447 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
/proc/3581/statm: 2505390 3926 1987 1 0 2493828 0
[pid=3581/tid=3634] ppid=3578 vsize=10088124 memory=8326441112148417179 CPUtime=0.08 cores=1,3,5,7
/proc/3581/task/3634/stat : 3634 (java) R 3578 3581 22004 0 -1 4202560 2473 13160 0 0 1 0 5 2 20 0 7 0 107090748 10330238976 3992 33554432000 4194304 4196468 140735324016096 139662342646544 139662354883964 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3635] ppid=3578 vsize=10088124 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3635/stat : 3635 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 7 0 107090749 10330238976 3992 33554432000 4194304 4196468 140735324016096 139662375045648 139662370813653 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3636] ppid=3578 vsize=10088124 memory=139854244357760 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3636/stat : 3636 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 7 0 107090749 10330238976 3992 33554432000 4194304 4196468 140735324016096 139662271249040 139662370813653 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3637] ppid=3578 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3637/stat : 3637 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 7 0 107090749 10330238976 3992 33554432000 4194304 4196468 140735324016096 139661909879056 139662370813653 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3638] ppid=3578 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3638/stat : 3638 (java) S 3578 3581 22004 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 7 0 107090749 10330238976 3992 33554432000 4194304 4196468 140735324016096 139661908826512 139662370813653 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3639] ppid=3578 vsize=10088124 memory=139854244357760 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3639/stat : 3639 (java) S 3578 3581 22004 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 7 0 107090750 10330238976 3992 33554432000 4194304 4196468 140735324016096 139661340027632 139662370814594 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10021560 KiB
Current children cumulated memory: 15704 KiB

[startup+0.218359 s]*
/proc/loadavg: 2.31 1.97 1.74 6/215 3647
/proc/meminfo: memFree=28087892/32770624 swapFree=67108860/67108860
[pid=3581] ppid=3578 vsize=10982696 memory=44680 CPUtime=0.26 cores=1,3,5,7
/proc/3581/stat : 3581 (java) S 3578 3581 22004 0 -1 1077944320 9136 13160 0 0 18 1 5 2 20 0 15 0 107090739 11246280704 11170 33554432000 4194304 4196468 140735324016096 140735323998640 139662370803447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
/proc/3581/statm: 2745674 11170 2922 1 0 2708109 0
[pid=3581/tid=3634] ppid=3578 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/3581/task/3634/stat : 3634 (java) R 3578 3581 22004 0 -1 4202560 5599 13160 0 0 12 0 5 2 20 0 15 0 107090748 11246329856 11236 33554432000 4194304 4196468 140735324016096 139662342635648 139662370825373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3635] ppid=3578 vsize=10982744 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3635/stat : 3635 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090749 11246329856 11236 33554432000 4194304 4196468 140735324016096 139662375045648 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3636] ppid=3578 vsize=10982744 memory=139854244986946 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3636/stat : 3636 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090749 11246329856 11236 33554432000 4194304 4196468 140735324016096 139662271249040 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3637] ppid=3578 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3637/stat : 3637 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090749 11246329856 11236 33554432000 4194304 4196468 140735324016096 139661909879056 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3638] ppid=3578 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3638/stat : 3638 (java) S 3578 3581 22004 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 107090749 11246329856 11236 33554432000 4194304 4196468 140735324016096 139661908826512 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3639] ppid=3578 vsize=10982744 memory=139854244357760 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3639/stat : 3639 (java) S 3578 3581 22004 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 107090750 11246329856 11236 33554432000 4194304 4196468 140735324016096 139661340027632 139662370814594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3640] ppid=3578 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3640/stat : 3640 (java) S 3578 3581 22004 0 -1 1077944384 13 13160 0 0 0 0 5 2 20 0 15 0 107090750 11246329856 11236 33554432000 4194304 4196468 140735324016096 139661263496864 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3641] ppid=3578 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3641/stat : 3641 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090751 11246329856 11236 33554432000 4194304 4196468 140735324016096 139661062169840 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3642] ppid=3578 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3642/stat : 3642 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090753 11246329856 11236 33554432000 4194304 4196468 140735324016096 139660754770384 139662370822043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3643] ppid=3578 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3581/task/3643/stat : 3643 (java) S 3578 3581 22004 0 -1 1077944384 450 13160 0 0 1 0 5 2 20 0 15 0 107090753 11246329856 11236 33554432000 4194304 4196468 140735324016096 139661338974448 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3644] ppid=3578 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3581/task/3644/stat : 3644 (java) S 3578 3581 22004 0 -1 1077944384 194 13160 0 0 1 0 5 2 20 0 15 0 107090753 11246329856 11236 33554432000 4194304 4196468 140735324016096 139661337921904 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3645] ppid=3578 vsize=10982744 memory=139854244357760 CPUtime=0.1 cores=1,3,5,7
/proc/3581/task/3645/stat : 3645 (java) S 3578 3581 22004 0 -1 1077944384 699 13160 0 0 3 0 5 2 20 0 15 0 107090753 11246329856 11236 33554432000 4194304 4196468 140735324016096 139661336868848 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3646] ppid=3578 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3646/stat : 3646 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090754 11246329856 11236 33554432000 4194304 4196468 140735324016096 139660323973472 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3647] ppid=3578 vsize=10982744 memory=139854244357760 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3647/stat : 3647 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090754 11246329856 11236 33554432000 4194304 4196468 140735324016096 139661335817264 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44680 KiB

[startup+0.310383 s]*
/proc/loadavg: 2.31 1.97 1.74 6/215 3647
/proc/meminfo: memFree=28071940/32770624 swapFree=67108860/67108860
[pid=3581] ppid=3578 vsize=10983192 memory=54196 CPUtime=0.38 cores=1,3,5,7
/proc/3581/stat : 3581 (java) S 3578 3581 22004 0 -1 1077944320 10648 13160 0 0 30 1 5 2 20 0 15 0 107090739 11246788608 13549 33554432000 4194304 4196468 140735324016096 140735323998640 139662370803447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
/proc/3581/statm: 2745798 13549 3083 1 0 2708109 0
[pid=3581/tid=3634] ppid=3578 vsize=10983192 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/3581/task/3634/stat : 3634 (java) R 3578 3581 22004 0 -1 4202560 7062 13160 0 0 21 1 5 2 20 0 15 0 107090748 11246788608 13615 33554432000 4194304 4196468 140735324016096 139662342600392 139662354883934 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3635] ppid=3578 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3635/stat : 3635 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090749 11246788608 13615 33554432000 4194304 4196468 140735324016096 139662375045648 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3636] ppid=3578 vsize=10983192 memory=6935054825532540783 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3636/stat : 3636 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090749 11246788608 13615 33554432000 4194304 4196468 140735324016096 139662271249040 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3637] ppid=3578 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3637/stat : 3637 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090749 11246788608 13615 33554432000 4194304 4196468 140735324016096 139661909879056 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3638] ppid=3578 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3638/stat : 3638 (java) S 3578 3581 22004 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 107090749 11246788608 13615 33554432000 4194304 4196468 140735324016096 139661908826512 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3639] ppid=3578 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3639/stat : 3639 (java) S 3578 3581 22004 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 107090750 11246788608 13615 33554432000 4194304 4196468 140735324016096 139661340027632 139662370814594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3640] ppid=3578 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3640/stat : 3640 (java) S 3578 3581 22004 0 -1 1077944384 13 13160 0 0 0 0 5 2 20 0 15 0 107090750 11246788608 13615 33554432000 4194304 4196468 140735324016096 139661263496864 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3641] ppid=3578 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3641/stat : 3641 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090751 11246788608 13615 33554432000 4194304 4196468 140735324016096 139661062169840 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3642] ppid=3578 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3642/stat : 3642 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090753 11246788608 13615 33554432000 4194304 4196468 140735324016096 139660754770384 139662370822043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3643] ppid=3578 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3581/task/3643/stat : 3643 (java) S 3578 3581 22004 0 -1 1077944384 450 13160 0 0 1 0 5 2 20 0 15 0 107090753 11246788608 13615 33554432000 4194304 4196468 140735324016096 139661338974448 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3644] ppid=3578 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3581/task/3644/stat : 3644 (java) S 3578 3581 22004 0 -1 1077944384 200 13160 0 0 1 0 5 2 20 0 15 0 107090753 11246788608 13615 33554432000 4194304 4196468 140735324016096 139661337921904 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3645] ppid=3578 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3581/task/3645/stat : 3645 (java) S 3578 3581 22004 0 -1 1077944384 730 13160 0 0 5 0 5 2 20 0 15 0 107090753 11246788608 13615 33554432000 4194304 4196468 140735324016096 139661336868848 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3646] ppid=3578 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3646/stat : 3646 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090754 11246788608 13615 33554432000 4194304 4196468 140735324016096 139660323973472 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3647] ppid=3578 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3647/stat : 3647 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090754 11246788608 13615 33554432000 4194304 4196468 140735324016096 139661335817264 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54196 KiB

[startup+0.700734 s]
/proc/loadavg: 2.31 1.97 1.74 3/215 3647
/proc/meminfo: memFree=28005376/32770624 swapFree=67108860/67108860
[pid=3581] ppid=3578 vsize=10983192 memory=87888 CPUtime=0.98 cores=1,3,5,7
/proc/3581/stat : 3581 (java) S 3578 3581 22004 0 -1 1077944320 17144 13160 0 0 87 4 5 2 20 0 15 0 107090739 11246788608 21972 33554432000 4194304 4196468 140735324016096 140735323998640 139662370803447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
/proc/3581/statm: 2745798 21972 3237 1 0 2708109 0
[pid=3581/tid=3634] ppid=3578 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/3581/task/3634/stat : 3634 (java) R 3578 3581 22004 0 -1 4202560 12477 13160 0 0 57 2 5 2 20 0 15 0 107090748 11246788608 21972 33554432000 4194304 4196468 140735324016096 139662342624272 139662352366963 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3635] ppid=3578 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3635/stat : 3635 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090749 11246788608 21972 33554432000 4194304 4196468 140735324016096 139662375045648 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3636] ppid=3578 vsize=10983192 memory=8242257093008373557 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3636/stat : 3636 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090749 11246788608 21972 33554432000 4194304 4196468 140735324016096 139662271249040 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3637] ppid=3578 vsize=10983192 memory=7158860088844767568 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3637/stat : 3637 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090749 11246788608 21972 33554432000 4194304 4196468 140735324016096 139661909879056 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3638] ppid=3578 vsize=10983192 memory=7588675599774802240 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3638/stat : 3638 (java) S 3578 3581 22004 0 -1 1077944384 2 13160 0 0 0 0 5 2 20 0 15 0 107090749 11246788608 21972 33554432000 4194304 4196468 140735324016096 139661908826512 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3639] ppid=3578 vsize=10983192 memory=2319389199166351968 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3639/stat : 3639 (java) S 3578 3581 22004 0 -1 1077944384 5 13160 0 0 0 0 5 2 20 0 15 0 107090750 11246788608 21972 33554432000 4194304 4196468 140735324016096 139661340027632 139662370814594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3640] ppid=3578 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3640/stat : 3640 (java) S 3578 3581 22004 0 -1 1077944384 13 13160 0 0 0 0 5 2 20 0 15 0 107090750 11246788608 21972 33554432000 4194304 4196468 140735324016096 139661263496864 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3641] ppid=3578 vsize=10983192 memory=139854244356625 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3641/stat : 3641 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090751 11246788608 21972 33554432000 4194304 4196468 140735324016096 139661062169840 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3642] ppid=3578 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3642/stat : 3642 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090753 11246788608 21972 33554432000 4194304 4196468 140735324016096 139660754770384 139662370822043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3643] ppid=3578 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/3581/task/3643/stat : 3643 (java) S 3578 3581 22004 0 -1 1077944384 1076 13160 0 0 9 0 5 2 20 0 15 0 107090753 11246788608 21972 33554432000 4194304 4196468 140735324016096 139661338974448 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3644] ppid=3578 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/3581/task/3644/stat : 3644 (java) S 3578 3581 22004 0 -1 1077944384 452 13160 0 0 7 0 5 2 20 0 15 0 107090753 11246788608 21972 33554432000 4194304 4196468 140735324016096 139661337921904 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3645] ppid=3578 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/3581/task/3645/stat : 3645 (java) S 3578 3581 22004 0 -1 1077944384 918 13160 0 0 13 0 5 2 20 0 15 0 107090753 11246788608 21972 33554432000 4194304 4196468 140735324016096 139661336868848 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3646] ppid=3578 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3646/stat : 3646 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090754 11246788608 21972 33554432000 4194304 4196468 140735324016096 139660323973472 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3647] ppid=3578 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3647/stat : 3647 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090754 11246788608 21972 33554432000 4194304 4196468 140735324016096 139661335817264 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87888 KiB

[startup+1.50067 s]
/proc/loadavg: 2.31 1.97 1.74 4/215 3647
/proc/meminfo: memFree=27951108/32770624 swapFree=67108860/67108860
[pid=3581] ppid=3578 vsize=10998092 memory=204280 CPUtime=2.81 cores=1,3,5,7
/proc/3581/stat : 3581 (java) S 3578 3581 22004 0 -1 1077944320 26205 13160 0 0 266 8 5 2 20 0 15 0 107090739 11262046208 51070 33554432000 4194304 4196468 140735324016096 140735323998640 139662370803447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
/proc/3581/statm: 2749523 51070 3468 1 0 2711181 0
[pid=3581/tid=3634] ppid=3578 vsize=10998092 memory=147120 CPUtime=1.42 cores=1,3,5,7
/proc/3581/task/3634/stat : 3634 (java) R 3578 3581 22004 0 -1 4202560 17432 13160 0 0 131 4 5 2 20 0 15 0 107090748 11262046208 51070 33554432000 4194304 4196468 140735324016096 139662342620320 139662354883934 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3635] ppid=3578 vsize=10998092 memory=288230377057958059 CPUtime=0.08 cores=1,3,5,7
/proc/3581/task/3635/stat : 3635 (java) S 3578 3581 22004 0 -1 1077944384 19 13160 0 0 1 0 5 2 20 0 15 0 107090749 11262046208 51070 33554432000 4194304 4196468 140735324016096 139662375045648 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3636] ppid=3578 vsize=10998092 memory=15258134134413744 CPUtime=0.08 cores=1,3,5,7
/proc/3581/task/3636/stat : 3636 (java) S 3578 3581 22004 0 -1 1077944384 25 13160 0 0 1 0 5 2 20 0 15 0 107090749 11262046208 51070 33554432000 4194304 4196468 140735324016096 139662271249040 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3637] ppid=3578 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3581/task/3637/stat : 3637 (java) S 3578 3581 22004 0 -1 1077944384 173 13160 0 0 1 0 5 2 20 0 15 0 107090749 11262046208 51070 33554432000 4194304 4196468 140735324016096 139661909879056 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3638] ppid=3578 vsize=10998092 memory=-3253322038155611931 CPUtime=0.08 cores=1,3,5,7
/proc/3581/task/3638/stat : 3638 (java) S 3578 3581 22004 0 -1 1077944384 56 13160 0 0 1 0 5 2 20 0 15 0 107090749 11262046208 51070 33554432000 4194304 4196468 140735324016096 139661908826512 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3639] ppid=3578 vsize=10998092 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/3581/task/3639/stat : 3639 (java) S 3578 3581 22004 0 -1 1077944384 462 13160 0 0 1 0 5 2 20 0 15 0 107090750 11262046208 51070 33554432000 4194304 4196468 140735324016096 139661340027632 139662370814594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3640] ppid=3578 vsize=10998092 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3640/stat : 3640 (java) S 3578 3581 22004 0 -1 1077944384 14 13160 0 0 0 0 5 2 20 0 15 0 107090750 11262046208 51070 33554432000 4194304 4196468 140735324016096 139661263496928 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3641] ppid=3578 vsize=10998092 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3641/stat : 3641 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090751 11262046208 51070 33554432000 4194304 4196468 140735324016096 139661062169856 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3642] ppid=3578 vsize=10998092 memory=2216 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3642/stat : 3642 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090753 11262046208 51070 33554432000 4194304 4196468 140735324016096 139660754770384 139662370822043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3643] ppid=3578 vsize=10998092 memory=44680 CPUtime=0.55 cores=1,3,5,7
/proc/3581/task/3643/stat : 3643 (java) S 3578 3581 22004 0 -1 1077944384 2345 13160 0 0 48 0 5 2 20 0 15 0 107090753 11262046208 51070 33554432000 4194304 4196468 140735324016096 139661338974448 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3644] ppid=3578 vsize=10998092 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/3581/task/3644/stat : 3644 (java) S 3578 3581 22004 0 -1 1077944384 1440 13160 0 0 37 0 5 2 20 0 15 0 107090753 11262046208 51070 33554432000 4194304 4196468 140735324016096 139661337921904 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3645] ppid=3578 vsize=10998092 memory=139854134626640 CPUtime=0.46 cores=1,3,5,7
/proc/3581/task/3645/stat : 3645 (java) S 3578 3581 22004 0 -1 1077944384 2042 13160 0 0 39 0 5 2 20 0 15 0 107090753 11262046208 51070 33554432000 4194304 4196468 140735324016096 139661336868848 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3646] ppid=3578 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3646/stat : 3646 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090754 11262046208 51070 33554432000 4194304 4196468 140735324016096 139660323973472 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3647] ppid=3578 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3647/stat : 3647 (java) S 3578 3581 22004 0 -1 1077944384 1 13160 0 0 0 0 5 2 20 0 15 0 107090754 11262046208 51070 33554432000 4194304 4196468 140735324016096 139661335817264 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0

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

/proc/3581/task/3634/stat : 3634 (java) R 3578 3581 22004 0 -1 4202560 51964 13160 0 0 9666 24 5 2 20 0 15 0 107090748 11278843904 580881 33554432000 4194304 4196468 140735324016096 139662342636336 139661961171856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3635] ppid=3578 vsize=11014496 memory=2323524 CPUtime=4.92 cores=1,3,5,7
/proc/3581/task/3635/stat : 3635 (java) S 3578 3581 22004 0 -1 1077944384 3576 13160 0 0 451 34 5 2 20 0 15 0 107090749 11278843904 580881 33554432000 4194304 4196468 140735324016096 139662375045648 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3636] ppid=3578 vsize=11014496 memory=279708269064856 CPUtime=4.91 cores=1,3,5,7
/proc/3581/task/3636/stat : 3636 (java) S 3578 3581 22004 0 -1 1077944384 4039 13160 0 0 452 32 5 2 20 0 15 0 107090749 11278843904 580881 33554432000 4194304 4196468 140735324016096 139662271249040 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3637] ppid=3578 vsize=11014496 memory=86884682 CPUtime=4.93 cores=1,3,5,7
/proc/3581/task/3637/stat : 3637 (java) S 3578 3581 22004 0 -1 1077944384 2964 13160 0 0 452 34 5 2 20 0 15 0 107090749 11278843904 580881 33554432000 4194304 4196468 140735324016096 139661909879056 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3638] ppid=3578 vsize=11014496 memory=2280560 CPUtime=4.95 cores=1,3,5,7
/proc/3581/task/3638/stat : 3638 (java) S 3578 3581 22004 0 -1 1077944384 2111 13160 0 0 454 34 5 2 20 0 15 0 107090749 11278843904 580881 33554432000 4194304 4196468 140735324016096 139661908826512 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3639] ppid=3578 vsize=11014496 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/3581/task/3639/stat : 3639 (java) S 3578 3581 22004 0 -1 1077944384 5279 13160 0 0 32 1 5 2 20 0 15 0 107090750 11278843904 580881 33554432000 4194304 4196468 140735324016096 139661340027632 139662370814594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3640] ppid=3578 vsize=11014496 memory=279708269788336 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3640/stat : 3640 (java) S 3578 3581 22004 0 -1 1077944384 24 13160 0 0 0 0 5 2 20 0 15 0 107090750 11278843904 580881 33554432000 4194304 4196468 140735324016096 139661263496992 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3641] ppid=3578 vsize=11014496 memory=4123401283169797999 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3641/stat : 3641 (java) S 3578 3581 22004 0 -1 1077944384 10 13160 0 0 0 0 5 2 20 0 15 0 107090751 11278843904 580881 33554432000 4194304 4196468 140735324016096 139661062169856 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3642] ppid=3578 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3642/stat : 3642 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090753 11278843904 580881 33554432000 4194304 4196468 140735324016096 139660754770384 139662370822043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3643] ppid=3578 vsize=11014496 memory=6933690296315519121 CPUtime=11.15 cores=1,3,5,7
/proc/3581/task/3643/stat : 3643 (java) S 3578 3581 22004 0 -1 1077944384 13521 13160 0 0 1104 4 5 2 20 0 15 0 107090753 11278843904 580881 33554432000 4194304 4196468 140735324016096 139661338974448 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3644] ppid=3578 vsize=11014496 memory=2241664 CPUtime=11 cores=1,3,5,7
/proc/3581/task/3644/stat : 3644 (java) S 3578 3581 22004 0 -1 1077944384 13402 13160 0 0 1087 6 5 2 20 0 15 0 107090753 11278843904 580881 33554432000 4194304 4196468 140735324016096 139661337921904 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3645] ppid=3578 vsize=11014496 memory=2323524 CPUtime=3.64 cores=1,3,5,7
/proc/3581/task/3645/stat : 3645 (java) S 3578 3581 22004 0 -1 1077944384 19195 13160 0 0 349 8 5 2 20 0 15 0 107090753 11278843904 580881 33554432000 4194304 4196468 140735324016096 139661336868848 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3646] ppid=3578 vsize=11014496 memory=4028 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3646/stat : 3646 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090754 11278843904 580881 33554432000 4194304 4196468 140735324016096 139660323973472 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3647] ppid=3578 vsize=11014496 memory=2231428 CPUtime=0.11 cores=1,3,5,7
/proc/3581/task/3647/stat : 3647 (java) S 3578 3581 22004 0 -1 1077944384 842 13160 0 0 2 2 5 2 20 0 15 0 107090754 11278843904 580881 33554432000 4194304 4196468 140735324016096 139661335817264 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
Current children cumulated CPU time: 142.48 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2323524 KiB

[startup+162.301 s]
/proc/loadavg: 1.68 1.90 1.76 3/215 3649
/proc/meminfo: memFree=22749540/32770624 swapFree=67108860/67108860
[pid=3581] ppid=3578 vsize=11014496 memory=2374656 CPUtime=202.94 cores=1,3,5,7
/proc/3581/stat : 3581 (java) S 3578 3581 22004 0 -1 1077944320 127189 13160 0 0 20095 192 5 2 20 0 15 0 107090739 11278843904 593664 33554432000 4194304 4196468 140735324016096 140735323998640 139662370803447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
/proc/3581/statm: 2753624 593664 3534 1 0 2715277 0
[pid=3581/tid=3634] ppid=3578 vsize=11014496 memory=2352132 CPUtime=156.81 cores=1,3,5,7
/proc/3581/task/3634/stat : 3634 (java) R 3578 3581 22004 0 -1 4202560 55632 13160 0 0 15650 24 5 2 20 0 15 0 107090748 11278843904 593664 33554432000 4194304 4196468 140735324016096 139662342638512 139661961171992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3635] ppid=3578 vsize=11014496 memory=2372608 CPUtime=5.05 cores=1,3,5,7
/proc/3581/task/3635/stat : 3635 (java) S 3578 3581 22004 0 -1 1077944384 3781 13160 0 0 463 35 5 2 20 0 15 0 107090749 11278843904 593664 33554432000 4194304 4196468 140735324016096 139662375045648 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3636] ppid=3578 vsize=11014496 memory=279706859500732 CPUtime=5.06 cores=1,3,5,7
/proc/3581/task/3636/stat : 3636 (java) S 3578 3581 22004 0 -1 1077944384 4506 13160 0 0 465 34 5 2 20 0 15 0 107090749 11278843904 593664 33554432000 4194304 4196468 140735324016096 139662271249040 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3637] ppid=3578 vsize=11014496 memory=2374656 CPUtime=5.06 cores=1,3,5,7
/proc/3581/task/3637/stat : 3637 (java) S 3578 3581 22004 0 -1 1077944384 3693 13160 0 0 464 35 5 2 20 0 15 0 107090749 11278843904 593664 33554432000 4194304 4196468 140735324016096 139661909879056 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3638] ppid=3578 vsize=11014496 memory=2374656 CPUtime=5.09 cores=1,3,5,7
/proc/3581/task/3638/stat : 3638 (java) S 3578 3581 22004 0 -1 1077944384 3202 13160 0 0 466 36 5 2 20 0 15 0 107090749 11278843904 593664 33554432000 4194304 4196468 140735324016096 139661908826512 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3639] ppid=3578 vsize=11014496 memory=2374656 CPUtime=0.42 cores=1,3,5,7
/proc/3581/task/3639/stat : 3639 (java) S 3578 3581 22004 0 -1 1077944384 5626 13160 0 0 34 1 5 2 20 0 15 0 107090750 11278843904 593664 33554432000 4194304 4196468 140735324016096 139661340027632 139662370814594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3640] ppid=3578 vsize=11014496 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3640/stat : 3640 (java) S 3578 3581 22004 0 -1 1077944384 24 13160 0 0 0 0 5 2 20 0 15 0 107090750 11278843904 593664 33554432000 4194304 4196468 140735324016096 139661263496992 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3641] ppid=3578 vsize=11014496 memory=2374656 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3641/stat : 3641 (java) S 3578 3581 22004 0 -1 1077944384 10 13160 0 0 0 0 5 2 20 0 15 0 107090751 11278843904 593664 33554432000 4194304 4196468 140735324016096 139661062169856 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3642] ppid=3578 vsize=11014496 memory=2374656 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3642/stat : 3642 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090753 11278843904 593664 33554432000 4194304 4196468 140735324016096 139660754770384 139662370822043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3643] ppid=3578 vsize=11014496 memory=6944656592455360604 CPUtime=11.17 cores=1,3,5,7
/proc/3581/task/3643/stat : 3643 (java) S 3578 3581 22004 0 -1 1077944384 14101 13160 0 0 1105 5 5 2 20 0 15 0 107090753 11278843904 593664 33554432000 4194304 4196468 140735324016096 139661338974448 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3644] ppid=3578 vsize=11014496 memory=2372608 CPUtime=11.01 cores=1,3,5,7
/proc/3581/task/3644/stat : 3644 (java) S 3578 3581 22004 0 -1 1077944384 14044 13160 0 0 1088 6 5 2 20 0 15 0 107090753 11278843904 593664 33554432000 4194304 4196468 140735324016096 139661337921904 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3645] ppid=3578 vsize=11014496 memory=4028 CPUtime=3.65 cores=1,3,5,7
/proc/3581/task/3645/stat : 3645 (java) S 3578 3581 22004 0 -1 1077944384 19508 13160 0 0 350 8 5 2 20 0 15 0 107090753 11278843904 593664 33554432000 4194304 4196468 140735324016096 139661336868848 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3646] ppid=3578 vsize=11014496 memory=1944 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3646/stat : 3646 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090754 11278843904 593664 33554432000 4194304 4196468 140735324016096 139660323973472 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3647] ppid=3578 vsize=11014496 memory=1416 CPUtime=0.14 cores=1,3,5,7
/proc/3581/task/3647/stat : 3647 (java) S 3578 3581 22004 0 -1 1077944384 866 13160 0 0 3 4 5 2 20 0 15 0 107090754 11278843904 593664 33554432000 4194304 4196468 140735324016096 139661335817264 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
Current children cumulated CPU time: 202.94 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2374656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+211.11 s]
/proc/loadavg: 1.51 1.83 1.74 3/215 3650
/proc/meminfo: memFree=22670256/32770624 swapFree=67108860/67108860
[pid=3581] ppid=3578 vsize=11014496 memory=2382840 CPUtime=252.01 cores=1,3,5,7
/proc/3581/stat : 3581 (java) S 3578 3581 22004 0 -1 1077944320 134076 13160 0 0 25000 194 5 2 20 0 15 0 107090739 11278843904 595710 33554432000 4194304 4196468 140735324016096 140735323998640 139662370803447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
/proc/3581/statm: 2753624 595710 3534 1 0 2715277 0
[pid=3581/tid=3634] ppid=3578 vsize=11014496 memory=2378744 CPUtime=205.53 cores=1,3,5,7
/proc/3581/task/3634/stat : 3634 (java) R 3578 3581 22004 0 -1 4202560 58338 13160 0 0 20522 24 5 2 20 0 15 0 107090748 11278843904 595710 33554432000 4194304 4196468 140735324016096 139662342638400 139661961172119 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3635] ppid=3578 vsize=11014496 memory=2380792 CPUtime=5.13 cores=1,3,5,7
/proc/3581/task/3635/stat : 3635 (java) S 3578 3581 22004 0 -1 1077944384 3882 13160 0 0 471 35 5 2 20 0 15 0 107090749 11278843904 595710 33554432000 4194304 4196468 140735324016096 139662375045648 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3636] ppid=3578 vsize=11014496 memory=2380792 CPUtime=5.13 cores=1,3,5,7
/proc/3581/task/3636/stat : 3636 (java) S 3578 3581 22004 0 -1 1077944384 4524 13160 0 0 472 34 5 2 20 0 15 0 107090749 11278843904 595710 33554432000 4194304 4196468 140735324016096 139662271249040 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3637] ppid=3578 vsize=11014496 memory=2382840 CPUtime=5.14 cores=1,3,5,7
/proc/3581/task/3637/stat : 3637 (java) S 3578 3581 22004 0 -1 1077944384 3830 13160 0 0 471 36 5 2 20 0 15 0 107090749 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661909879056 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3638] ppid=3578 vsize=11014496 memory=279708269321440 CPUtime=5.16 cores=1,3,5,7
/proc/3581/task/3638/stat : 3638 (java) S 3578 3581 22004 0 -1 1077944384 3220 13160 0 0 473 36 5 2 20 0 15 0 107090749 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661908826512 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3639] ppid=3578 vsize=11014496 memory=2380792 CPUtime=0.42 cores=1,3,5,7
/proc/3581/task/3639/stat : 3639 (java) S 3578 3581 22004 0 -1 1077944384 5647 13160 0 0 34 1 5 2 20 0 15 0 107090750 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661340027632 139662370814594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3640] ppid=3578 vsize=11014496 memory=2380792 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3640/stat : 3640 (java) S 3578 3581 22004 0 -1 1077944384 24 13160 0 0 0 0 5 2 20 0 15 0 107090750 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661263496992 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3641] ppid=3578 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3641/stat : 3641 (java) S 3578 3581 22004 0 -1 1077944384 10 13160 0 0 0 0 5 2 20 0 15 0 107090751 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661062169856 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3642] ppid=3578 vsize=11014496 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3642/stat : 3642 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090753 11278843904 595710 33554432000 4194304 4196468 140735324016096 139660754770384 139662370822043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3643] ppid=3578 vsize=11014496 memory=2380792 CPUtime=11.17 cores=1,3,5,7
/proc/3581/task/3643/stat : 3643 (java) S 3578 3581 22004 0 -1 1077944384 14967 13160 0 0 1105 5 5 2 20 0 15 0 107090753 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661338974448 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3644] ppid=3578 vsize=11014496 memory=2382840 CPUtime=11.03 cores=1,3,5,7
/proc/3581/task/3644/stat : 3644 (java) S 3578 3581 22004 0 -1 1077944384 17055 13160 0 0 1090 6 5 2 20 0 15 0 107090753 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661337921904 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3645] ppid=3578 vsize=11014496 memory=8112282956445269571 CPUtime=3.65 cores=1,3,5,7
/proc/3581/task/3645/stat : 3645 (java) S 3578 3581 22004 0 -1 1077944384 19508 13160 0 0 350 8 5 2 20 0 15 0 107090753 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661336868848 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3646] ppid=3578 vsize=11014496 memory=8508 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3646/stat : 3646 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090754 11278843904 595710 33554432000 4194304 4196468 140735324016096 139660323973472 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3647] ppid=3578 vsize=11014496 memory=2378744 CPUtime=0.18 cores=1,3,5,7
/proc/3581/task/3647/stat : 3647 (java) S 3578 3581 22004 0 -1 1077944384 875 13160 0 0 5 6 5 2 20 0 15 0 107090754 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661335817264 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2382840 KiB

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

[startup+211.161 s]
# the end of solver process 3581 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.069 s, system=1.99477 s

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

[startup+211.11 s]
/proc/loadavg: 1.51 1.83 1.74 3/215 3650
/proc/meminfo: memFree=22670256/32770624 swapFree=67108860/67108860
[pid=3581] ppid=3578 vsize=11014496 memory=2382840 CPUtime=252.01 cores=1,3,5,7
/proc/3581/stat : 3581 (java) S 3578 3581 22004 0 -1 1077944320 134076 13160 0 0 25000 194 5 2 20 0 15 0 107090739 11278843904 595710 33554432000 4194304 4196468 140735324016096 140735323998640 139662370803447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
/proc/3581/statm: 2753624 595710 3534 1 0 2715277 0
[pid=3581/tid=3634] ppid=3578 vsize=11014496 memory=2378744 CPUtime=205.53 cores=1,3,5,7
/proc/3581/task/3634/stat : 3634 (java) R 3578 3581 22004 0 -1 4202560 58338 13160 0 0 20522 24 5 2 20 0 15 0 107090748 11278843904 595710 33554432000 4194304 4196468 140735324016096 139662342638400 139661961172119 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3635] ppid=3578 vsize=11014496 memory=2380792 CPUtime=5.13 cores=1,3,5,7
/proc/3581/task/3635/stat : 3635 (java) S 3578 3581 22004 0 -1 1077944384 3882 13160 0 0 471 35 5 2 20 0 15 0 107090749 11278843904 595710 33554432000 4194304 4196468 140735324016096 139662375045648 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3636] ppid=3578 vsize=11014496 memory=2380792 CPUtime=5.13 cores=1,3,5,7
/proc/3581/task/3636/stat : 3636 (java) S 3578 3581 22004 0 -1 1077944384 4524 13160 0 0 472 34 5 2 20 0 15 0 107090749 11278843904 595710 33554432000 4194304 4196468 140735324016096 139662271249040 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3637] ppid=3578 vsize=11014496 memory=2382840 CPUtime=5.14 cores=1,3,5,7
/proc/3581/task/3637/stat : 3637 (java) S 3578 3581 22004 0 -1 1077944384 3830 13160 0 0 471 36 5 2 20 0 15 0 107090749 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661909879056 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3638] ppid=3578 vsize=11014496 memory=279708269321440 CPUtime=5.16 cores=1,3,5,7
/proc/3581/task/3638/stat : 3638 (java) S 3578 3581 22004 0 -1 1077944384 3220 13160 0 0 473 36 5 2 20 0 15 0 107090749 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661908826512 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3639] ppid=3578 vsize=11014496 memory=2380792 CPUtime=0.42 cores=1,3,5,7
/proc/3581/task/3639/stat : 3639 (java) S 3578 3581 22004 0 -1 1077944384 5647 13160 0 0 34 1 5 2 20 0 15 0 107090750 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661340027632 139662370814594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3640] ppid=3578 vsize=11014496 memory=2380792 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3640/stat : 3640 (java) S 3578 3581 22004 0 -1 1077944384 24 13160 0 0 0 0 5 2 20 0 15 0 107090750 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661263496992 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3641] ppid=3578 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3641/stat : 3641 (java) S 3578 3581 22004 0 -1 1077944384 10 13160 0 0 0 0 5 2 20 0 15 0 107090751 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661062169856 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3642] ppid=3578 vsize=11014496 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3642/stat : 3642 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090753 11278843904 595710 33554432000 4194304 4196468 140735324016096 139660754770384 139662370822043 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3643] ppid=3578 vsize=11014496 memory=2380792 CPUtime=11.17 cores=1,3,5,7
/proc/3581/task/3643/stat : 3643 (java) S 3578 3581 22004 0 -1 1077944384 14967 13160 0 0 1105 5 5 2 20 0 15 0 107090753 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661338974448 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3644] ppid=3578 vsize=11014496 memory=2382840 CPUtime=11.03 cores=1,3,5,7
/proc/3581/task/3644/stat : 3644 (java) S 3578 3581 22004 0 -1 1077944384 17055 13160 0 0 1090 6 5 2 20 0 15 0 107090753 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661337921904 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3645] ppid=3578 vsize=11014496 memory=8112282956445269571 CPUtime=3.65 cores=1,3,5,7
/proc/3581/task/3645/stat : 3645 (java) S 3578 3581 22004 0 -1 1077944384 19508 13160 0 0 350 8 5 2 20 0 15 0 107090753 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661336868848 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3646] ppid=3578 vsize=11014496 memory=8508 CPUtime=0.07 cores=1,3,5,7
/proc/3581/task/3646/stat : 3646 (java) S 3578 3581 22004 0 -1 1077944384 3 13160 0 0 0 0 5 2 20 0 15 0 107090754 11278843904 595710 33554432000 4194304 4196468 140735324016096 139660323973472 139662370813653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
[pid=3581/tid=3647] ppid=3578 vsize=11014496 memory=2378744 CPUtime=0.18 cores=1,3,5,7
/proc/3581/task/3647/stat : 3647 (java) S 3578 3581 22004 0 -1 1077944384 875 13160 0 0 5 6 5 2 20 0 15 0 107090754 11278843904 595710 33554432000 4194304 4196468 140735324016096 139661335817264 139662370814594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9605120 140735324019313 140735324022113 140735324022113 140735324024783 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2382840 KiB

Child status: 143
Real time (s): 211.161
CPU time (s): 252.064
CPU user time (s): 250.069
CPU system time (s): 1.99477
CPU usage (%): 119.37
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 2382840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.069
system time used= 1.99477
maximum resident set size= 2387140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21236
involuntary context switches= 426


# summary of solver processes directly reported to runsolver:
#   pid: 3581
#   total CPU time (s): 252.064
#   total CPU user time (s): 250.069
#   total CPU system time (s): 1.99477

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65665 second user time and 1.70002 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-29 22:14:35
IDJOB=4302581
IDBENCH=141152
IDSOLVER=2776
FILE ID=node151/4302581-1532895275
RUNJOBID= node151-1532894133-1621
PBS_JOBID= 21022509
Free space on /tmp= 59284 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay400_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302581-1532895275/watcher-4302581-1532895275 -o /tmp/evaluation-result-4302581-1532895275/solver-4302581-1532895275 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1621 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1177690681 HOME/instance-4302581-1532895275.xml

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

MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945
RANDOM SEED=1177690681

node151.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.87
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.87
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.87
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.87
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:        28145880 kB
MemAvailable:   31881076 kB
Buffers:          216332 kB
Cached:          3792404 kB
SwapCached:            0 kB
Active:          1526436 kB
Inactive:        2630152 kB
Active(anon):      97420 kB
Inactive(anon):    78188 kB
Active(file):    1429016 kB
Inactive(file):  2551964 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             53748 kB
Writeback:             0 kB
AnonPages:        105932 kB
Mapped:            56688 kB
Shmem:             25224 kB
Slab:             168160 kB
SReclaimable:     140104 kB
SUnreclaim:        28056 kB
KernelStack:        3808 kB
PageTables:         5816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1505532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59260 MiB
End job on node151 at 2018-07-29 22:18:07