Trace number 4304282

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)2349526 2520.1 2438.65

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 benchmark3125540
Best CPU time to get the best result obtained on this benchmark2520.06
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 

0.98/0.74	c Concrete v3.9.2.1532736233296 running
39.20/18.48	o 1927643
39.87/18.80	o 1931175
39.87/18.82	o 1931747
39.87/18.84	o 1939103
39.87/18.86	o 1940955
39.87/18.90	o 1942429
40.19/18.92	o 1943943
40.19/18.93	o 1944407
40.19/18.95	o 1949036
63.45/33.90	o 1949176
63.56/33.91	o 1949462
63.56/33.92	o 1949689
63.56/33.93	o 1950320
63.56/33.94	o 1950461
63.56/33.95	o 1950530
63.56/33.97	o 1952772
63.56/33.98	o 1952809
63.56/33.99	o 1957018
63.56/34.00	o 1957229
63.68/34.01	o 1957897
63.68/34.03	o 1958487
63.68/34.04	o 1958702
63.68/34.05	o 1958956
63.68/34.06	o 1959174
63.68/34.07	o 1961292
63.68/34.09	o 1961508
64.99/34.43	o 1961816
64.99/34.44	o 1962165
64.99/34.46	o 1962330
64.99/34.47	o 1962541
64.99/34.48	o 1963118
64.99/34.49	o 1964815
65.15/34.50	o 1965874
65.15/34.53	o 1967476
65.15/34.54	o 1967687
65.15/34.55	o 1967951
65.15/34.56	o 1968092
65.15/34.57	o 1968945
65.15/34.58	o 1970621
65.25/34.68	o 1972429
65.25/34.70	o 1974014
65.36/34.71	o 1974268
65.36/34.77	o 1974663
65.58/35.00	o 1975374
65.71/35.01	o 1975601
65.71/35.02	o 1976977
65.71/35.06	o 1977058
65.71/35.07	o 1977754
66.06/35.32	o 1978120
66.06/35.33	o 1978831
66.06/35.35	o 1979462
66.06/35.36	o 1980954
66.06/35.37	o 1980965
66.06/35.38	o 1981181
66.06/35.39	o 1988347
66.16/35.41	o 1989555
66.16/35.42	o 1990186
68.29/36.81	o 1990641
68.29/36.82	o 1990903
68.29/36.83	o 1991267
68.29/36.84	o 1991903
68.29/36.85	o 1992667
68.29/36.87	o 1993075
68.29/36.88	o 1994451
68.29/36.89	o 1994705
68.85/37.36	o 1996301
68.85/37.37	o 1997378
68.85/37.38	o 1999416
68.85/37.39	o 2001038
68.95/37.41	o 2003619
68.95/37.42	o 2005656
68.95/37.43	o 2006695
68.95/37.44	o 2007709
68.95/37.45	o 2008906
68.95/37.47	o 2009844
68.95/37.48	o 2010475
68.95/37.49	o 2010686
69.05/37.50	o 2011426
69.05/37.51	o 2011637
69.05/37.53	o 2011642
69.05/37.54	o 2012823
69.05/37.55	o 2013862
69.05/37.57	o 2016869
69.39/37.83	o 2016964
90.53/53.64	o 2017440
90.53/53.65	o 2017520
90.53/53.66	o 2017989
90.53/53.67	o 2018251
90.53/53.68	o 2019290
90.63/53.71	o 2019613
90.63/53.73	o 2019839
90.63/53.74	o 2020878
90.63/53.75	o 2021642
90.63/53.77	o 2021716
90.63/53.78	o 2023754
90.63/53.79	o 2023834
90.84/53.92	o 2024006
90.84/53.93	o 2024217
92.10/54.32	o 2024381
92.10/54.33	o 2025062
92.10/54.35	o 2025297
92.10/54.36	o 2027540
92.10/54.37	o 2028085
92.10/54.38	o 2028554
92.10/54.40	o 2029855
92.21/54.42	o 2030446
92.21/54.43	o 2030662
92.21/54.44	o 2032657
92.21/54.46	o 2034735
92.21/54.47	o 2035992
92.21/54.48	o 2036375
92.41/54.67	o 2037611
92.41/54.69	o 2038807
96.54/57.65	o 2039570
99.59/59.83	o 2039898
99.59/59.84	o 2040109
99.59/59.86	o 2043249
99.59/59.87	o 2043613
99.70/59.91	o 2044315
99.70/59.92	o 2044526
99.70/60.00	o 2045430
99.81/60.01	o 2047320
99.81/60.02	o 2048996
99.81/60.04	o 2050062
99.81/60.05	o 2050089
99.81/60.06	o 2050558
99.81/60.07	o 2052640
99.81/60.08	o 2053312
100.02/60.22	o 2054083
100.02/60.24	o 2054378
100.02/60.25	o 2054483
100.02/60.26	o 2054767
100.02/60.27	o 2054847
132.56/82.14	o 2054949
132.56/82.16	o 2055774
132.56/82.19	o 2058896
132.77/82.39	o 2060215
132.87/82.40	o 2061455
132.87/82.41	o 2062127
132.87/82.42	o 2063580
132.87/82.44	o 2064283
132.87/82.45	o 2064424
132.87/82.46	o 2064639
132.87/82.47	o 2065664
132.87/82.48	o 2066336
132.97/82.50	o 2066861
132.97/82.51	o 2070643
132.97/82.52	o 2071657
132.97/82.53	o 2071684
132.97/82.55	o 2073528
132.97/82.56	o 2073608
132.97/82.57	o 2073874
132.97/82.58	o 2078404
133.07/82.60	o 2082274
133.07/82.61	o 2084342
133.07/82.62	o 2085014
133.07/82.63	o 2085602
133.07/82.64	o 2087571
133.07/82.66	o 2089772
134.22/83.52	o 2090129
134.22/83.53	o 2090611
134.22/83.55	o 2092891
134.22/83.56	o 2093517
134.33/83.60	o 2093711
134.33/83.61	o 2093873
134.33/83.62	o 2094342
134.77/84.10	o 2095751
134.87/84.11	o 2096302
134.87/84.12	o 2096382
134.87/84.13	o 2096930
134.87/84.14	o 2097175
134.87/84.15	o 2097476
134.87/84.17	o 2098628
134.87/84.18	o 2102275
134.96/84.27	o 2105397
148.37/96.30	o 2105484
148.37/96.32	o 2105655
148.37/96.33	o 2105725
148.37/96.34	o 2106351
148.37/96.35	o 2106907
148.37/96.36	o 2108394
148.37/96.38	o 2109651
149.10/97.02	o 2113893
149.10/97.03	o 2115641
149.10/97.05	o 2115745
149.10/97.06	o 2117493
149.72/97.67	o 2118625
149.72/97.68	o 2119843
149.72/97.70	o 2121142
149.83/97.71	o 2121375
149.83/97.72	o 2121931
152.14/99.77	o 2122403
152.14/99.79	o 2123034
152.25/99.80	o 2123293
152.25/99.81	o 2125573
152.25/99.82	o 2129639
152.25/99.84	o 2130117
152.25/99.85	o 2130435
152.25/99.86	o 2131131
152.25/99.87	o 2132542
154.58/102.09	o 2133529
154.58/102.10	o 2137527
154.69/102.12	o 2138652
154.69/102.13	o 2140105
154.69/102.14	o 2142416
157.59/104.73	o 2142833
157.59/104.74	o 2143049
157.59/104.75	o 2143115
157.59/104.76	o 2144526
157.59/104.78	o 2148317
158.53/105.62	o 2153078
158.53/105.64	o 2154413
158.53/105.65	o 2154584
225.37/164.99	o 2154855
225.37/165.00	o 2154935
225.47/165.02	o 2155840
225.47/165.06	o 2155900
225.47/165.08	o 2156862
225.59/165.13	o 2157300
225.59/165.14	o 2157921
225.59/165.15	o 2158593
225.59/165.16	o 2159611
225.59/165.18	o 2160630
225.59/165.19	o 2161071
225.69/165.20	o 2162910
225.69/165.21	o 2164823
225.80/165.33	o 2167402
225.80/165.34	o 2167687
225.80/165.35	o 2169921
225.90/165.46	o 2170799
225.90/165.47	o 2171015
225.90/165.48	o 2173464
226.51/165.82	o 2174013
226.51/165.84	o 2179063
226.51/165.85	o 2179279
226.93/166.21	o 2179541
226.93/166.22	o 2179757
227.67/166.91	o 2181795
227.67/166.94	o 2182460
227.67/166.95	o 2183862
227.67/166.96	o 2184402
227.67/166.97	o 2184588
227.67/166.99	o 2186440
227.67/167.00	o 2187672
227.78/167.01	o 2187830
227.78/167.02	o 2188869
227.78/167.03	o 2190987
228.29/167.53	o 2191760
228.29/167.55	o 2191976
228.29/167.56	o 2192389
228.29/167.57	o 2193015
229.12/168.35	o 2193797
229.12/168.37	o 2197701
229.12/168.38	o 2197885
229.12/168.39	o 2199338
229.23/168.40	o 2200300
230.54/169.79	o 2201036
230.81/169.80	o 2202733
233.61/172.67	o 2203887
233.61/172.68	o 2204849
245.19/183.84	o 2205926
263.04/200.95	o 2206226
263.04/200.96	o 2206659
263.04/200.97	o 2206886
263.04/200.98	o 2207119
263.26/201.15	o 2207659
263.26/201.16	o 2208698
263.26/201.18	o 2210178
263.26/201.19	o 2211217
263.35/201.20	o 2211450
264.35/202.28	o 2211692
264.35/202.29	o 2213187
269.62/207.31	o 2213429
269.62/207.32	o 2214310
276.67/214.22	o 2214568
308.38/244.75	o 2214678
308.38/244.77	o 2216082
308.38/244.79	o 2216551
308.48/244.82	o 2216608
308.48/244.83	o 2217685
308.48/244.84	o 2218357
308.48/244.86	o 2223621
308.48/244.88	o 2225286
308.48/244.89	o 2226167
308.58/244.90	o 2228006
308.58/244.91	o 2229568
308.58/244.92	o 2233178
308.58/244.94	o 2233611
308.69/245.06	o 2234319
308.69/245.07	o 2236243
308.69/245.08	o 2236869
308.79/245.19	o 2238585
308.88/245.20	o 2239054
308.88/245.21	o 2239349
308.88/245.22	o 2240802
308.88/245.24	o 2246034
308.88/245.25	o 2248456
308.88/245.26	o 2250792
308.88/245.27	o 2252053
308.88/245.28	o 2254159
308.98/245.30	o 2256071
308.98/245.34	o 2256303
309.08/245.46	o 2257459
309.08/245.47	o 2259104
309.08/245.49	o 2259537
310.08/246.47	o 2259715
310.08/246.48	o 2260733
311.37/247.59	o 2260826
311.47/247.68	o 2261016
311.47/247.69	o 2262855
311.88/248.01	o 2263542
311.88/248.03	o 2266599
311.88/248.04	o 2267068
313.89/250.10	o 2268273
318.24/254.29	o 2269034
332.42/268.10	o 2270845
332.52/268.12	o 2272463
332.52/268.14	o 2276856
332.52/268.15	o 2277874
548.33/480.17	o 2278117
548.33/480.18	o 2279570
548.51/480.20	o 2281030
549.51/481.27	o 2281224
549.51/481.28	o 2282716
549.61/481.30	o 2284286
549.61/481.32	o 2284464
549.61/481.33	o 2289044
549.61/481.34	o 2289465
549.61/481.35	o 2291162
549.61/481.37	o 2294917
551.51/483.26	o 2296215
551.51/483.28	o 2298049
551.51/483.29	o 2302692
551.61/483.30	o 2303932
556.02/487.73	o 2304269
556.02/487.74	o 2304702
556.02/487.76	o 2304988
556.02/487.77	o 2307025
556.02/487.78	o 2308893
556.02/487.79	o 2309254
556.13/487.80	o 2310930
556.13/487.82	o 2311049
556.13/487.83	o 2314950
575.60/506.98	o 2315049
583.44/514.70	o 2315702
583.54/514.71	o 2316172
587.15/518.37	o 2318362
587.15/518.38	o 2318408
587.15/518.39	o 2318927
587.25/518.40	o 2320167
587.25/518.42	o 2320637
587.25/518.43	o 2322313
588.15/519.30	o 2327602
588.15/519.32	o 2329720
604.01/534.99	o 2330164
604.01/535.00	o 2333876
604.13/535.01	o 2334733
604.13/535.03	o 2338634
604.13/535.04	o 2340967
604.13/535.05	o 2343073
604.13/535.07	o 2343185
604.13/535.08	o 2343439
604.13/535.09	o 2343814
604.13/535.10	o 2346748
604.23/535.11	o 2349526
2520.03/2438.61	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2438.61		at concrete.MAC.mac(MAC.scala:188)
2520.03/2438.61		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.03/2438.61		at scala.util.Try$.apply(Try.scala:209)
2520.03/2438.61		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2438.61		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2438.61		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2438.61		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2438.61		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.03/2438.61		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2438.61		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2438.61		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2438.61		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2438.61		at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2438.61		at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2438.61		at concrete.MAC.nextSolution(MAC.scala:355)
2520.03/2438.61		at concrete.Solver.hasNext(Solver.scala:166)
2520.03/2438.61		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.03/2438.61		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.03/2438.61		at concrete.Solver.foreach(Solver.scala:68)
2520.03/2438.61		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.03/2438.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2438.61		at scala.util.Success.map(Try.scala:209)
2520.03/2438.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2438.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.03/2438.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.03/2438.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2438.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.03/2438.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2438.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2438.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2438.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2438.61		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2438.61		at scala.App.main(App.scala:76)
2520.03/2438.61		at scala.App.main$(App.scala:74)
2520.03/2438.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.03/2438.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2438.62	v <instantiation cost="2349526">
2520.03/2438.62	v       <list>
2520.03/2438.62	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]
2520.03/2438.62	v       </list>
2520.03/2438.62	v       <values>
2520.03/2438.62	v         0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 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 1 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 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 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 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 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 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 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 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 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 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 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 1 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 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 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 1 1 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 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 0 0 0 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 0 1 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 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0
2520.03/2438.62	v       </values>
2520.03/2438.62	v     </instantiation>
2520.03/2438.62	s SATISFIABLE

Verifier Data 

OK	2349526

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304282-1534052810/watcher-4304282-1534052810 -o /tmp/evaluation-result-4304282-1534052810/solver-4304282-1534052810 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534039308-11489 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1220062493 -superng HOME/instance-4304282-1534052810.xml 

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

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


[startup+0.100119 s]*
/proc/loadavg: 1.92 1.79 1.71 3/206 14555
/proc/meminfo: memFree=23267748/32770624 swapFree=67108860/67108860
[pid=14498] ppid=14495 vsize=10005480 memory=17340 CPUtime=0.09 cores=1,3,5,7
/proc/14498/stat : 14498 (java) S 14495 14498 10336 0 -1 1077944320 4461 13156 0 0 1 1 5 2 20 0 6 0 222844173 10245611520 4335 33554432000 4194304 4196468 140723993960368 140723993942912 140344522358519 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
/proc/14498/statm: 2501370 4335 1956 1 0 2489808 0
[pid=14498/tid=14551] ppid=14495 vsize=10005480 memory=4279135703913103502 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14551/stat : 14551 (java) R 14495 14498 10336 0 -1 4202560 2269 13156 0 0 0 0 5 2 20 0 6 0 222844182 10245611520 4335 33554432000 4194304 4196468 140723993960368 140344494195280 140344506439006 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14552] ppid=14495 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14552/stat : 14552 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 6 0 222844183 10245611520 4335 33554432000 4194304 4196468 140723993960368 140344526601104 140344522368725 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14553] ppid=14495 vsize=10005480 memory=140158118295168 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14553/stat : 14553 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 6 0 222844183 10245611520 4335 33554432000 4194304 4196468 140723993960368 140344381319952 140344522368725 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14554] ppid=14495 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14554/stat : 14554 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 6 0 222844183 10245611520 4335 33554432000 4194304 4196468 140723993960368 140344380267664 140344522368725 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14555] ppid=14495 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14555/stat : 14555 (java) S 14495 14498 10336 0 -1 1077944384 2 13156 0 0 0 0 5 2 20 0 6 0 222844183 10245611520 4335 33554432000 4194304 4196468 140723993960368 140344379214864 140344522368725 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17340 KiB

[startup+0.20988 s]*
/proc/loadavg: 1.92 1.79 1.71 3/215 14564
/proc/meminfo: memFree=23245428/32770624 swapFree=67108860/67108860
[pid=14498] ppid=14495 vsize=10985364 memory=47720 CPUtime=0.26 cores=1,3,5,7
/proc/14498/stat : 14498 (java) S 14495 14498 10336 0 -1 1077944320 8536 13156 0 0 17 2 5 2 20 0 15 0 222844173 11249012736 11864 33554432000 4194304 4196468 140723993960368 140723993942912 140344522358519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
/proc/14498/statm: 2746341 11930 2984 1 0 2708764 0
[pid=14498/tid=14551] ppid=14495 vsize=10985364 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/14498/task/14551/stat : 14551 (java) R 14495 14498 10336 0 -1 4202560 5214 13156 0 0 11 1 5 2 20 0 15 0 222844182 11249012736 11996 33554432000 4194304 4196468 140723993960368 140344494183328 140344515038237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14552] ppid=14495 vsize=10985364 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14552/stat : 14552 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844183 11249012736 11996 33554432000 4194304 4196468 140723993960368 140344526601104 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14553] ppid=14495 vsize=10985364 memory=140158118295168 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14553/stat : 14553 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844183 11249012736 12062 33554432000 4194304 4196468 140723993960368 140344381319952 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14554] ppid=14495 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14554/stat : 14554 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844183 11249012736 12062 33554432000 4194304 4196468 140723993960368 140344380267664 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14555] ppid=14495 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14555/stat : 14555 (java) S 14495 14498 10336 0 -1 1077944384 2 13156 0 0 0 0 5 2 20 0 15 0 222844183 11249012736 12062 33554432000 4194304 4196468 140723993960368 140344379214864 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14556] ppid=14495 vsize=10985364 memory=140158118295168 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14556/stat : 14556 (java) S 14495 14498 10336 0 -1 1077944384 2 13156 0 0 0 0 5 2 20 0 15 0 222844184 11249012736 12062 33554432000 4194304 4196468 140723993960368 140343491102832 140344522369666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14557] ppid=14495 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14557/stat : 14557 (java) S 14495 14498 10336 0 -1 1077944384 13 13156 0 0 0 0 5 2 20 0 15 0 222844184 11249012736 11964 33554432000 4194304 4196468 140723993960368 140343357989664 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14558] ppid=14495 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14558/stat : 14558 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844185 11249012736 11711 33554432000 4194304 4196468 140723993960368 140343156663408 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14559] ppid=14495 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14559/stat : 14559 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11249012736 11711 33554432000 4194304 4196468 140723993960368 140342849263696 140344522377115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14560] ppid=14495 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14498/task/14560/stat : 14560 (java) S 14495 14498 10336 0 -1 1077944384 537 13156 0 0 1 0 5 2 20 0 15 0 222844187 11247345664 11711 33554432000 4194304 4196468 140723993960368 140343490050672 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14561] ppid=14495 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14498/task/14561/stat : 14561 (java) S 14495 14498 10336 0 -1 1077944384 65 13156 0 0 1 0 5 2 20 0 15 0 222844187 11247345664 11471 33554432000 4194304 4196468 140723993960368 140343488997872 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14562] ppid=14495 vsize=10983736 memory=140158118295168 CPUtime=0.1 cores=1,3,5,7
/proc/14498/task/14562/stat : 14562 (java) S 14495 14498 10336 0 -1 1077944384 620 13156 0 0 3 0 5 2 20 0 15 0 222844187 11247345664 11471 33554432000 4194304 4196468 140723993960368 140343487945584 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14563] ppid=14495 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14563/stat : 14563 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11246329856 11463 33554432000 4194304 4196468 140723993960368 140342418467808 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14564] ppid=14495 vsize=10982744 memory=140158118295168 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14564/stat : 14564 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844188 11246329856 11463 33554432000 4194304 4196468 140723993960368 140343486892464 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 47720 KiB

[startup+0.310337 s]*
/proc/loadavg: 1.92 1.79 1.71 3/215 14564
/proc/meminfo: memFree=23232156/32770624 swapFree=67108860/67108860
[pid=14498] ppid=14495 vsize=10983192 memory=56312 CPUtime=0.38 cores=1,3,5,7
/proc/14498/stat : 14498 (java) S 14495 14498 10336 0 -1 1077944320 10602 13156 0 0 29 2 5 2 20 0 15 0 222844173 11246788608 14078 33554432000 4194304 4196468 140723993960368 140723993942912 140344522358519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
/proc/14498/statm: 2745798 14078 3103 1 0 2708109 0
[pid=14498/tid=14551] ppid=14495 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/14498/task/14551/stat : 14551 (java) R 14495 14498 10336 0 -1 4202560 7152 13156 0 0 20 1 5 2 20 0 15 0 222844182 11246788608 14078 33554432000 4194304 4196468 140723993960368 140344494170528 140344514595646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14552] ppid=14495 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14552/stat : 14552 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844183 11246788608 14078 33554432000 4194304 4196468 140723993960368 140344526601104 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14553] ppid=14495 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14553/stat : 14553 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844183 11246788608 14078 33554432000 4194304 4196468 140723993960368 140344381319952 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14554] ppid=14495 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14554/stat : 14554 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844183 11246788608 14078 33554432000 4194304 4196468 140723993960368 140344380267664 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14555] ppid=14495 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14555/stat : 14555 (java) S 14495 14498 10336 0 -1 1077944384 2 13156 0 0 0 0 5 2 20 0 15 0 222844183 11246788608 14078 33554432000 4194304 4196468 140723993960368 140344379214864 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14556] ppid=14495 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14556/stat : 14556 (java) S 14495 14498 10336 0 -1 1077944384 2 13156 0 0 0 0 5 2 20 0 15 0 222844184 11246788608 14078 33554432000 4194304 4196468 140723993960368 140343491102832 140344522369666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14557] ppid=14495 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14557/stat : 14557 (java) S 14495 14498 10336 0 -1 1077944384 13 13156 0 0 0 0 5 2 20 0 15 0 222844184 11246788608 14078 33554432000 4194304 4196468 140723993960368 140343357989664 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14558] ppid=14495 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14558/stat : 14558 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844185 11246788608 14078 33554432000 4194304 4196468 140723993960368 140343156663408 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14559] ppid=14495 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14559/stat : 14559 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11246788608 14078 33554432000 4194304 4196468 140723993960368 140342849263696 140344522377115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14560] ppid=14495 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14498/task/14560/stat : 14560 (java) S 14495 14498 10336 0 -1 1077944384 539 13156 0 0 1 0 5 2 20 0 15 0 222844187 11246788608 14078 33554432000 4194304 4196468 140723993960368 140343490050672 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14561] ppid=14495 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14498/task/14561/stat : 14561 (java) S 14495 14498 10336 0 -1 1077944384 65 13156 0 0 1 0 5 2 20 0 15 0 222844187 11246788608 14078 33554432000 4194304 4196468 140723993960368 140343488997872 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14562] ppid=14495 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/14498/task/14562/stat : 14562 (java) R 14495 14498 10336 0 -1 4202560 628 13156 0 0 5 0 5 2 20 0 15 0 222844187 11246788608 14078 33554432000 4194304 4196468 140723993960368 140343487945584 140344501756958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14563] ppid=14495 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14563/stat : 14563 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11246788608 14078 33554432000 4194304 4196468 140723993960368 140342418467808 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14564] ppid=14495 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14564/stat : 14564 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844188 11246788608 14078 33554432000 4194304 4196468 140723993960368 140343486892464 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56312 KiB

[startup+0.700795 s]
/proc/loadavg: 1.92 1.79 1.71 3/215 14564
/proc/meminfo: memFree=23222852/32770624 swapFree=67108860/67108860
[pid=14498] ppid=14495 vsize=10983192 memory=88416 CPUtime=0.98 cores=1,3,5,7
/proc/14498/stat : 14498 (java) S 14495 14498 10336 0 -1 1077944320 16762 13156 0 0 87 4 5 2 20 0 15 0 222844173 11246788608 22104 33554432000 4194304 4196468 140723993960368 140723993942912 140344522358519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
/proc/14498/statm: 2745798 22104 3247 1 0 2708109 0
[pid=14498/tid=14551] ppid=14495 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/14498/task/14551/stat : 14551 (java) R 14495 14498 10336 0 -1 4202560 12284 13156 0 0 56 3 5 2 20 0 15 0 222844182 11246788608 22104 33554432000 4194304 4196468 140723993960368 140344494179344 140344506439006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14552] ppid=14495 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14552/stat : 14552 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844183 11246788608 22104 33554432000 4194304 4196468 140723993960368 140344526601104 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14553] ppid=14495 vsize=10983192 memory=3712 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14553/stat : 14553 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844183 11246788608 22104 33554432000 4194304 4196468 140723993960368 140344381319952 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14554] ppid=14495 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14554/stat : 14554 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844183 11246788608 22104 33554432000 4194304 4196468 140723993960368 140344380267664 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14555] ppid=14495 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14555/stat : 14555 (java) S 14495 14498 10336 0 -1 1077944384 2 13156 0 0 0 0 5 2 20 0 15 0 222844183 11246788608 22104 33554432000 4194304 4196468 140723993960368 140344379214864 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14556] ppid=14495 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14556/stat : 14556 (java) S 14495 14498 10336 0 -1 1077944384 5 13156 0 0 0 0 5 2 20 0 15 0 222844184 11246788608 22104 33554432000 4194304 4196468 140723993960368 140343491102832 140344522369666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14557] ppid=14495 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14557/stat : 14557 (java) S 14495 14498 10336 0 -1 1077944384 13 13156 0 0 0 0 5 2 20 0 15 0 222844184 11246788608 22104 33554432000 4194304 4196468 140723993960368 140343357989664 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14558] ppid=14495 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14558/stat : 14558 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844185 11246788608 22104 33554432000 4194304 4196468 140723993960368 140343156663408 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14559] ppid=14495 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14559/stat : 14559 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11246788608 22104 33554432000 4194304 4196468 140723993960368 140342849263696 140344522377115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14560] ppid=14495 vsize=10983192 memory=13252 CPUtime=0.16 cores=1,3,5,7
/proc/14498/task/14560/stat : 14560 (java) S 14495 14498 10336 0 -1 1077944384 1091 13156 0 0 9 0 5 2 20 0 15 0 222844187 11246788608 22104 33554432000 4194304 4196468 140723993960368 140343490050672 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14561] ppid=14495 vsize=10983192 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/14498/task/14561/stat : 14561 (java) R 14495 14498 10336 0 -1 4202560 466 13156 0 0 7 0 5 2 20 0 15 0 222844187 11246788608 22104 33554432000 4194304 4196468 140723993960368 140343488997872 140344522370454 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14562] ppid=14495 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/14498/task/14562/stat : 14562 (java) R 14495 14498 10336 0 -1 4202560 700 13156 0 0 13 0 5 2 20 0 15 0 222844187 11246788608 22104 33554432000 4194304 4196468 140723993960368 140343487945584 140344522370454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14563] ppid=14495 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14563/stat : 14563 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11246788608 22104 33554432000 4194304 4196468 140723993960368 140342418467808 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14564] ppid=14495 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14564/stat : 14564 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844188 11246788608 22104 33554432000 4194304 4196468 140723993960368 140343486892464 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88416 KiB

[startup+1.50065 s]
/proc/loadavg: 1.92 1.79 1.71 5/215 14564
/proc/meminfo: memFree=23176760/32770624 swapFree=67108860/67108860
[pid=14498] ppid=14495 vsize=10998092 memory=208924 CPUtime=2.89 cores=1,3,5,7
/proc/14498/stat : 14498 (java) S 14495 14498 10336 0 -1 1077944320 26714 13156 0 0 272 10 5 2 20 0 15 0 222844173 11262046208 52231 33554432000 4194304 4196468 140723993960368 140723993942912 140344522358519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
/proc/14498/statm: 2749523 52231 3473 1 0 2711181 0
[pid=14498/tid=14551] ppid=14495 vsize=10998092 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/14498/task/14551/stat : 14551 (java) S 14495 14498 10336 0 -1 1077944384 17164 13156 0 0 129 5 5 2 20 0 15 0 222844182 11262046208 52231 33554432000 4194304 4196468 140723993960368 140344494175392 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14552] ppid=14495 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14498/task/14552/stat : 14552 (java) S 14495 14498 10336 0 -1 1077944384 31 13156 0 0 1 0 5 2 20 0 15 0 222844183 11262046208 52231 33554432000 4194304 4196468 140723993960368 140344526601104 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14553] ppid=14495 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14498/task/14553/stat : 14553 (java) S 14495 14498 10336 0 -1 1077944384 17 13156 0 0 1 0 5 2 20 0 15 0 222844183 11262046208 52231 33554432000 4194304 4196468 140723993960368 140344381319952 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14554] ppid=14495 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14498/task/14554/stat : 14554 (java) S 14495 14498 10336 0 -1 1077944384 52 13156 0 0 1 0 5 2 20 0 15 0 222844183 11262046208 52231 33554432000 4194304 4196468 140723993960368 140344380267664 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14555] ppid=14495 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14498/task/14555/stat : 14555 (java) S 14495 14498 10336 0 -1 1077944384 175 13156 0 0 1 0 5 2 20 0 15 0 222844183 11262046208 52231 33554432000 4194304 4196468 140723993960368 140344379214864 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14556] ppid=14495 vsize=10998092 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/14498/task/14556/stat : 14556 (java) S 14495 14498 10336 0 -1 1077944384 121 13156 0 0 1 0 5 2 20 0 15 0 222844184 11262046208 52231 33554432000 4194304 4196468 140723993960368 140343491102832 140344522369666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14557] ppid=14495 vsize=10998092 memory=280316006705408 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14557/stat : 14557 (java) S 14495 14498 10336 0 -1 1077944384 15 13156 0 0 0 0 5 2 20 0 15 0 222844184 11262046208 52231 33554432000 4194304 4196468 140723993960368 140343357989728 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14558] ppid=14495 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14558/stat : 14558 (java) R 14495 14498 10336 0 -1 4202560 1 13156 0 0 0 0 5 2 20 0 15 0 222844185 11262046208 52231 33554432000 4194304 4196468 140723993960368 140343156663408 140344522370454 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14559] ppid=14495 vsize=10998092 memory=1828 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14559/stat : 14559 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11262046208 52231 33554432000 4194304 4196468 140723993960368 140342849263696 140344522377115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14560] ppid=14495 vsize=10998092 memory=1120 CPUtime=0.53 cores=1,3,5,7
/proc/14498/task/14560/stat : 14560 (java) S 14495 14498 10336 0 -1 1077944384 2605 13156 0 0 46 0 5 2 20 0 15 0 222844187 11262046208 52231 33554432000 4194304 4196468 140723993960368 140343490050672 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14561] ppid=14495 vsize=10998092 memory=6116 CPUtime=0.53 cores=1,3,5,7
/proc/14498/task/14561/stat : 14561 (java) S 14495 14498 10336 0 -1 1077944384 2514 13156 0 0 45 1 5 2 20 0 15 0 222844187 11262046208 52231 33554432000 4194304 4196468 140723993960368 140343488997872 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14562] ppid=14495 vsize=10998092 memory=1724 CPUtime=0.48 cores=1,3,5,7
/proc/14498/task/14562/stat : 14562 (java) R 14495 14498 10336 0 -1 4202560 1821 13156 0 0 41 0 5 2 20 0 15 0 222844187 11262046208 52231 33554432000 4194304 4196468 140723993960368 140343487945584 140344522370454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14563] ppid=14495 vsize=10998092 memory=4004 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14563/stat : 14563 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11262046208 52231 33554432000 4194304 4196468 140723993960368 140342418467808 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14564] ppid=14495 vsize=10998092 memory=3516 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14564/stat : 14564 (java) S 14495 14498 10336 0 -1 1077944384 1 13156 0 0 0 0 5 2 20 0 15 0 222844188 11262046208 52231 33554432000 4194304 4196468 140723993960368 140343486892464 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 10998092 KiB

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

/proc/14498/task/14551/stat : 14551 (java) R 14495 14498 10336 0 -1 4202560 255487 13156 0 0 224342 35 5 2 20 0 15 0 222844182 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140344494193552 140344066817483 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14552] ppid=14495 vsize=11014496 memory=4133012 CPUtime=17.45 cores=1,3,5,7
/proc/14498/task/14552/stat : 14552 (java) S 14495 14498 10336 0 -1 1077944384 29621 13156 0 0 1630 108 5 2 20 0 15 0 222844183 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140344526601104 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14553] ppid=14495 vsize=11014496 memory=4143292 CPUtime=17.43 cores=1,3,5,7
/proc/14498/task/14553/stat : 14553 (java) S 14495 14498 10336 0 -1 1077944384 34881 13156 0 0 1628 108 5 2 20 0 15 0 222844183 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140344381319952 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14554] ppid=14495 vsize=11014496 memory=4143292 CPUtime=17.43 cores=1,3,5,7
/proc/14498/task/14554/stat : 14554 (java) S 14495 14498 10336 0 -1 1077944384 36375 13156 1 0 1626 110 5 2 20 0 15 0 222844183 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140344380267664 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14555] ppid=14495 vsize=11014496 memory=4143292 CPUtime=17.41 cores=1,3,5,7
/proc/14498/task/14555/stat : 14555 (java) S 14495 14498 10336 0 -1 1077944384 30537 13156 0 0 1627 107 5 2 20 0 15 0 222844183 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140344379214864 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14556] ppid=14495 vsize=11014496 memory=233037 CPUtime=0.88 cores=1,3,5,7
/proc/14498/task/14556/stat : 14556 (java) S 14495 14498 10336 0 -1 1077944384 38859 13156 0 0 74 7 5 2 20 0 15 0 222844184 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140343491102832 140344522369666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14557] ppid=14495 vsize=11014496 memory=4143292 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14557/stat : 14557 (java) S 14495 14498 10336 0 -1 1077944384 24 13156 0 0 0 0 5 2 20 0 15 0 222844184 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140343357989728 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14558] ppid=14495 vsize=11014496 memory=4147388 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14558/stat : 14558 (java) S 14495 14498 10336 0 -1 1077944384 14 13156 0 0 0 0 5 2 20 0 15 0 222844185 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140343156663424 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14559] ppid=14495 vsize=11014496 memory=3712 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14559/stat : 14559 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140342849263696 140344522377115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14560] ppid=14495 vsize=11014496 memory=1088 CPUtime=11.26 cores=1,3,5,7
/proc/14498/task/14560/stat : 14560 (java) S 14495 14498 10336 0 -1 1077944384 23037 13156 0 0 1114 5 5 2 20 0 15 0 222844187 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140343490050672 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14561] ppid=14495 vsize=11014496 memory=1796 CPUtime=12.58 cores=1,3,5,7
/proc/14498/task/14561/stat : 14561 (java) S 14495 14498 10336 0 -1 1077944384 27580 13156 0 0 1245 6 5 2 20 0 15 0 222844187 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140343488997872 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14562] ppid=14495 vsize=11014496 memory=916 CPUtime=4.22 cores=1,3,5,7
/proc/14498/task/14562/stat : 14562 (java) S 14495 14498 10336 0 -1 1077944384 27531 13156 0 0 406 9 5 2 20 0 15 0 222844187 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140343487945584 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14563] ppid=14495 vsize=11014496 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14563/stat : 14563 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140342418467808 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14564] ppid=14495 vsize=11014496 memory=504 CPUtime=1.22 cores=1,3,5,7
/proc/14498/task/14564/stat : 14564 (java) S 14495 14498 10336 0 -1 1077944384 1931 13156 0 0 54 61 5 2 20 0 15 0 222844188 11278843904 1036847 33554432000 4194304 4196468 140723993960368 140343486892464 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
Current children cumulated CPU time: 2343.21 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4147388 KiB

[startup+2322.3 s]
/proc/loadavg: 1.48 1.53 1.72 3/215 14913
/proc/meminfo: memFree=18539308/32770624 swapFree=67108860/67108860
[pid=14498] ppid=14495 vsize=11014496 memory=4147392 CPUtime=2403.45 cores=1,3,5,7
/proc/14498/stat : 14498 (java) S 14495 14498 10336 0 -1 1077944320 516823 13156 1 0 239791 547 5 2 20 0 15 0 222844173 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140723993942912 140344522358519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
/proc/14498/statm: 2753624 1036848 3535 1 0 2715277 0
[pid=14498/tid=14551] ppid=14495 vsize=11014496 memory=4147392 CPUtime=2303.77 cores=1,3,5,7
/proc/14498/task/14551/stat : 14551 (java) R 14495 14498 10336 0 -1 4202560 260745 13156 0 0 230334 36 5 2 20 0 15 0 222844182 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140344494193552 140344066817492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14552] ppid=14495 vsize=11014496 memory=4147392 CPUtime=17.53 cores=1,3,5,7
/proc/14498/task/14552/stat : 14552 (java) S 14495 14498 10336 0 -1 1077944384 29799 13156 0 0 1638 108 5 2 20 0 15 0 222844183 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140344526601104 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14553] ppid=14495 vsize=11014496 memory=4147392 CPUtime=17.5 cores=1,3,5,7
/proc/14498/task/14553/stat : 14553 (java) S 14495 14498 10336 0 -1 1077944384 36877 13156 0 0 1635 108 5 2 20 0 15 0 222844183 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140344381319952 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14554] ppid=14495 vsize=11014496 memory=4147392 CPUtime=17.49 cores=1,3,5,7
/proc/14498/task/14554/stat : 14554 (java) S 14495 14498 10336 0 -1 1077944384 36511 13156 1 0 1632 110 5 2 20 0 15 0 222844183 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140344380267664 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14555] ppid=14495 vsize=11014496 memory=4147392 CPUtime=17.48 cores=1,3,5,7
/proc/14498/task/14555/stat : 14555 (java) S 14495 14498 10336 0 -1 1077944384 31354 13156 0 0 1634 107 5 2 20 0 15 0 222844183 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140344379214864 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14556] ppid=14495 vsize=11014496 memory=4147392 CPUtime=0.89 cores=1,3,5,7
/proc/14498/task/14556/stat : 14556 (java) S 14495 14498 10336 0 -1 1077944384 39182 13156 0 0 75 7 5 2 20 0 15 0 222844184 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343491102832 140344522369666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14557] ppid=14495 vsize=11014496 memory=4147392 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14557/stat : 14557 (java) S 14495 14498 10336 0 -1 1077944384 24 13156 0 0 0 0 5 2 20 0 15 0 222844184 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343357989728 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14558] ppid=14495 vsize=11014496 memory=3712 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14558/stat : 14558 (java) S 14495 14498 10336 0 -1 1077944384 14 13156 0 0 0 0 5 2 20 0 15 0 222844185 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343156663424 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14559] ppid=14495 vsize=11014496 memory=4104 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14559/stat : 14559 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140342849263696 140344522377115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14560] ppid=14495 vsize=11014496 memory=1408 CPUtime=11.26 cores=1,3,5,7
/proc/14498/task/14560/stat : 14560 (java) S 14495 14498 10336 0 -1 1077944384 23040 13156 0 0 1114 5 5 2 20 0 15 0 222844187 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343490050672 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14561] ppid=14495 vsize=11014496 memory=4147392 CPUtime=12.58 cores=1,3,5,7
/proc/14498/task/14561/stat : 14561 (java) S 14495 14498 10336 0 -1 1077944384 27584 13156 0 0 1245 6 5 2 20 0 15 0 222844187 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343488997872 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14562] ppid=14495 vsize=11014496 memory=504 CPUtime=4.22 cores=1,3,5,7
/proc/14498/task/14562/stat : 14562 (java) S 14495 14498 10336 0 -1 1077944384 27539 13156 0 0 406 9 5 2 20 0 15 0 222844187 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343487945584 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14563] ppid=14495 vsize=11014496 memory=4147392 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14563/stat : 14563 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140342418467808 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14564] ppid=14495 vsize=11014496 memory=4147392 CPUtime=1.25 cores=1,3,5,7
/proc/14498/task/14564/stat : 14564 (java) S 14495 14498 10336 0 -1 1077944384 1957 13156 0 0 56 62 5 2 20 0 15 0 222844188 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343486892464 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
Current children cumulated CPU time: 2403.45 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4147392 KiB

[startup+2382.3 s]
/proc/loadavg: 1.60 1.56 1.72 3/215 14914
/proc/meminfo: memFree=18564008/32770624 swapFree=67108860/67108860
[pid=14498] ppid=14495 vsize=11014496 memory=4147392 CPUtime=2463.64 cores=1,3,5,7
/proc/14498/stat : 14498 (java) S 14495 14498 10336 0 -1 1077944320 525429 13156 1 0 245808 549 5 2 20 0 15 0 222844173 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140723993942912 140344522358519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
/proc/14498/statm: 2753624 1036848 3535 1 0 2715277 0
[pid=14498/tid=14551] ppid=14495 vsize=11014496 memory=4147392 CPUtime=2363.69 cores=1,3,5,7
/proc/14498/task/14551/stat : 14551 (java) R 14495 14498 10336 0 -1 4202560 265820 13156 0 0 236326 36 5 2 20 0 15 0 222844182 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140344494193280 140344062260578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14552] ppid=14495 vsize=11014496 memory=4147392 CPUtime=17.58 cores=1,3,5,7
/proc/14498/task/14552/stat : 14552 (java) S 14495 14498 10336 0 -1 1077944384 30132 13156 0 0 1643 108 5 2 20 0 15 0 222844183 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140344526601104 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14553] ppid=14495 vsize=11014496 memory=4147392 CPUtime=17.56 cores=1,3,5,7
/proc/14498/task/14553/stat : 14553 (java) S 14495 14498 10336 0 -1 1077944384 38295 13156 0 0 1641 108 5 2 20 0 15 0 222844183 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140344381319952 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14554] ppid=14495 vsize=11014496 memory=4147392 CPUtime=17.55 cores=1,3,5,7
/proc/14498/task/14554/stat : 14554 (java) S 14495 14498 10336 0 -1 1077944384 36744 13156 1 0 1638 110 5 2 20 0 15 0 222844183 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140344380267664 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14555] ppid=14495 vsize=11014496 memory=4147392 CPUtime=17.54 cores=1,3,5,7
/proc/14498/task/14555/stat : 14555 (java) S 14495 14498 10336 0 -1 1077944384 32521 13156 0 0 1640 107 5 2 20 0 15 0 222844183 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140344379214864 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14556] ppid=14495 vsize=11014496 memory=1828 CPUtime=0.89 cores=1,3,5,7
/proc/14498/task/14556/stat : 14556 (java) S 14495 14498 10336 0 -1 1077944384 39523 13156 0 0 75 7 5 2 20 0 15 0 222844184 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343491102832 140344522369666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14557] ppid=14495 vsize=11014496 memory=1064 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14557/stat : 14557 (java) S 14495 14498 10336 0 -1 1077944384 24 13156 0 0 0 0 5 2 20 0 15 0 222844184 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343357989728 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14558] ppid=14495 vsize=11014496 memory=280316008621632 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14558/stat : 14558 (java) S 14495 14498 10336 0 -1 1077944384 14 13156 0 0 0 0 5 2 20 0 15 0 222844185 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343156663424 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14559] ppid=14495 vsize=11014496 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14559/stat : 14559 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140342849263696 140344522377115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14560] ppid=14495 vsize=11014496 memory=60636 CPUtime=11.26 cores=1,3,5,7
/proc/14498/task/14560/stat : 14560 (java) S 14495 14498 10336 0 -1 1077944384 23043 13156 0 0 1114 5 5 2 20 0 15 0 222844187 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343490050672 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14561] ppid=14495 vsize=11014496 memory=1064 CPUtime=12.58 cores=1,3,5,7
/proc/14498/task/14561/stat : 14561 (java) S 14495 14498 10336 0 -1 1077944384 27588 13156 0 0 1245 6 5 2 20 0 15 0 222844187 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343488997872 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14562] ppid=14495 vsize=11014496 memory=4147392 CPUtime=4.22 cores=1,3,5,7
/proc/14498/task/14562/stat : 14562 (java) S 14495 14498 10336 0 -1 1077944384 27547 13156 0 0 406 9 5 2 20 0 15 0 222844187 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343487945584 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14563] ppid=14495 vsize=11014496 memory=4147392 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14563/stat : 14563 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140342418467808 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14564] ppid=14495 vsize=11014496 memory=3712 CPUtime=1.27 cores=1,3,5,7
/proc/14498/task/14564/stat : 14564 (java) S 14495 14498 10336 0 -1 1077944384 1981 13156 0 0 57 63 5 2 20 0 15 0 222844188 11278843904 1036848 33554432000 4194304 4196468 140723993960368 140343486892464 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
Current children cumulated CPU time: 2463.64 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4147392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2438.6 s]
/proc/loadavg: 1.72 1.59 1.72 3/215 14915
/proc/meminfo: memFree=18566116/32770624 swapFree=67108860/67108860
[pid=14498] ppid=14495 vsize=11014496 memory=4147384 CPUtime=2520.03 cores=1,3,5,7
/proc/14498/stat : 14498 (java) S 14495 14498 10336 0 -1 1077944320 533261 13156 1 0 251445 551 5 2 20 0 15 0 222844173 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140723993942912 140344522358519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
/proc/14498/statm: 2753624 1036846 3535 1 0 2715277 0
[pid=14498/tid=14551] ppid=14495 vsize=11014496 memory=6791534058613427641 CPUtime=2419.98 cores=1,3,5,7
/proc/14498/task/14551/stat : 14551 (java) R 14495 14498 10336 0 -1 4202560 270536 13156 0 0 241954 37 5 2 20 0 15 0 222844182 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140344494193424 140344063704994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14552] ppid=14495 vsize=11014496 memory=4004 CPUtime=17.6 cores=1,3,5,7
/proc/14498/task/14552/stat : 14552 (java) S 14495 14498 10336 0 -1 1077944384 30229 13156 0 0 1645 108 5 2 20 0 15 0 222844183 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140344526601104 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14553] ppid=14495 vsize=11014496 memory=3516 CPUtime=17.58 cores=1,3,5,7
/proc/14498/task/14553/stat : 14553 (java) S 14495 14498 10336 0 -1 1077944384 40147 13156 0 0 1643 108 5 2 20 0 15 0 222844183 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140344381319952 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14554] ppid=14495 vsize=11014496 memory=872 CPUtime=17.57 cores=1,3,5,7
/proc/14498/task/14554/stat : 14554 (java) S 14495 14498 10336 0 -1 1077944384 37031 13156 1 0 1640 110 5 2 20 0 15 0 222844183 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140344380267664 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14555] ppid=14495 vsize=11014496 memory=1064 CPUtime=17.56 cores=1,3,5,7
/proc/14498/task/14555/stat : 14555 (java) S 14495 14498 10336 0 -1 1077944384 33030 13156 0 0 1642 107 5 2 20 0 15 0 222844183 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140344379214864 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14556] ppid=14495 vsize=11014496 memory=2072 CPUtime=0.9 cores=1,3,5,7
/proc/14498/task/14556/stat : 14556 (java) S 14495 14498 10336 0 -1 1077944384 39866 13156 0 0 76 7 5 2 20 0 15 0 222844184 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140343491102832 140344522369666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14557] ppid=14495 vsize=11014496 memory=1740 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14557/stat : 14557 (java) S 14495 14498 10336 0 -1 1077944384 24 13156 0 0 0 0 5 2 20 0 15 0 222844184 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140343357989728 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14558] ppid=14495 vsize=11014496 memory=4147388 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14558/stat : 14558 (java) S 14495 14498 10336 0 -1 1077944384 14 13156 0 0 0 0 5 2 20 0 15 0 222844185 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140343156663424 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14559] ppid=14495 vsize=11014496 memory=4147388 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14559/stat : 14559 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140342849263696 140344522377115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14560] ppid=14495 vsize=11014496 memory=6791534058613427641 CPUtime=11.27 cores=1,3,5,7
/proc/14498/task/14560/stat : 14560 (java) S 14495 14498 10336 0 -1 1077944384 23045 13156 0 0 1115 5 5 2 20 0 15 0 222844187 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140343490050672 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14561] ppid=14495 vsize=11014496 memory=11192 CPUtime=12.58 cores=1,3,5,7
/proc/14498/task/14561/stat : 14561 (java) S 14495 14498 10336 0 -1 1077944384 27591 13156 0 0 1245 6 5 2 20 0 15 0 222844187 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140343488997872 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14562] ppid=14495 vsize=11014496 memory=752 CPUtime=4.22 cores=1,3,5,7
/proc/14498/task/14562/stat : 14562 (java) S 14495 14498 10336 0 -1 1077944384 27550 13156 0 0 406 9 5 2 20 0 15 0 222844187 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140343487945584 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14563] ppid=14495 vsize=11014496 memory=1828 CPUtime=0.07 cores=1,3,5,7
/proc/14498/task/14563/stat : 14563 (java) S 14495 14498 10336 0 -1 1077944384 3 13156 0 0 0 0 5 2 20 0 15 0 222844187 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140342418467808 140344522368725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
[pid=14498/tid=14564] ppid=14495 vsize=11014496 memory=1120 CPUtime=1.3 cores=1,3,5,7
/proc/14498/task/14564/stat : 14564 (java) S 14495 14498 10336 0 -1 1077944384 2001 13156 0 0 58 65 5 2 20 0 15 0 222844188 11278843904 1036846 33554432000 4194304 4196468 140723993960368 140343486892464 140344522369666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31801344 140723993967203 140723993970012 140723993970012 140723993972687 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4147384 KiB

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

[startup+2438.65 s]
# the end of solver process 14498 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.53 s, system=5.57527 s

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

Child status: 143
Real time (s): 2438.65
CPU time (s): 2520.1
CPU user time (s): 2514.53
CPU system time (s): 5.57527
CPU usage (%): 103.34
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 4157632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.53
system time used= 5.57527
maximum resident set size= 4157632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550847
page faults= 1
swaps= 0
block input operations= 352
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74445
involuntary context switches= 2094


# summary of solver processes directly reported to runsolver:
#   pid: 14498
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2514.53
#   total CPU system time (s): 5.57527

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1227 second user time and 23.4146 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-12 07:46:50
IDJOB=4304282
IDBENCH=141153
IDSOLVER=2781
FILE ID=node107/4304282-1534052810
RUNJOBID= node107-1534039308-11489
PBS_JOBID= 21036970
Free space on /tmp= 39308 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304282-1534052810/watcher-4304282-1534052810 -o /tmp/evaluation-result-4304282-1534052810/solver-4304282-1534052810 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534039308-11489 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1220062493 -superng HOME/instance-4304282-1534052810.xml

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

MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193
RANDOM SEED=1220062493

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23276316 kB
MemAvailable:   30399660 kB
Buffers:          190544 kB
Cached:          7124676 kB
SwapCached:            0 kB
Active:          5191968 kB
Inactive:        3680824 kB
Active(anon):    1506644 kB
Inactive(anon):   103432 kB
Active(file):    3685324 kB
Inactive(file):  3577392 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26660 kB
Writeback:             0 kB
AnonPages:       1564580 kB
Mapped:            64872 kB
Shmem:             49804 kB
Slab:             317784 kB
SReclaimable:     289088 kB
SUnreclaim:        28696 kB
KernelStack:        3536 kB
PageTables:         8584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2565108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1333248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39280 MiB
End job on node107 at 2018-08-12 08:27:29