Trace number 4302579

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)2266300 252.101 219.449

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay500_c18.xml
MD5SUMd1d7e4f351cab0858660dafd89ccc193
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2899564
Best CPU time to get the best result obtained on this benchmark252.105
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints500
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree37
Distribution of variable degrees[{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}]
Minimum constraint arity7
Maximum constraint arity42
Distribution of constraint arities[{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":500}]
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 

1.00/0.75	c Concrete v3.9.2.1532736233296 running
34.72/17.82	o 1966659
35.24/18.13	o 1970371
35.24/18.15	o 1978248
35.24/18.18	o 1982073
35.51/18.20	o 1986282
35.51/18.22	o 1986838
42.16/22.35	o 1987111
42.16/22.37	o 1987187
42.16/22.38	o 1987883
42.33/22.40	o 1989149
42.33/22.42	o 1989229
42.33/22.43	o 1989850
42.33/22.45	o 1990622
42.33/22.47	o 1991574
42.33/22.48	o 1992245
42.33/22.49	o 1992564
42.48/22.51	o 1993264
42.48/22.52	o 1994084
42.48/22.53	o 1994323
42.48/22.54	o 1994756
42.48/22.57	o 1995019
42.48/22.59	o 1998292
42.61/22.60	o 1999549
42.61/22.63	o 2000369
42.61/22.65	o 2000445
42.61/22.66	o 2001667
42.61/22.67	o 2002293
42.73/22.71	o 2002837
42.73/22.72	o 2004444
42.83/22.85	o 2004827
42.83/22.87	o 2004907
43.00/22.91	o 2005024
43.00/22.93	o 2006512
43.00/22.94	o 2007138
43.00/22.95	o 2007218
43.00/22.96	o 2009052
43.00/22.97	o 2012578
43.00/22.99	o 2012658
43.15/23.01	o 2013594
43.15/23.02	o 2014233
43.15/23.03	o 2016386
43.15/23.04	o 2018134
43.15/23.06	o 2019248
43.15/23.07	o 2020445
51.73/29.93	o 2020490
51.73/29.94	o 2020962
51.73/29.95	o 2021395
51.73/29.96	o 2021833
51.73/29.97	o 2021913
51.73/29.98	o 2021993
51.73/29.99	o 2022383
60.03/36.44	o 2022600
60.03/36.46	o 2022663
60.03/36.47	o 2024635
60.03/36.48	o 2025331
60.16/36.50	o 2025940
60.16/36.51	o 2027792
60.16/36.55	o 2027953
60.16/36.56	o 2028162
60.16/36.57	o 2028410
60.16/36.58	o 2029650
60.26/36.65	o 2030327
60.26/36.66	o 2031743
60.61/36.91	o 2031919
60.61/36.92	o 2035476
60.61/36.93	o 2035556
61.68/37.86	o 2035661
61.68/37.87	o 2035741
61.68/37.88	o 2036121
61.68/37.89	o 2036505
61.79/37.90	o 2036885
61.79/37.91	o 2038066
61.79/37.92	o 2038593
78.81/52.15	o 2038704
78.81/52.16	o 2038888
78.81/52.17	o 2039099
78.81/52.18	o 2040158
78.81/52.19	o 2041020
78.92/52.20	o 2041247
78.92/52.21	o 2043329
78.92/52.22	o 2043473
78.92/52.24	o 2045435
78.92/52.25	o 2046866
78.92/52.26	o 2054681
78.92/52.27	o 2058351
78.92/52.28	o 2058410
79.06/52.30	o 2060929
79.06/52.31	o 2064317
79.06/52.33	o 2064407
79.06/52.34	o 2065171
79.06/52.35	o 2065803
79.06/52.36	o 2066014
79.06/52.38	o 2068404
79.06/52.39	o 2069473
79.16/52.40	o 2069825
79.16/52.41	o 2070146
79.16/52.42	o 2077961
79.16/52.43	o 2078394
79.16/52.44	o 2078949
79.16/52.45	o 2080035
79.16/52.46	o 2080246
79.16/52.48	o 2081195
79.16/52.49	o 2081379
79.27/52.52	o 2082318
79.27/52.53	o 2089315
79.27/52.55	o 2089823
79.27/52.56	o 2090770
79.27/52.57	o 2091239
79.27/52.58	o 2091849
79.27/52.59	o 2092282
79.37/52.60	o 2093321
79.37/52.61	o 2093426
79.37/52.62	o 2094914
79.37/52.63	o 2095836
79.37/52.64	o 2095919
79.37/52.65	o 2097512
79.37/52.66	o 2098551
79.49/52.73	o 2098646
79.49/52.75	o 2099643
79.49/52.76	o 2100007
79.49/52.77	o 2100614
79.49/52.78	o 2100961
79.49/52.79	o 2101613
79.59/52.80	o 2102013
79.59/52.81	o 2102377
79.59/52.82	o 2104229
79.59/52.83	o 2105215
79.59/52.84	o 2105648
79.59/52.85	o 2106496
79.59/52.86	o 2106965
79.59/52.88	o 2107345
79.69/52.94	o 2109549
79.69/52.96	o 2110109
79.69/52.97	o 2111785
79.69/52.98	o 2115422
79.80/53.05	o 2116087
79.80/53.06	o 2117268
79.80/53.07	o 2118319
79.80/53.08	o 2118495
79.80/53.09	o 2118875
79.91/53.13	o 2119303
79.91/53.14	o 2119383
80.01/53.27	o 2124278
80.01/53.28	o 2124358
80.12/53.31	o 2124462
80.12/53.32	o 2124931
80.12/53.34	o 2125485
80.12/53.35	o 2128319
80.84/53.99	o 2130079
80.84/54.00	o 2131495
80.95/54.01	o 2134012
80.95/54.02	o 2134392
80.95/54.03	o 2134472
80.95/54.05	o 2135031
80.95/54.06	o 2136707
80.95/54.07	o 2139108
80.95/54.08	o 2139661
80.95/54.09	o 2139872
80.95/54.10	o 2142068
81.05/54.12	o 2143487
81.63/54.68	o 2143555
81.63/54.69	o 2143604
81.74/54.70	o 2144643
81.74/54.72	o 2145407
82.55/55.46	o 2146353
82.55/55.47	o 2147654
82.55/55.48	o 2149333
82.55/55.49	o 2149766
82.67/55.51	o 2150087
82.67/55.52	o 2150614
82.67/55.53	o 2150745
82.67/55.54	o 2150825
82.67/55.55	o 2151719
82.67/55.56	o 2152275
82.67/55.57	o 2153096
82.67/55.58	o 2154277
82.67/55.59	o 2155895
82.77/55.60	o 2156195
82.77/55.62	o 2158892
82.77/55.63	o 2158972
82.77/55.64	o 2160460
82.77/55.65	o 2161315
82.77/55.66	o 2161499
84.98/57.54	o 2162324
84.98/57.55	o 2162404
84.98/57.57	o 2164565
84.98/57.58	o 2172221
85.09/57.61	o 2172260
85.09/57.62	o 2172729
87.18/59.49	o 2173731
87.31/59.50	o 2179205
87.31/59.51	o 2180244
87.31/59.52	o 2180322
87.31/59.54	o 2184703
87.31/59.55	o 2184887
128.82/97.34	o 2185278
128.92/97.40	o 2185901
128.92/97.41	o 2185981
129.02/97.51	o 2186961
129.02/97.52	o 2187465
129.02/97.53	o 2187966
129.02/97.54	o 2188010
129.02/97.55	o 2190048
130.14/98.67	o 2191101
130.24/98.72	o 2192247
130.24/98.74	o 2192382
130.24/98.75	o 2195168
130.75/99.27	o 2195373
154.90/123.15	o 2195374
205.85/173.61	o 2195616
205.85/173.62	o 2195696
205.85/173.63	o 2195776
205.85/173.65	o 2196402
205.85/173.66	o 2197307
205.85/173.68	o 2199085
205.85/173.69	o 2199165
205.96/173.76	o 2199719
205.96/173.77	o 2202705
205.96/173.79	o 2203230
206.06/173.80	o 2203610
206.16/173.91	o 2206831
206.16/173.92	o 2206911
206.16/173.93	o 2206919
206.16/173.94	o 2208763
206.16/173.96	o 2209840
206.76/174.51	o 2210592
206.76/174.53	o 2212000
206.76/174.54	o 2212080
206.86/174.62	o 2212719
206.86/174.64	o 2213953
206.86/174.65	o 2214480
206.86/174.66	o 2215106
206.86/174.67	o 2216445
206.86/174.68	o 2216525
207.29/175.09	o 2216795
207.39/175.11	o 2217834
207.39/175.12	o 2218968
207.39/175.13	o 2219059
207.39/175.14	o 2220820
207.39/175.16	o 2220832
207.39/175.17	o 2221212
207.39/175.18	o 2222861
207.39/175.19	o 2223229
207.48/175.20	o 2224924
207.48/175.22	o 2226621
208.71/176.48	o 2228692
208.80/176.50	o 2229932
208.80/176.51	o 2230531
208.80/176.53	o 2232842
208.80/176.54	o 2234141
214.97/182.65	o 2236198
237.74/205.21	o 2236216
237.74/205.22	o 2236427
237.74/205.23	o 2236568
237.74/205.24	o 2237264
237.74/205.25	o 2238565
237.74/205.26	o 2239862
237.74/205.27	o 2241189
237.85/205.32	o 2242006
237.85/205.33	o 2243083
237.85/205.34	o 2243779
237.85/205.35	o 2244438
237.85/205.36	o 2245338
237.85/205.37	o 2246749
238.15/205.67	o 2247705
238.15/205.68	o 2251334
238.15/205.69	o 2251454
238.25/205.70	o 2252424
238.25/205.71	o 2252635
238.56/206.06	o 2254683
238.56/206.07	o 2256673
238.56/206.08	o 2257854
239.16/206.68	o 2257911
239.16/206.69	o 2260478
239.26/206.71	o 2260689
243.30/210.75	o 2261081
245.22/212.61	o 2263129
245.22/212.62	o 2263566
245.22/212.63	o 2264262
245.22/212.64	o 2266300
252.05/219.40	Exception in thread "main" java.util.concurrent.TimeoutException
252.05/219.40		at concrete.MAC.mac(MAC.scala:188)
252.05/219.40		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.05/219.40		at scala.util.Try$.apply(Try.scala:209)
252.05/219.40		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.05/219.40		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.05/219.40		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.05/219.40		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.05/219.40		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.05/219.40		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.05/219.40		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.05/219.40		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.05/219.40		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.05/219.40		at concrete.MAC.oneRun(MAC.scala:253)
252.05/219.40		at concrete.MAC.nextSolution(MAC.scala:272)
252.05/219.40		at concrete.MAC.nextSolution(MAC.scala:355)
252.05/219.40		at concrete.Solver.hasNext(Solver.scala:166)
252.05/219.40		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.05/219.40		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.05/219.40		at concrete.Solver.foreach(Solver.scala:68)
252.05/219.40		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.05/219.40		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.05/219.40		at scala.util.Success.map(Try.scala:209)
252.05/219.40		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.05/219.40		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.05/219.40		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.05/219.40		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.05/219.40		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.05/219.40		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.05/219.40		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.05/219.40		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.05/219.40		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.05/219.40		at scala.collection.immutable.List.foreach(List.scala:389)
252.05/219.40		at scala.App.main(App.scala:76)
252.05/219.40		at scala.App.main$(App.scala:74)
252.05/219.40		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.05/219.40		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.05/219.41	v <instantiation cost="2266300">
252.05/219.41	v       <list>
252.05/219.41	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.05/219.41	v       </list>
252.05/219.41	v       <values>
252.05/219.41	v         0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 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 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 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 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 1 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 1 0 0 0 0 0 0 0 1 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 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 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 1 0 1 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 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 1 0 0 1 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 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 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 0 1 0 0 0 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 1 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 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 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 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 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 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 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 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 0 0 0 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 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 1 0 0 0 0 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 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 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 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 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 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 1 0 0 0 0 0 0 1 0 0
252.05/219.41	v       </values>
252.05/219.41	v     </instantiation>
252.05/219.41	s SATISFIABLE

Verifier Data 

OK	2266300

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302579-1532895316/watcher-4302579-1532895316 -o /tmp/evaluation-result-4302579-1532895316/solver-4302579-1532895316 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1111812728 HOME/instance-4302579-1532895316.xml 

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

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

solver pid=17435, runsolver pid=17432

[startup+0.100192 s]*
/proc/loadavg: 1.77 1.82 1.71 3/206 17492
/proc/meminfo: memFree=25114596/32770624 swapFree=67108436/67108860
[pid=17435] ppid=17432 vsize=10005480 memory=18600 CPUtime=0.09 cores=0,2,4,6
/proc/17435/stat : 17435 (java) S 17432 17435 9814 0 -1 1077944320 4324 12846 0 0 1 0 5 3 20 0 6 0 107094761 10245611520 4650 33554432000 4194304 4196468 140721965814608 140721965797152 140084832669431 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
/proc/17435/statm: 2501370 4650 1933 1 0 2489808 0
[pid=17435/tid=17488] ppid=17432 vsize=10005480 memory=4279135703912842127 CPUtime=0.09 cores=0,2,4,6
/proc/17435/task/17488/stat : 17488 (java) R 17432 17435 9814 0 -1 4202560 2140 12846 0 0 1 0 5 3 20 0 6 0 107094770 10245611520 4715 33554432000 4194304 4196468 140721965814608 140084804506192 140084812622048 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17489] ppid=17432 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17489/stat : 17489 (java) S 17432 17435 9814 0 -1 1077944384 1 12846 0 0 0 0 5 3 20 0 6 0 107094771 10245611520 4715 33554432000 4194304 4196468 140721965814608 140084836911888 140084832679637 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17490] ppid=17432 vsize=10005480 memory=140125685065344 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17490/stat : 17490 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 6 0 107094771 10245611520 4715 33554432000 4194304 4196468 140721965814608 140084722109328 140084832679637 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17491] ppid=17432 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17491/stat : 17491 (java) S 17432 17435 9814 0 -1 1077944384 2 12846 0 0 0 0 5 3 20 0 6 0 107094771 10245611520 4715 33554432000 4194304 4196468 140721965814608 140084371184656 140084832679637 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17492] ppid=17432 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17492/stat : 17492 (java) S 17432 17435 9814 0 -1 1077944384 2 12846 0 0 0 0 5 3 20 0 6 0 107094771 10245611520 4715 33554432000 4194304 4196468 140721965814608 140084370132112 140084832679637 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18600 KiB

[startup+0.209971 s]*
/proc/loadavg: 1.77 1.82 1.71 5/215 17501
/proc/meminfo: memFree=25094056/32770624 swapFree=67108436/67108860
[pid=17435] ppid=17432 vsize=10982744 memory=44860 CPUtime=0.26 cores=0,2,4,6
/proc/17435/stat : 17435 (java) S 17432 17435 9814 0 -1 1077944320 7907 12846 0 0 17 1 5 3 20 0 15 0 107094761 11246329856 11215 33554432000 4194304 4196468 140721965814608 140721965797152 140084832669431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
/proc/17435/statm: 2745686 11215 2982 1 0 2708109 0
[pid=17435/tid=17488] ppid=17432 vsize=10983736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/17435/task/17488/stat : 17488 (java) R 17432 17435 9814 0 -1 4202560 4633 12846 0 0 11 0 5 3 20 0 15 0 107094770 11247345664 11413 33554432000 4194304 4196468 140721965814608 140084804494240 140084825349149 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17489] ppid=17432 vsize=10983736 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17489/stat : 17489 (java) S 17432 17435 9814 0 -1 1077944384 1 12846 0 0 0 0 5 3 20 0 15 0 107094771 11247345664 11413 33554432000 4194304 4196468 140721965814608 140084836911888 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17490] ppid=17432 vsize=10983736 memory=140125685082903 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17490/stat : 17490 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094771 11247345664 11479 33554432000 4194304 4196468 140721965814608 140084722109328 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17491] ppid=17432 vsize=10983736 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17491/stat : 17491 (java) S 17432 17435 9814 0 -1 1077944384 2 12846 0 0 0 0 5 3 20 0 15 0 107094771 11247345664 11479 33554432000 4194304 4196468 140721965814608 140084371184656 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17492] ppid=17432 vsize=10983736 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17492/stat : 17492 (java) S 17432 17435 9814 0 -1 1077944384 2 12846 0 0 0 0 5 3 20 0 15 0 107094771 11247345664 11479 33554432000 4194304 4196468 140721965814608 140084370132112 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17493] ppid=17432 vsize=10983736 memory=140125685065344 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17493/stat : 17493 (java) S 17432 17435 9814 0 -1 1077944384 2 12846 0 0 0 0 5 3 20 0 15 0 107094772 11247345664 11479 33554432000 4194304 4196468 140721965814608 140084325689328 140084832680578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17494] ppid=17432 vsize=10985364 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17494/stat : 17494 (java) S 17432 17435 9814 0 -1 1077944384 13 12846 0 0 0 0 5 3 20 0 15 0 107094773 11249012736 11479 33554432000 4194304 4196468 140721965814608 140083593208736 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17495] ppid=17432 vsize=10985364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17495/stat : 17495 (java) S 17432 17435 9814 0 -1 1077944384 1 12846 0 0 0 0 5 3 20 0 15 0 107094773 11249012736 11545 33554432000 4194304 4196468 140721965814608 140083445359600 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17496] ppid=17432 vsize=10985364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17496/stat : 17496 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11249012736 11545 33554432000 4194304 4196468 140721965814608 140083137960144 140084832688027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17497] ppid=17432 vsize=10985364 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17435/task/17497/stat : 17497 (java) S 17432 17435 9814 0 -1 1077944384 540 12846 0 0 1 0 5 3 20 0 15 0 107094776 11249012736 11545 33554432000 4194304 4196468 140721965814608 140084324637168 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17498] ppid=17432 vsize=10985364 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17435/task/17498/stat : 17498 (java) S 17432 17435 9814 0 -1 1077944384 70 12846 0 0 1 0 5 3 20 0 15 0 107094776 11249012736 11545 33554432000 4194304 4196468 140721965814608 140084323584624 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17499] ppid=17432 vsize=10985364 memory=140125685065344 CPUtime=0.11 cores=0,2,4,6
/proc/17435/task/17499/stat : 17499 (java) S 17432 17435 9814 0 -1 1077944384 624 12846 0 0 3 0 5 3 20 0 15 0 107094776 11249012736 11545 33554432000 4194304 4196468 140721965814608 140084322532080 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17500] ppid=17432 vsize=10985364 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17500/stat : 17500 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11249012736 11611 33554432000 4194304 4196468 140721965814608 140082707164256 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17501] ppid=17432 vsize=10985364 memory=140125685065344 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17501/stat : 17501 (java) S 17432 17435 9814 0 -1 1077944384 1 12846 0 0 0 0 5 3 20 0 15 0 107094776 11249012736 11611 33554432000 4194304 4196468 140721965814608 140084321478960 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44860 KiB

[startup+0.310356 s]*
/proc/loadavg: 1.77 1.82 1.71 3/215 17501
/proc/meminfo: memFree=25082212/32770624 swapFree=67108436/67108860
[pid=17435] ppid=17432 vsize=10983192 memory=55580 CPUtime=0.39 cores=0,2,4,6
/proc/17435/stat : 17435 (java) S 17432 17435 9814 0 -1 1077944320 10409 12846 0 0 29 2 5 3 20 0 15 0 107094761 11246788608 13895 33554432000 4194304 4196468 140721965814608 140721965797152 140084832669431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
/proc/17435/statm: 2745798 13895 3101 1 0 2708109 0
[pid=17435/tid=17488] ppid=17432 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17435/task/17488/stat : 17488 (java) R 17432 17435 9814 0 -1 4202560 6942 12846 0 0 20 1 5 3 20 0 15 0 107094770 11246788608 13895 33554432000 4194304 4196468 140721965814608 140084804481440 140084816713061 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17489] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17489/stat : 17489 (java) S 17432 17435 9814 0 -1 1077944384 1 12846 0 0 0 0 5 3 20 0 15 0 107094771 11246788608 13895 33554432000 4194304 4196468 140721965814608 140084836911888 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17490] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17490/stat : 17490 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094771 11246788608 13895 33554432000 4194304 4196468 140721965814608 140084722109328 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17491] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17491/stat : 17491 (java) S 17432 17435 9814 0 -1 1077944384 2 12846 0 0 0 0 5 3 20 0 15 0 107094771 11246788608 13895 33554432000 4194304 4196468 140721965814608 140084371184656 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17492] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17492/stat : 17492 (java) S 17432 17435 9814 0 -1 1077944384 2 12846 0 0 0 0 5 3 20 0 15 0 107094771 11246788608 13895 33554432000 4194304 4196468 140721965814608 140084370132112 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17493] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17493/stat : 17493 (java) S 17432 17435 9814 0 -1 1077944384 2 12846 0 0 0 0 5 3 20 0 15 0 107094772 11246788608 13895 33554432000 4194304 4196468 140721965814608 140084325689328 140084832680578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17494] ppid=17432 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17494/stat : 17494 (java) S 17432 17435 9814 0 -1 1077944384 13 12846 0 0 0 0 5 3 20 0 15 0 107094773 11246788608 13895 33554432000 4194304 4196468 140721965814608 140083593208736 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17495] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17495/stat : 17495 (java) S 17432 17435 9814 0 -1 1077944384 1 12846 0 0 0 0 5 3 20 0 15 0 107094773 11246788608 13895 33554432000 4194304 4196468 140721965814608 140083445359600 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17496] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17496/stat : 17496 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11246788608 13895 33554432000 4194304 4196468 140721965814608 140083137960144 140084832688027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17497] ppid=17432 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17435/task/17497/stat : 17497 (java) S 17432 17435 9814 0 -1 1077944384 540 12846 0 0 1 0 5 3 20 0 15 0 107094776 11246788608 13895 33554432000 4194304 4196468 140721965814608 140084324637168 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17498] ppid=17432 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17435/task/17498/stat : 17498 (java) S 17432 17435 9814 0 -1 1077944384 71 12846 0 0 1 0 5 3 20 0 15 0 107094776 11246788608 13895 33554432000 4194304 4196468 140721965814608 140084323584624 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17499] ppid=17432 vsize=10983192 memory=140125685065344 CPUtime=0.12 cores=0,2,4,6
/proc/17435/task/17499/stat : 17499 (java) S 17432 17435 9814 0 -1 1077944384 639 12846 0 0 4 0 5 3 20 0 15 0 107094776 11246788608 13895 33554432000 4194304 4196468 140721965814608 140084322532080 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17500] ppid=17432 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17500/stat : 17500 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11246788608 13895 33554432000 4194304 4196468 140721965814608 140082707164256 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17501] ppid=17432 vsize=10983192 memory=140125685065344 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17501/stat : 17501 (java) S 17432 17435 9814 0 -1 1077944384 1 12846 0 0 0 0 5 3 20 0 15 0 107094776 11246788608 13895 33554432000 4194304 4196468 140721965814608 140084321478960 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55580 KiB

[startup+0.70073 s]
/proc/loadavg: 1.77 1.82 1.71 6/215 17501
/proc/meminfo: memFree=25070460/32770624 swapFree=67108436/67108860
[pid=17435] ppid=17432 vsize=10983192 memory=88396 CPUtime=1 cores=0,2,4,6
/proc/17435/stat : 17435 (java) S 17432 17435 9814 0 -1 1077944320 16726 12846 0 0 88 4 5 3 20 0 15 0 107094761 11246788608 22099 33554432000 4194304 4196468 140721965814608 140721965797152 140084832669431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
/proc/17435/statm: 2745798 22099 3237 1 0 2708109 0
[pid=17435/tid=17488] ppid=17432 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/17435/task/17488/stat : 17488 (java) R 17432 17435 9814 0 -1 4202560 12164 12846 0 0 56 2 5 3 20 0 15 0 107094770 11246788608 22099 33554432000 4194304 4196468 140721965814608 140084804492368 140084814232964 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17489] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17489/stat : 17489 (java) S 17432 17435 9814 0 -1 1077944384 1 12846 0 0 0 0 5 3 20 0 15 0 107094771 11246788608 22099 33554432000 4194304 4196468 140721965814608 140084836911888 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17490] ppid=17432 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17490/stat : 17490 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094771 11246788608 22099 33554432000 4194304 4196468 140721965814608 140084722109328 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17491] ppid=17432 vsize=10983192 memory=140125522768688 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17491/stat : 17491 (java) S 17432 17435 9814 0 -1 1077944384 2 12846 0 0 0 0 5 3 20 0 15 0 107094771 11246788608 22099 33554432000 4194304 4196468 140721965814608 140084371184656 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17492] ppid=17432 vsize=10983192 memory=140127602999897 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17492/stat : 17492 (java) S 17432 17435 9814 0 -1 1077944384 2 12846 0 0 0 0 5 3 20 0 15 0 107094771 11246788608 22099 33554432000 4194304 4196468 140721965814608 140084370132112 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17493] ppid=17432 vsize=10983192 memory=1388 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17493/stat : 17493 (java) S 17432 17435 9814 0 -1 1077944384 6 12846 0 0 0 0 5 3 20 0 15 0 107094772 11246788608 22099 33554432000 4194304 4196468 140721965814608 140084325689328 140084832680578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17494] ppid=17432 vsize=10983192 memory=4639098309541127525 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17494/stat : 17494 (java) S 17432 17435 9814 0 -1 1077944384 13 12846 0 0 0 0 5 3 20 0 15 0 107094773 11246788608 22099 33554432000 4194304 4196468 140721965814608 140083593208736 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17495] ppid=17432 vsize=10983192 memory=8027477668130812270 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17495/stat : 17495 (java) S 17432 17435 9814 0 -1 1077944384 1 12846 0 0 0 0 5 3 20 0 15 0 107094773 11246788608 22099 33554432000 4194304 4196468 140721965814608 140083445359600 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17496] ppid=17432 vsize=10983192 memory=17452 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17496/stat : 17496 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11246788608 22099 33554432000 4194304 4196468 140721965814608 140083137960144 140084832688027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17497] ppid=17432 vsize=10983192 memory=16148 CPUtime=0.15 cores=0,2,4,6
/proc/17435/task/17497/stat : 17497 (java) S 17432 17435 9814 0 -1 1077944384 968 12846 0 0 7 0 5 3 20 0 15 0 107094776 11246788608 22099 33554432000 4194304 4196468 140721965814608 140084324637168 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17498] ppid=17432 vsize=10983192 memory=4004 CPUtime=0.17 cores=0,2,4,6
/proc/17435/task/17498/stat : 17498 (java) S 17432 17435 9814 0 -1 1077944384 628 12846 0 0 9 0 5 3 20 0 15 0 107094776 11246788608 22099 33554432000 4194304 4196468 140721965814608 140084323584624 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17499] ppid=17432 vsize=10983192 memory=636 CPUtime=0.21 cores=0,2,4,6
/proc/17435/task/17499/stat : 17499 (java) S 17432 17435 9814 0 -1 1077944384 738 12846 0 0 13 0 5 3 20 0 15 0 107094776 11246788608 22099 33554432000 4194304 4196468 140721965814608 140084322532080 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17500] ppid=17432 vsize=10983192 memory=1780 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17500/stat : 17500 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11246788608 22099 33554432000 4194304 4196468 140721965814608 140082707164256 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17501] ppid=17432 vsize=10983192 memory=1236 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17501/stat : 17501 (java) S 17432 17435 9814 0 -1 1077944384 1 12846 0 0 0 0 5 3 20 0 15 0 107094776 11246788608 22099 33554432000 4194304 4196468 140721965814608 140084321478960 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88396 KiB

[startup+1.5027 s]
/proc/loadavg: 1.77 1.82 1.71 3/215 17501
/proc/meminfo: memFree=25016448/32770624 swapFree=67108436/67108860
[pid=17435] ppid=17432 vsize=10996044 memory=203732 CPUtime=2.79 cores=0,2,4,6
/proc/17435/stat : 17435 (java) S 17432 17435 9814 0 -1 1077944320 25367 12846 0 0 262 9 5 3 20 0 15 0 107094761 11259949056 50933 33554432000 4194304 4196468 140721965814608 140721965797152 140084832669431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
/proc/17435/statm: 2749011 50933 3447 1 0 2710669 0
[pid=17435/tid=17488] ppid=17432 vsize=10996044 memory=65136 CPUtime=1.43 cores=0,2,4,6
/proc/17435/task/17488/stat : 17488 (java) S 17432 17435 9814 0 -1 1077944384 16873 12846 0 0 130 5 5 3 20 0 15 0 107094770 11259949056 50933 33554432000 4194304 4196468 140721965814608 140084804484400 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17489] ppid=17432 vsize=10996044 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/17435/task/17489/stat : 17489 (java) R 17432 17435 9814 0 -1 4202560 28 12846 0 0 1 0 5 3 20 0 15 0 107094771 11259949056 50933 33554432000 4194304 4196468 140721965814608 140084836911888 140084817658985 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17490] ppid=17432 vsize=10996044 memory=280251045568672 CPUtime=0.09 cores=0,2,4,6
/proc/17435/task/17490/stat : 17490 (java) R 17432 17435 9814 0 -1 4202560 156 12846 0 0 1 0 5 3 20 0 15 0 107094771 11259949056 50933 33554432000 4194304 4196468 140721965814608 140084722109328 140084825297639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17491] ppid=17432 vsize=10996044 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17435/task/17491/stat : 17491 (java) R 17432 17435 9814 0 -1 4202560 27 12846 0 0 1 0 5 3 20 0 15 0 107094771 11259949056 50933 33554432000 4194304 4196468 140721965814608 140084371184776 140084825297639 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17492] ppid=17432 vsize=10996044 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17435/task/17492/stat : 17492 (java) R 17432 17435 9814 0 -1 4202560 58 12846 0 0 1 0 5 3 20 0 15 0 107094771 11259949056 50933 33554432000 4194304 4196468 140721965814608 140084370132112 140084825297639 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17493] ppid=17432 vsize=10996044 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17435/task/17493/stat : 17493 (java) S 17432 17435 9814 0 -1 1077944384 45 12846 0 0 1 0 5 3 20 0 15 0 107094772 11259949056 50933 33554432000 4194304 4196468 140721965814608 140084325687840 140084832679637 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17494] ppid=17432 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17494/stat : 17494 (java) S 17432 17435 9814 0 -1 1077944384 13 12846 0 0 0 0 5 3 20 0 15 0 107094773 11259949056 50933 33554432000 4194304 4196468 140721965814608 140083593208736 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17495] ppid=17432 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17495/stat : 17495 (java) S 17432 17435 9814 0 -1 1077944384 1 12846 0 0 0 0 5 3 20 0 15 0 107094773 11259949056 50933 33554432000 4194304 4196468 140721965814608 140083445359600 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17496] ppid=17432 vsize=10996044 memory=-5921431000321636112 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17496/stat : 17496 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11259949056 50933 33554432000 4194304 4196468 140721965814608 140083137960144 140084832688027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17497] ppid=17432 vsize=10996044 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/17435/task/17497/stat : 17497 (java) S 17432 17435 9814 0 -1 1077944384 2225 12846 0 0 37 0 5 3 20 0 15 0 107094776 11259949056 50933 33554432000 4194304 4196468 140721965814608 140084324637168 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17498] ppid=17432 vsize=10996044 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/17435/task/17498/stat : 17498 (java) S 17432 17435 9814 0 -1 1077944384 2102 12846 0 0 46 0 5 3 20 0 15 0 107094776 11259949056 50933 33554432000 4194304 4196468 140721965814608 140084323584624 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17499] ppid=17432 vsize=10996044 memory=6791534058613427641 CPUtime=0.48 cores=0,2,4,6
/proc/17435/task/17499/stat : 17499 (java) S 17432 17435 9814 0 -1 1077944384 1639 12846 0 0 40 0 5 3 20 0 15 0 107094776 11259949056 50933 33554432000 4194304 4196468 140721965814608 140084322532080 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17500] ppid=17432 vsize=10996044 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17500/stat : 17500 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11259949056 50933 33554432000 4194304 4196468 140721965814608 140082707164256 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17501] ppid=17432 vsize=10996044 memory=280251045813120 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17501/stat : 17501 (java) S 17432 17435 9814 0 -1 1077944384 1 12846 0 0 0 0 5 3 20 0 15 0 107094776 11259949056 50933 33554432000 4194304 4196468 140721965814608 140084321478960 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 10996044 KiB

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

/proc/17435/task/17488/stat : 17488 (java) R 17432 17435 9814 0 -1 4202560 49638 12846 0 0 4813 15 5 3 20 0 15 0 107094770 11345952768 355170 33554432000 4194304 4196468 140721965814608 140084804504584 140084420584872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17489] ppid=17432 vsize=11080032 memory=140125523430640 CPUtime=2.03 cores=0,2,4,6
/proc/17435/task/17489/stat : 17489 (java) S 17432 17435 9814 0 -1 1077944384 1920 12846 0 0 170 25 5 3 20 0 15 0 107094771 11345952768 355170 33554432000 4194304 4196468 140721965814608 140084836911888 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17490] ppid=17432 vsize=11080032 memory=1381704 CPUtime=2.03 cores=0,2,4,6
/proc/17435/task/17490/stat : 17490 (java) S 17432 17435 9814 0 -1 1077944384 1266 12846 0 0 170 25 5 3 20 0 15 0 107094771 11345952768 355170 33554432000 4194304 4196468 140721965814608 140084722109328 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17491] ppid=17432 vsize=11080032 memory=192 CPUtime=2.03 cores=0,2,4,6
/proc/17435/task/17491/stat : 17491 (java) S 17432 17435 9814 0 -1 1077944384 1158 12846 0 0 170 25 5 3 20 0 15 0 107094771 11345952768 355170 33554432000 4194304 4196468 140721965814608 140084371184656 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17492] ppid=17432 vsize=11080032 memory=1367368 CPUtime=2.02 cores=0,2,4,6
/proc/17435/task/17492/stat : 17492 (java) S 17432 17435 9814 0 -1 1077944384 3384 12846 0 0 168 26 5 3 20 0 15 0 107094771 11345952768 355170 33554432000 4194304 4196468 140721965814608 140084370132112 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17493] ppid=17432 vsize=11080032 memory=1296 CPUtime=0.42 cores=0,2,4,6
/proc/17435/task/17493/stat : 17493 (java) S 17432 17435 9814 0 -1 1077944384 6647 12846 0 0 33 1 5 3 20 0 15 0 107094772 11345952768 355170 33554432000 4194304 4196468 140721965814608 140084325689328 140084832680578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17494] ppid=17432 vsize=11080032 memory=1367368 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17494/stat : 17494 (java) S 17432 17435 9814 0 -1 1077944384 21 12846 0 0 0 0 5 3 20 0 15 0 107094773 11345952768 355170 33554432000 4194304 4196468 140721965814608 140083593208800 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17495] ppid=17432 vsize=11080032 memory=1367368 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17495/stat : 17495 (java) S 17432 17435 9814 0 -1 1077944384 13 12846 0 0 0 0 5 3 20 0 15 0 107094773 11345952768 355170 33554432000 4194304 4196468 140721965814608 140083445359616 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17496] ppid=17432 vsize=11080032 memory=1344492 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17496/stat : 17496 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11345952768 355170 33554432000 4194304 4196468 140721965814608 140083137960144 140084832688027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17497] ppid=17432 vsize=11080032 memory=1784 CPUtime=9.17 cores=0,2,4,6
/proc/17435/task/17497/stat : 17497 (java) R 17432 17435 9814 0 -1 4202560 13569 12846 0 0 907 2 5 3 20 0 15 0 107094776 11345952768 355170 33554432000 4194304 4196468 140721965814608 140084324637168 140084814214146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17498] ppid=17432 vsize=11080032 memory=8 CPUtime=8.74 cores=0,2,4,6
/proc/17435/task/17498/stat : 17498 (java) S 17432 17435 9814 0 -1 1077944384 14264 12846 0 0 862 4 5 3 20 0 15 0 107094776 11345952768 355170 33554432000 4194304 4196468 140721965814608 140084323584624 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17499] ppid=17432 vsize=11080032 memory=8 CPUtime=3.39 cores=0,2,4,6
/proc/17435/task/17499/stat : 17499 (java) S 17432 17435 9814 0 -1 1077944384 16808 12846 0 0 326 5 5 3 20 0 15 0 107094776 11345952768 355170 33554432000 4194304 4196468 140721965814608 140084322532080 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17500] ppid=17432 vsize=11080032 memory=1398128 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17500/stat : 17500 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11345952768 355170 33554432000 4194304 4196468 140721965814608 140082707164256 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17501] ppid=17432 vsize=11080032 memory=8076 CPUtime=0.1 cores=0,2,4,6
/proc/17435/task/17501/stat : 17501 (java) S 17432 17435 9814 0 -1 1077944384 579 12846 0 0 1 1 5 3 20 0 15 0 107094776 11345952768 355170 33554432000 4194304 4196468 140721965814608 140084321478960 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
Current children cumulated CPU time: 77.66 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1420680 KiB

[startup+102.301 s]
/proc/loadavg: 1.94 1.86 1.74 3/215 17756
/proc/meminfo: memFree=25187228/32770624 swapFree=67108436/67108860
[pid=17435] ppid=17432 vsize=11080032 memory=1511048 CPUtime=133.86 cores=0,2,4,6
/proc/17435/stat : 17435 (java) S 17432 17435 9814 0 -1 1077944320 126729 12846 0 0 13227 151 5 3 20 0 15 0 107094761 11345952768 377762 33554432000 4194304 4196468 140721965814608 140721965797152 140084832669431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
/proc/17435/statm: 2770008 377762 3534 1 0 2731661 0
[pid=17435/tid=17488] ppid=17432 vsize=11080032 memory=212 CPUtime=99.34 cores=0,2,4,6
/proc/17435/task/17488/stat : 17488 (java) R 17432 17435 9814 0 -1 4202560 52805 12846 0 0 9907 19 5 3 20 0 15 0 107094770 11345952768 377762 33554432000 4194304 4196468 140721965814608 140084804504528 140084421832231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17489] ppid=17432 vsize=11080032 memory=1498736 CPUtime=2.19 cores=0,2,4,6
/proc/17435/task/17489/stat : 17489 (java) S 17432 17435 9814 0 -1 1077944384 2033 12846 0 0 184 27 5 3 20 0 15 0 107094771 11345952768 377762 33554432000 4194304 4196468 140721965814608 140084836911888 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17490] ppid=17432 vsize=11080032 memory=13331578489260 CPUtime=2.2 cores=0,2,4,6
/proc/17435/task/17490/stat : 17490 (java) S 17432 17435 9814 0 -1 1077944384 1535 12846 0 0 185 27 5 3 20 0 15 0 107094771 11345952768 377762 33554432000 4194304 4196468 140721965814608 140084722109328 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17491] ppid=17432 vsize=11080032 memory=1480304 CPUtime=2.2 cores=0,2,4,6
/proc/17435/task/17491/stat : 17491 (java) S 17432 17435 9814 0 -1 1077944384 1312 12846 0 0 185 27 5 3 20 0 15 0 107094771 11345952768 377762 33554432000 4194304 4196468 140721965814608 140084371184656 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17492] ppid=17432 vsize=11080032 memory=1490540 CPUtime=2.2 cores=0,2,4,6
/proc/17435/task/17492/stat : 17492 (java) S 17432 17435 9814 0 -1 1077944384 5173 12846 0 0 183 29 5 3 20 0 15 0 107094771 11345952768 377762 33554432000 4194304 4196468 140721965814608 140084370132112 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17493] ppid=17432 vsize=11080032 memory=1486444 CPUtime=0.44 cores=0,2,4,6
/proc/17435/task/17493/stat : 17493 (java) S 17432 17435 9814 0 -1 1077944384 6942 12846 0 0 35 1 5 3 20 0 15 0 107094772 11345952768 377762 33554432000 4194304 4196468 140721965814608 140084325689328 140084832680578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17494] ppid=17432 vsize=11080032 memory=7532 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17494/stat : 17494 (java) S 17432 17435 9814 0 -1 1077944384 21 12846 0 0 0 0 5 3 20 0 15 0 107094773 11345952768 377762 33554432000 4194304 4196468 140721965814608 140083593208800 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17495] ppid=17432 vsize=11080032 memory=1484396 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17495/stat : 17495 (java) S 17432 17435 9814 0 -1 1077944384 13 12846 0 0 0 0 5 3 20 0 15 0 107094773 11345952768 377762 33554432000 4194304 4196468 140721965814608 140083445359616 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17496] ppid=17432 vsize=11080032 memory=452 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17496/stat : 17496 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11345952768 377762 33554432000 4194304 4196468 140721965814608 140083137960144 140084832688027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17497] ppid=17432 vsize=11080032 memory=280251045333120 CPUtime=11.05 cores=0,2,4,6
/proc/17435/task/17497/stat : 17497 (java) S 17432 17435 9814 0 -1 1077944384 16203 12846 0 0 1094 3 5 3 20 0 15 0 107094776 11345952768 377762 33554432000 4194304 4196468 140721965814608 140084324637168 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17498] ppid=17432 vsize=11080032 memory=0 CPUtime=10.64 cores=0,2,4,6
/proc/17435/task/17498/stat : 17498 (java) S 17432 17435 9814 0 -1 1077944384 17351 12846 0 0 1051 5 5 3 20 0 15 0 107094776 11345952768 377762 33554432000 4194304 4196468 140721965814608 140084323584624 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17499] ppid=17432 vsize=11080032 memory=9540 CPUtime=4.08 cores=0,2,4,6
/proc/17435/task/17499/stat : 17499 (java) S 17432 17435 9814 0 -1 1077944384 20548 12846 0 0 394 6 5 3 20 0 15 0 107094776 11345952768 377762 33554432000 4194304 4196468 140721965814608 140084322532080 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17500] ppid=17432 vsize=11080032 memory=11748 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17500/stat : 17500 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11345952768 377762 33554432000 4194304 4196468 140721965814608 140082707164256 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17501] ppid=17432 vsize=11080032 memory=1784 CPUtime=0.13 cores=0,2,4,6
/proc/17435/task/17501/stat : 17501 (java) S 17432 17435 9814 0 -1 1077944384 594 12846 0 0 3 2 5 3 20 0 15 0 107094776 11345952768 377762 33554432000 4194304 4196468 140721965814608 140084321478960 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
Current children cumulated CPU time: 133.86 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1511048 KiB

[startup+162.301 s]
/proc/loadavg: 1.87 1.85 1.75 3/215 17757
/proc/meminfo: memFree=24934236/32770624 swapFree=67108436/67108860
[pid=17435] ppid=17432 vsize=11080032 memory=1584884 CPUtime=194.45 cores=0,2,4,6
/proc/17435/stat : 17435 (java) S 17432 17435 9814 0 -1 1077944320 132685 12846 0 0 19276 161 5 3 20 0 15 0 107094761 11345952768 396221 33554432000 4194304 4196468 140721965814608 140721965797152 140084832669431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
/proc/17435/statm: 2770008 396221 3534 1 0 2731661 0
[pid=17435/tid=17488] ppid=17432 vsize=11080032 memory=1578732 CPUtime=159.12 cores=0,2,4,6
/proc/17435/task/17488/stat : 17488 (java) R 17432 17435 9814 0 -1 4202560 55736 12846 0 0 15885 19 5 3 20 0 15 0 107094770 11345952768 396221 33554432000 4194304 4196468 140721965814608 140084804504736 140084421832260 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17489] ppid=17432 vsize=11080032 memory=1584876 CPUtime=2.39 cores=0,2,4,6
/proc/17435/task/17489/stat : 17489 (java) S 17432 17435 9814 0 -1 1077944384 3288 12846 0 0 201 30 5 3 20 0 15 0 107094771 11345952768 396221 33554432000 4194304 4196468 140721965814608 140084836911888 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17490] ppid=17432 vsize=11080032 memory=1584884 CPUtime=2.4 cores=0,2,4,6
/proc/17435/task/17490/stat : 17490 (java) S 17432 17435 9814 0 -1 1077944384 2230 12846 0 0 202 30 5 3 20 0 15 0 107094771 11345952768 396221 33554432000 4194304 4196468 140721965814608 140084722109328 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17491] ppid=17432 vsize=11080032 memory=1556164 CPUtime=2.39 cores=0,2,4,6
/proc/17435/task/17491/stat : 17491 (java) S 17432 17435 9814 0 -1 1077944384 1439 12846 0 0 202 29 5 3 20 0 15 0 107094771 11345952768 396221 33554432000 4194304 4196468 140721965814608 140084371184656 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17492] ppid=17432 vsize=11080032 memory=1556156 CPUtime=2.38 cores=0,2,4,6
/proc/17435/task/17492/stat : 17492 (java) S 17432 17435 9814 0 -1 1077944384 5490 12846 0 0 199 31 5 3 20 0 15 0 107094771 11345952768 396221 33554432000 4194304 4196468 140721965814608 140084370132112 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17493] ppid=17432 vsize=11080032 memory=1578732 CPUtime=0.46 cores=0,2,4,6
/proc/17435/task/17493/stat : 17493 (java) S 17432 17435 9814 0 -1 1077944384 7326 12846 0 0 37 1 5 3 20 0 15 0 107094772 11345952768 396221 33554432000 4194304 4196468 140721965814608 140084325689328 140084832680578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17494] ppid=17432 vsize=11080032 memory=1578732 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17494/stat : 17494 (java) S 17432 17435 9814 0 -1 1077944384 21 12846 0 0 0 0 5 3 20 0 15 0 107094773 11345952768 396221 33554432000 4194304 4196468 140721965814608 140083593208800 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17495] ppid=17432 vsize=11080032 memory=1578732 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17495/stat : 17495 (java) S 17432 17435 9814 0 -1 1077944384 13 12846 0 0 0 0 5 3 20 0 15 0 107094773 11345952768 396221 33554432000 4194304 4196468 140721965814608 140083445359616 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17496] ppid=17432 vsize=11080032 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17496/stat : 17496 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11345952768 396221 33554432000 4194304 4196468 140721965814608 140083137960144 140084832688027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17497] ppid=17432 vsize=11080032 memory=4140 CPUtime=11.06 cores=0,2,4,6
/proc/17435/task/17497/stat : 17497 (java) S 17432 17435 9814 0 -1 1077944384 16393 12846 0 0 1095 3 5 3 20 0 15 0 107094776 11345952768 396221 33554432000 4194304 4196468 140721965814608 140084324637168 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17498] ppid=17432 vsize=11080032 memory=30556 CPUtime=10.64 cores=0,2,4,6
/proc/17435/task/17498/stat : 17498 (java) S 17432 17435 9814 0 -1 1077944384 17380 12846 0 0 1051 5 5 3 20 0 15 0 107094776 11345952768 396221 33554432000 4194304 4196468 140721965814608 140084323584624 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17499] ppid=17432 vsize=11080032 memory=1296 CPUtime=4.08 cores=0,2,4,6
/proc/17435/task/17499/stat : 17499 (java) S 17432 17435 9814 0 -1 1077944384 20551 12846 0 0 394 6 5 3 20 0 15 0 107094776 11345952768 396221 33554432000 4194304 4196468 140721965814608 140084322532080 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17500] ppid=17432 vsize=11080032 memory=1584876 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17500/stat : 17500 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11345952768 396221 33554432000 4194304 4196468 140721965814608 140082707164256 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17501] ppid=17432 vsize=11080032 memory=4140 CPUtime=0.16 cores=0,2,4,6
/proc/17435/task/17501/stat : 17501 (java) S 17432 17435 9814 0 -1 1077944384 619 12846 0 0 4 4 5 3 20 0 15 0 107094776 11345952768 396221 33554432000 4194304 4196468 140721965814608 140084321478960 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
Current children cumulated CPU time: 194.45 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1584884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+219.401 s]
/proc/loadavg: 1.59 1.77 1.72 3/215 17758
/proc/meminfo: memFree=24832852/32770624 swapFree=67108436/67108860
[pid=17435] ppid=17432 vsize=11080032 memory=1648512 CPUtime=252.05 cores=0,2,4,6
/proc/17435/stat : 17435 (java) S 17432 17435 9814 0 -1 1077944320 149564 12846 0 0 25026 171 5 3 20 0 15 0 107094761 11345952768 412128 33554432000 4194304 4196468 140721965814608 140721965797152 140084832669431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
/proc/17435/statm: 2770008 412128 3534 1 0 2731661 0
[pid=17435/tid=17488] ppid=17432 vsize=11080032 memory=2412 CPUtime=216.04 cores=0,2,4,6
/proc/17435/task/17488/stat : 17488 (java) R 17432 17435 9814 0 -1 4202560 58581 12846 0 0 21577 19 5 3 20 0 15 0 107094770 11345952768 412128 33554432000 4194304 4196468 140721965814608 140084804504448 140084417125522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17489] ppid=17432 vsize=11080032 memory=6791534058613427641 CPUtime=2.52 cores=0,2,4,6
/proc/17435/task/17489/stat : 17489 (java) S 17432 17435 9814 0 -1 1077944384 3577 12846 0 0 213 31 5 3 20 0 15 0 107094771 11345952768 412128 33554432000 4194304 4196468 140721965814608 140084836911888 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17490] ppid=17432 vsize=11080032 memory=5752 CPUtime=2.53 cores=0,2,4,6
/proc/17435/task/17490/stat : 17490 (java) S 17432 17435 9814 0 -1 1077944384 2355 12846 0 0 214 31 5 3 20 0 15 0 107094771 11345952768 412128 33554432000 4194304 4196468 140721965814608 140084722109328 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17491] ppid=17432 vsize=11080032 memory=4588 CPUtime=2.52 cores=0,2,4,6
/proc/17435/task/17491/stat : 17491 (java) S 17432 17435 9814 0 -1 1077944384 2104 12846 0 0 213 31 5 3 20 0 15 0 107094771 11345952768 412128 33554432000 4194304 4196468 140721965814608 140084371184656 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17492] ppid=17432 vsize=11080032 memory=1612 CPUtime=2.52 cores=0,2,4,6
/proc/17435/task/17492/stat : 17492 (java) S 17432 17435 9814 0 -1 1077944384 6752 12846 0 0 211 33 5 3 20 0 15 0 107094771 11345952768 412128 33554432000 4194304 4196468 140721965814608 140084370132112 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17493] ppid=17432 vsize=11080032 memory=1228 CPUtime=0.48 cores=0,2,4,6
/proc/17435/task/17493/stat : 17493 (java) S 17432 17435 9814 0 -1 1077944384 7687 12846 0 0 39 1 5 3 20 0 15 0 107094772 11345952768 412128 33554432000 4194304 4196468 140721965814608 140084325689328 140084832680578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17494] ppid=17432 vsize=11080032 memory=1852 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17494/stat : 17494 (java) S 17432 17435 9814 0 -1 1077944384 21 12846 0 0 0 0 5 3 20 0 15 0 107094773 11345952768 412128 33554432000 4194304 4196468 140721965814608 140083593208800 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17495] ppid=17432 vsize=11080032 memory=872 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17495/stat : 17495 (java) S 17432 17435 9814 0 -1 1077944384 13 12846 0 0 0 0 5 3 20 0 15 0 107094773 11345952768 412128 33554432000 4194304 4196468 140721965814608 140083445359616 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17496] ppid=17432 vsize=11080032 memory=8076 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17496/stat : 17496 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11345952768 412128 33554432000 4194304 4196468 140721965814608 140083137960144 140084832688027 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17497] ppid=17432 vsize=11080032 memory=1648512 CPUtime=11.07 cores=0,2,4,6
/proc/17435/task/17497/stat : 17497 (java) S 17432 17435 9814 0 -1 1077944384 16411 12846 0 0 1096 3 5 3 20 0 15 0 107094776 11345952768 412128 33554432000 4194304 4196468 140721965814608 140084324637168 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17498] ppid=17432 vsize=11080032 memory=6504 CPUtime=10.67 cores=0,2,4,6
/proc/17435/task/17498/stat : 17498 (java) S 17432 17435 9814 0 -1 1077944384 19907 12846 0 0 1054 5 5 3 20 0 15 0 107094776 11345952768 412128 33554432000 4194304 4196468 140721965814608 140084323584624 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17499] ppid=17432 vsize=11080032 memory=1576 CPUtime=4.11 cores=0,2,4,6
/proc/17435/task/17499/stat : 17499 (java) S 17432 17435 9814 0 -1 1077944384 29310 12846 0 0 396 7 5 3 20 0 15 0 107094776 11345952768 412128 33554432000 4194304 4196468 140721965814608 140084322532080 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17500] ppid=17432 vsize=11080032 memory=280251045315456 CPUtime=0.08 cores=0,2,4,6
/proc/17435/task/17500/stat : 17500 (java) S 17432 17435 9814 0 -1 1077944384 3 12846 0 0 0 0 5 3 20 0 15 0 107094776 11345952768 412128 33554432000 4194304 4196468 140721965814608 140082707164256 140084832679637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
[pid=17435/tid=17501] ppid=17432 vsize=11080032 memory=15872 CPUtime=0.19 cores=0,2,4,6
/proc/17435/task/17501/stat : 17501 (java) S 17432 17435 9814 0 -1 1077944384 647 12846 0 0 5 6 5 3 20 0 15 0 107094776 11345952768 412128 33554432000 4194304 4196468 140721965814608 140084321478960 140084832680578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 18104320 140721965820529 140721965823329 140721965823329 140721965825999 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1648512 KiB

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

[startup+219.449 s]
# the end of solver process 17435 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.332 s, system=1.76909 s

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

Child status: 143
Real time (s): 219.449
CPU time (s): 252.101
CPU user time (s): 250.332
CPU system time (s): 1.76909
CPU usage (%): 114.879
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 1648512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.332
system time used= 1.76909
maximum resident set size= 1650836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22090
involuntary context switches= 616


# summary of solver processes directly reported to runsolver:
#   pid: 17435
#   total CPU time (s): 252.101
#   total CPU user time (s): 250.332
#   total CPU system time (s): 1.76909

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24506 second user time and 2.14775 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-29 22:15:16
IDJOB=4302579
IDBENCH=141153
IDSOLVER=2776
FILE ID=node137/4302579-1532895316
RUNJOBID= node137-1532893235-14549
PBS_JOBID= 21022513
Free space on /tmp= 48508 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302579-1532895316/watcher-4302579-1532895316 -o /tmp/evaluation-result-4302579-1532895316/solver-4302579-1532895316 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1111812728 HOME/instance-4302579-1532895316.xml

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

MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193
RANDOM SEED=1111812728

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25124096 kB
MemAvailable:   28930472 kB
Buffers:          217352 kB
Cached:          3824680 kB
SwapCached:           32 kB
Active:          4798744 kB
Inactive:        2298780 kB
Active(anon):    3003148 kB
Inactive(anon):    79972 kB
Active(file):    1795596 kB
Inactive(file):  2218808 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:             26628 kB
Writeback:             0 kB
AnonPages:       3195636 kB
Mapped:            55848 kB
Shmem:             25052 kB
Slab:             243912 kB
SReclaimable:     215612 kB
SUnreclaim:        28300 kB
KernelStack:        3792 kB
PageTables:        11876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4324064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2967552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48484 MiB
End job on node137 at 2018-07-29 22:18:55