Trace number 4302932

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)1425801 252.159 197.053

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1964667
Best CPU time to get the best result obtained on this benchmark252.102
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints300
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}]
Minimum constraint arity17
Maximum constraint arity46
Distribution of constraint arities[{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":300}]
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
48.33/26.16	o 1078785
48.97/26.53	o 1082634
48.97/26.56	o 1084642
48.97/26.59	o 1089973
52.31/27.84	o 1090012
52.31/27.86	o 1090016
52.31/27.88	o 1090398
52.31/27.90	o 1090402
52.57/27.91	o 1091220
52.57/27.93	o 1091741
52.57/27.94	o 1092870
52.57/27.95	o 1093189
52.57/27.97	o 1093194
52.57/27.98	o 1093337
59.36/31.76	o 1093548
59.36/31.77	o 1093934
59.36/31.79	o 1094065
59.46/31.81	o 1094136
59.46/31.82	o 1094813
59.46/31.83	o 1096624
59.46/31.85	o 1098356
59.46/31.86	o 1101578
59.46/31.88	o 1101584
59.58/31.91	o 1102013
59.58/31.92	o 1102530
59.58/31.95	o 1103989
59.58/31.97	o 1106007
59.58/31.98	o 1108746
59.58/32.00	o 1109484
59.73/32.01	o 1109488
59.73/32.03	o 1112176
68.75/38.35	o 1112448
68.75/38.37	o 1112591
82.07/47.68	o 1112817
82.07/47.70	o 1112866
82.17/47.71	o 1113061
82.17/47.72	o 1113109
82.17/47.74	o 1114258
82.17/47.75	o 1114785
82.17/47.77	o 1115252
82.17/47.78	o 1115816
82.17/47.79	o 1116366
82.28/47.81	o 1116373
82.28/47.82	o 1116917
82.28/47.84	o 1118741
82.28/47.85	o 1120749
82.28/47.87	o 1120957
82.28/47.88	o 1123396
82.38/47.90	o 1125513
82.38/47.91	o 1128135
82.38/47.93	o 1129371
83.11/48.16	o 1129420
83.11/48.17	o 1131428
83.11/48.19	o 1131518
83.32/48.20	o 1133912
83.32/48.22	o 1134196
83.32/48.24	o 1135049
83.32/48.25	o 1137488
83.32/48.27	o 1141681
83.32/48.28	o 1142917
83.42/48.30	o 1143551
83.42/48.33	o 1145337
83.42/48.37	o 1146087
83.42/48.38	o 1149067
83.54/48.40	o 1150480
83.54/48.43	o 1151035
83.54/48.44	o 1151502
83.54/48.46	o 1151602
83.54/48.47	o 1152508
83.54/48.48	o 1152703
83.54/48.50	o 1155770
83.64/48.51	o 1155877
83.64/48.52	o 1156404
83.64/48.54	o 1156723
83.64/48.59	o 1156738
83.74/48.60	o 1159429
83.74/48.61	o 1159477
83.74/48.63	o 1159536
83.74/48.64	o 1159882
83.74/48.66	o 1160432
83.74/48.67	o 1160627
83.74/48.69	o 1161315
83.85/48.70	o 1163626
83.85/48.71	o 1164153
83.85/48.73	o 1164620
83.95/48.84	o 1167677
83.95/48.85	o 1168227
83.95/48.87	o 1176278
83.95/48.88	o 1176326
84.05/48.90	o 1179378
84.05/48.91	o 1180365
84.05/48.93	o 1180735
84.05/48.94	o 1182097
84.17/49.03	o 1182571
84.17/49.05	o 1183685
84.17/49.09	o 1186367
84.17/49.10	o 1186678
84.29/49.12	o 1187294
84.48/49.30	o 1188508
84.48/49.32	o 1189492
84.48/49.33	o 1191042
84.48/49.35	o 1191586
84.48/49.36	o 1192573
92.10/55.48	o 1192891
92.10/55.49	o 1193034
92.20/55.50	o 1193258
92.20/55.52	o 1195276
92.20/55.54	o 1198209
92.20/55.55	o 1201761
92.20/55.57	o 1202395
92.20/55.58	o 1202477
92.20/55.59	o 1202968
92.30/55.61	o 1203111
92.30/55.62	o 1203370
92.30/55.64	o 1205102
92.30/55.65	o 1206193
92.30/55.67	o 1206336
92.30/55.68	o 1207000
92.40/55.70	o 1210067
92.40/55.71	o 1213770
92.40/55.73	o 1214287
92.40/55.74	o 1215684
92.40/55.75	o 1218902
92.40/55.77	o 1218906
92.40/55.79	o 1219425
92.50/55.80	o 1221112
92.50/55.82	o 1222039
92.50/55.85	o 1224245
92.50/55.87	o 1224934
92.50/55.88	o 1225077
92.61/55.90	o 1225314
92.61/55.91	o 1226439
92.61/55.98	o 1226713
92.61/55.99	o 1229024
92.61/56.01	o 1229101
92.72/56.02	o 1229759
92.72/56.03	o 1230226
92.72/56.05	o 1232965
92.84/56.12	o 1232997
92.84/56.14	o 1233464
92.84/56.15	o 1235377
92.84/56.17	o 1237535
92.84/56.18	o 1238649
92.84/56.19	o 1240667
92.93/56.21	o 1241356
93.04/56.30	o 1241537
93.04/56.32	o 1242651
93.04/56.33	o 1243912
93.04/56.34	o 1244439
93.36/56.67	o 1244750
93.36/56.68	o 1245841
105.86/67.23	o 1246979
105.86/67.24	o 1247110
105.86/67.25	o 1248534
105.86/67.27	o 1248538
105.86/67.28	o 1250334
105.96/67.30	o 1251491
105.96/67.31	o 1251561
105.96/67.32	o 1251862
105.96/67.34	o 1257575
105.96/67.35	o 1259409
105.96/67.37	o 1260771
105.96/67.38	o 1261460
106.06/67.40	o 1263986
106.06/67.41	o 1264029
106.06/67.43	o 1264546
106.06/67.44	o 1264766
106.06/67.46	o 1265455
106.06/67.48	o 1266270
106.06/67.49	o 1266654
106.16/67.50	o 1266797
106.16/67.52	o 1267787
106.16/67.53	o 1272953
106.16/67.55	o 1276178
106.16/67.57	o 1278721
106.16/67.58	o 1280185
106.26/67.60	o 1280292
106.26/67.61	o 1281421
106.26/67.62	o 1283410
106.26/67.64	o 1284646
106.26/67.66	o 1284809
106.26/67.69	o 1285880
106.36/67.70	o 1287393
106.46/67.88	o 1294589
106.56/67.90	o 1299524
106.56/67.91	o 1300673
106.56/67.95	o 1301233
106.69/68.01	o 1302179
107.63/68.90	o 1303631
107.63/68.91	o 1306691
108.45/69.54	o 1306873
108.45/69.55	o 1307196
108.45/69.57	o 1310488
108.45/69.58	o 1311637
111.67/72.36	o 1312253
111.67/72.37	o 1312298
111.67/72.38	o 1312302
111.78/72.40	o 1314160
111.78/72.42	o 1316346
111.78/72.44	o 1317862
111.78/72.45	o 1318789
111.78/72.47	o 1318938
111.78/72.48	o 1318998
111.78/72.49	o 1319465
111.89/72.52	o 1320397
111.89/72.55	o 1321310
111.89/72.56	o 1323121
112.00/72.62	o 1323269
112.00/72.67	o 1326336
112.00/72.68	o 1326340
112.00/72.70	o 1327086
112.55/73.03	o 1327526
112.55/73.04	o 1329842
112.55/73.05	o 1331078
113.64/74.01	o 1331984
113.64/74.02	o 1333272
115.23/75.17	o 1333295
115.44/75.38	o 1333449
115.44/75.39	o 1334195
147.11/103.31	o 1334218
147.11/103.32	o 1334361
147.11/103.34	o 1335621
147.11/103.35	o 1336237
147.11/103.38	o 1339253
148.49/104.62	o 1339636
148.49/104.63	o 1341443
148.49/104.65	o 1342703
160.06/114.78	o 1342718
160.06/114.80	o 1343185
160.27/114.91	o 1345479
160.27/114.92	o 1346029
160.27/114.93	o 1346496
160.27/114.96	o 1348284
160.37/115.07	o 1348609
160.37/115.08	o 1350726
160.49/115.13	o 1352287
160.83/115.28	o 1354604
160.83/115.30	o 1355694
161.11/115.31	o 1355825
164.72/118.61	o 1357539
169.23/122.68	o 1357925
169.23/122.69	o 1358311
169.34/122.71	o 1359397
169.34/122.72	o 1360759
169.34/122.77	o 1361198
169.34/122.79	o 1363057
169.45/122.86	o 1363155
169.45/122.89	o 1363594
169.55/122.90	o 1365453
171.49/124.74	o 1365658
171.49/124.76	o 1365848
171.49/124.77	o 1368084
171.49/124.78	o 1368978
171.59/124.80	o 1370092
172.43/125.29	o 1371044
172.55/125.30	o 1373106
172.55/125.32	o 1374220
172.55/125.33	o 1374966
172.98/125.75	o 1377377
172.98/125.76	o 1379182
172.98/125.77	o 1379372
172.98/125.79	o 1383616
174.50/127.12	o 1386990
227.47/173.99	o 1387125
227.77/174.25	o 1388205
227.77/174.27	o 1389669
227.88/174.38	o 1394768
227.88/174.39	o 1395611
228.38/174.53	o 1396865
228.38/174.54	o 1397849
229.68/175.71	o 1398737
229.68/175.73	o 1403884
229.68/175.74	o 1407014
229.68/175.76	o 1410081
229.68/175.77	o 1411228
229.68/175.79	o 1413141
231.67/177.66	o 1418972
231.67/177.67	o 1419115
235.22/181.03	o 1421847
235.22/181.04	o 1422463
235.22/181.06	o 1423449
235.22/181.07	o 1424376
236.76/182.23	o 1425476
240.53/185.83	o 1425801
252.09/197.01	Exception in thread "main" java.util.concurrent.TimeoutException
252.09/197.01		at concrete.MAC.mac(MAC.scala:188)
252.09/197.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.09/197.01		at scala.util.Try$.apply(Try.scala:209)
252.09/197.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.09/197.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.09/197.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.09/197.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.09/197.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.09/197.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.09/197.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.09/197.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.09/197.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.09/197.01		at concrete.MAC.oneRun(MAC.scala:253)
252.09/197.01		at concrete.MAC.nextSolution(MAC.scala:272)
252.09/197.01		at concrete.MAC.nextSolution(MAC.scala:355)
252.09/197.01		at concrete.Solver.hasNext(Solver.scala:166)
252.09/197.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.09/197.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.09/197.01		at concrete.Solver.foreach(Solver.scala:68)
252.09/197.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.09/197.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.09/197.01		at scala.util.Success.map(Try.scala:209)
252.09/197.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.09/197.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.09/197.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.09/197.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.09/197.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.09/197.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.09/197.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.09/197.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.09/197.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.09/197.01		at scala.collection.immutable.List.foreach(List.scala:389)
252.09/197.01		at scala.App.main(App.scala:76)
252.09/197.01		at scala.App.main$(App.scala:74)
252.09/197.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.09/197.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.09/197.02	v <instantiation cost="1425801">
252.09/197.02	v       <list>
252.09/197.02	v         b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
252.09/197.02	v       </list>
252.09/197.02	v       <values>
252.09/197.02	v         0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 1 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 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
252.09/197.02	v       </values>
252.09/197.02	v     </instantiation>
252.09/197.02	s SATISFIABLE

Verifier Data 

OK	1425801

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302932-1532895302/watcher-4302932-1532895302 -o /tmp/evaluation-result-4302932-1532895302/solver-4302932-1532895302 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2023323453 -superng HOME/instance-4302932-1532895302.xml 

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

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


[startup+0.100171 s]*
/proc/loadavg: 1.97 1.98 1.90 4/206 16921
/proc/meminfo: memFree=19886256/32770624 swapFree=67108404/67108860
[pid=16864] ppid=16861 vsize=10005480 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/16864/stat : 16864 (java) S 16861 16864 12222 0 -1 1077944320 4421 13021 0 0 1 0 5 2 20 0 6 0 107093396 10245611520 4270 33554432000 4194304 4196468 140730753975712 140730753958256 140588781051639 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
/proc/16864/statm: 2501370 4270 1935 1 0 2489808 0
[pid=16864/tid=16917] ppid=16861 vsize=10005480 memory=4279135703913364878 CPUtime=0.08 cores=1,3,5,7
/proc/16864/task/16917/stat : 16917 (java) R 16861 16864 12222 0 -1 4202560 2253 13021 0 0 1 0 5 2 20 0 6 0 107093405 10245611520 4270 33554432000 4194304 4196468 140730753975712 140588752888400 140588760353168 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16918] ppid=16861 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16918/stat : 16918 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 6 0 107093405 10245611520 4270 33554432000 4194304 4196468 140730753975712 140588785294480 140588781061845 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16919] ppid=16861 vsize=10005480 memory=140344010999424 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16919/stat : 16919 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 6 0 107093406 10245611520 4270 33554432000 4194304 4196468 140730753975712 140588650630160 140588781061845 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16920] ppid=16861 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16920/stat : 16920 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 6 0 107093406 10245611520 4336 33554432000 4194304 4196468 140730753975712 140588649577360 140588781061845 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16921] ppid=16861 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16921/stat : 16921 (java) S 16861 16864 12222 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 6 0 107093406 10245611520 4336 33554432000 4194304 4196468 140730753975712 140588648524560 140588781061845 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB

[startup+0.209822 s]*
/proc/loadavg: 2.05 1.99 1.91 3/215 16930
/proc/meminfo: memFree=19864244/32770624 swapFree=67108404/67108860
[pid=16864] ppid=16861 vsize=10982744 memory=45484 CPUtime=0.25 cores=1,3,5,7
/proc/16864/stat : 16864 (java) S 16861 16864 12222 0 -1 1077944320 8087 13021 0 0 16 2 5 2 20 0 15 0 107093396 11246329856 11371 33554432000 4194304 4196468 140730753975712 140730753958256 140588781051639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
/proc/16864/statm: 2745686 11371 2955 1 0 2708109 0
[pid=16864/tid=16917] ppid=16861 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/16864/task/16917/stat : 16917 (java) R 16861 16864 12222 0 -1 4202560 4672 13021 0 0 11 1 5 2 20 0 15 0 107093405 11246329856 11371 33554432000 4194304 4196468 140730753975712 140588752866880 140588781073565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16918] ppid=16861 vsize=10982744 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16918/stat : 16918 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093405 11246329856 11371 33554432000 4194304 4196468 140730753975712 140588785294480 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16919] ppid=16861 vsize=10982744 memory=3619122613561853600 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16919/stat : 16919 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093406 11246329856 11371 33554432000 4194304 4196468 140730753975712 140588650630160 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16920] ppid=16861 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16920/stat : 16920 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093406 11246329856 11371 33554432000 4194304 4196468 140730753975712 140588649577360 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16921] ppid=16861 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16921/stat : 16921 (java) S 16861 16864 12222 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 107093406 11246329856 11371 33554432000 4194304 4196468 140730753975712 140588648524560 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16922] ppid=16861 vsize=10982744 memory=140344010999424 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16922/stat : 16922 (java) S 16861 16864 12222 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 107093407 11246329856 11371 33554432000 4194304 4196468 140730753975712 140588206553456 140588781062786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16923] ppid=16861 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16923/stat : 16923 (java) S 16861 16864 12222 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 107093407 11246329856 11371 33554432000 4194304 4196468 140730753975712 140587580777504 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16924] ppid=16861 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16924/stat : 16924 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093408 11246329856 11371 33554432000 4194304 4196468 140730753975712 140587432928112 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16925] ppid=16861 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16925/stat : 16925 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093410 11246329856 11371 33554432000 4194304 4196468 140730753975712 140587125528400 140588781070235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16926] ppid=16861 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16864/task/16926/stat : 16926 (java) S 16861 16864 12222 0 -1 1077944384 468 13021 0 0 1 0 5 2 20 0 15 0 107093410 11246329856 11371 33554432000 4194304 4196468 140730753975712 140588205501296 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16927] ppid=16861 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16927/stat : 16927 (java) S 16861 16864 12222 0 -1 1077944384 120 13021 0 0 0 0 5 2 20 0 15 0 107093410 11246329856 11371 33554432000 4194304 4196468 140730753975712 140588204448496 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16928] ppid=16861 vsize=10982744 memory=140344010999424 CPUtime=0.09 cores=1,3,5,7
/proc/16864/task/16928/stat : 16928 (java) S 16861 16864 12222 0 -1 1077944384 611 13021 0 0 2 0 5 2 20 0 15 0 107093410 11246329856 11371 33554432000 4194304 4196468 140730753975712 140588203395696 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16929] ppid=16861 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16929/stat : 16929 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093411 11246329856 11371 33554432000 4194304 4196468 140730753975712 140586694732512 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16930] ppid=16861 vsize=10982744 memory=140344010999424 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16930/stat : 16930 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093411 11246329856 11371 33554432000 4194304 4196468 140730753975712 140588202343088 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45484 KiB

[startup+0.310223 s]*
/proc/loadavg: 2.05 1.99 1.91 6/215 16930
/proc/meminfo: memFree=19852336/32770624 swapFree=67108404/67108860
[pid=16864] ppid=16861 vsize=10983192 memory=56216 CPUtime=0.37 cores=1,3,5,7
/proc/16864/stat : 16864 (java) S 16861 16864 12222 0 -1 1077944320 10594 13021 0 0 27 3 5 2 20 0 15 0 107093396 11246788608 14054 33554432000 4194304 4196468 140730753975712 140730753958256 140588781051639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
/proc/16864/statm: 2745798 14054 3074 1 0 2708109 0
[pid=16864/tid=16917] ppid=16861 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/16864/task/16917/stat : 16917 (java) R 16861 16864 12222 0 -1 4202560 7176 13021 0 0 19 2 5 2 20 0 15 0 107093405 11246788608 14054 33554432000 4194304 4196468 140730753975712 140588752863648 140588765132126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16918] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16918/stat : 16918 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093405 11246788608 14054 33554432000 4194304 4196468 140730753975712 140588785294480 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16919] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16919/stat : 16919 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093406 11246788608 14054 33554432000 4194304 4196468 140730753975712 140588650630160 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16920] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16920/stat : 16920 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093406 11246788608 14054 33554432000 4194304 4196468 140730753975712 140588649577360 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16921] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16921/stat : 16921 (java) S 16861 16864 12222 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 107093406 11246788608 14054 33554432000 4194304 4196468 140730753975712 140588648524560 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16922] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16922/stat : 16922 (java) S 16861 16864 12222 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 107093407 11246788608 14054 33554432000 4194304 4196468 140730753975712 140588206553456 140588781062786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16923] ppid=16861 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16923/stat : 16923 (java) S 16861 16864 12222 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 107093407 11246788608 14054 33554432000 4194304 4196468 140730753975712 140587580777504 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16924] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16924/stat : 16924 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093408 11246788608 14054 33554432000 4194304 4196468 140730753975712 140587432928112 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16925] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16925/stat : 16925 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093410 11246788608 14054 33554432000 4194304 4196468 140730753975712 140587125528400 140588781070235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16926] ppid=16861 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16864/task/16926/stat : 16926 (java) S 16861 16864 12222 0 -1 1077944384 468 13021 0 0 2 0 5 2 20 0 15 0 107093410 11246788608 14054 33554432000 4194304 4196468 140730753975712 140588205501296 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16927] ppid=16861 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16864/task/16927/stat : 16927 (java) S 16861 16864 12222 0 -1 1077944384 123 13021 0 0 1 0 5 2 20 0 15 0 107093410 11246788608 14054 33554432000 4194304 4196468 140730753975712 140588204448496 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16928] ppid=16861 vsize=10983192 memory=140344010999424 CPUtime=0.11 cores=1,3,5,7
/proc/16864/task/16928/stat : 16928 (java) R 16861 16864 12222 0 -1 4202560 617 13021 0 0 4 0 5 2 20 0 15 0 107093410 11246788608 14054 33554432000 4194304 4196468 140730753975712 140588203395696 140588766127278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16929] ppid=16861 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16929/stat : 16929 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093411 11246788608 14054 33554432000 4194304 4196468 140730753975712 140586694732512 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16930] ppid=16861 vsize=10983192 memory=140344010999424 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16930/stat : 16930 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093411 11246788608 14054 33554432000 4194304 4196468 140730753975712 140588202343088 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56216 KiB

[startup+0.700689 s]
/proc/loadavg: 2.05 1.99 1.91 3/199 16932
/proc/meminfo: memFree=23836124/32770624 swapFree=67108404/67108860
[pid=16864] ppid=16861 vsize=10983192 memory=88640 CPUtime=0.98 cores=1,3,5,7
/proc/16864/stat : 16864 (java) S 16861 16864 12222 0 -1 1077944320 16752 13021 0 0 86 5 5 2 20 0 15 0 107093396 11246788608 22160 33554432000 4194304 4196468 140730753975712 140730753958256 140588781051639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
/proc/16864/statm: 2745798 22160 3243 1 0 2708109 0
[pid=16864/tid=16917] ppid=16861 vsize=10983192 memory=140343895005116 CPUtime=0.66 cores=1,3,5,7
/proc/16864/task/16917/stat : 16917 (java) R 16861 16864 12222 0 -1 4202560 12250 13021 0 0 56 3 5 2 20 0 15 0 107093405 11246788608 22160 33554432000 4194304 4196468 140730753975712 140588752872464 140588781073565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16918] ppid=16861 vsize=10983192 memory=280687790018432 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16918/stat : 16918 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093405 11246788608 22160 33554432000 4194304 4196468 140730753975712 140588785294480 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16919] ppid=16861 vsize=10983192 memory=3472328296227679313 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16919/stat : 16919 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093406 11246788608 22160 33554432000 4194304 4196468 140730753975712 140588650630160 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16920] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16920/stat : 16920 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093406 11246788608 22160 33554432000 4194304 4196468 140730753975712 140588649577360 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16921] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16921/stat : 16921 (java) S 16861 16864 12222 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 107093406 11246788608 22160 33554432000 4194304 4196468 140730753975712 140588648524560 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16922] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16922/stat : 16922 (java) S 16861 16864 12222 0 -1 1077944384 5 13021 0 0 0 0 5 2 20 0 15 0 107093407 11246788608 22160 33554432000 4194304 4196468 140730753975712 140588206553456 140588781062786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16923] ppid=16861 vsize=10983192 memory=3472468639314286407 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16923/stat : 16923 (java) S 16861 16864 12222 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 107093407 11246788608 22160 33554432000 4194304 4196468 140730753975712 140587580777504 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16924] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16924/stat : 16924 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093408 11246788608 22160 33554432000 4194304 4196468 140730753975712 140587432928112 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16925] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16925/stat : 16925 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093410 11246788608 22160 33554432000 4194304 4196468 140730753975712 140587125528400 140588781070235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16926] ppid=16861 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/16864/task/16926/stat : 16926 (java) S 16861 16864 12222 0 -1 1077944384 1049 13021 0 0 9 0 5 2 20 0 15 0 107093410 11246788608 22160 33554432000 4194304 4196468 140730753975712 140588205501296 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16927] ppid=16861 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/16864/task/16927/stat : 16927 (java) S 16861 16864 12222 0 -1 1077944384 541 13021 0 0 7 0 5 2 20 0 15 0 107093410 11246788608 22160 33554432000 4194304 4196468 140730753975712 140588204448496 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16928] ppid=16861 vsize=10983192 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/16864/task/16928/stat : 16928 (java) R 16861 16864 12222 0 -1 4202560 688 13021 0 0 12 0 5 2 20 0 15 0 107093410 11246788608 22160 33554432000 4194304 4196468 140730753975712 140588203395696 140588765296796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16929] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16929/stat : 16929 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093411 11246788608 22160 33554432000 4194304 4196468 140730753975712 140586694732512 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16930] ppid=16861 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16930/stat : 16930 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093411 11246788608 22160 33554432000 4194304 4196468 140730753975712 140588202343088 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88640 KiB

[startup+1.50069 s]
/proc/loadavg: 2.05 1.99 1.91 6/214 16961
/proc/meminfo: memFree=23736028/32770624 swapFree=67108404/67108860
[pid=16864] ppid=16861 vsize=10998092 memory=202684 CPUtime=2.83 cores=1,3,5,7
/proc/16864/stat : 16864 (java) S 16861 16864 12222 0 -1 1077944320 26071 13021 0 0 264 12 5 2 20 0 15 0 107093396 11262046208 50671 33554432000 4194304 4196468 140730753975712 140730753958256 140588781051639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
/proc/16864/statm: 2749523 50671 3471 1 0 2711181 0
[pid=16864/tid=16917] ppid=16861 vsize=10998092 memory=6656426216303648864 CPUtime=1.42 cores=1,3,5,7
/proc/16864/task/16917/stat : 16917 (java) R 16861 16864 12222 0 -1 4202560 17024 13021 0 0 128 7 5 2 20 0 15 0 107093405 11262046208 50671 33554432000 4194304 4196468 140730753975712 140588752859504 140588781073565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16918] ppid=16861 vsize=10998092 memory=-3472574515500900738 CPUtime=0.08 cores=1,3,5,7
/proc/16864/task/16918/stat : 16918 (java) S 16861 16864 12222 0 -1 1077944384 163 13021 0 0 1 0 5 2 20 0 15 0 107093405 11262046208 50671 33554432000 4194304 4196468 140730753975712 140588785294480 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16919] ppid=16861 vsize=10998092 memory=107547900 CPUtime=0.08 cores=1,3,5,7
/proc/16864/task/16919/stat : 16919 (java) S 16861 16864 12222 0 -1 1077944384 22 13021 0 0 1 0 5 2 20 0 15 0 107093406 11262046208 50671 33554432000 4194304 4196468 140730753975712 140588650630160 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16920] ppid=16861 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16864/task/16920/stat : 16920 (java) S 16861 16864 12222 0 -1 1077944384 62 13021 0 0 1 0 5 2 20 0 15 0 107093406 11262046208 50671 33554432000 4194304 4196468 140730753975712 140588649577360 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16921] ppid=16861 vsize=10998092 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/16864/task/16921/stat : 16921 (java) S 16861 16864 12222 0 -1 1077944384 25 13021 0 0 1 0 5 2 20 0 15 0 107093406 11262046208 50671 33554432000 4194304 4196468 140730753975712 140588648524560 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16922] ppid=16861 vsize=10998092 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/16864/task/16922/stat : 16922 (java) S 16861 16864 12222 0 -1 1077944384 47 13021 0 0 1 0 5 2 20 0 15 0 107093407 11262046208 50671 33554432000 4194304 4196468 140730753975712 140588206553456 140588781062786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16923] ppid=16861 vsize=10998092 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16923/stat : 16923 (java) S 16861 16864 12222 0 -1 1077944384 14 13021 0 0 0 0 5 2 20 0 15 0 107093407 11262046208 50671 33554432000 4194304 4196468 140730753975712 140587580777568 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16924] ppid=16861 vsize=10998092 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16924/stat : 16924 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093408 11262046208 50671 33554432000 4194304 4196468 140730753975712 140587432928128 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16925] ppid=16861 vsize=10998092 memory=3472328296227679313 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16925/stat : 16925 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093410 11262046208 50671 33554432000 4194304 4196468 140730753975712 140587125528400 140588781070235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16926] ppid=16861 vsize=10998092 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/16864/task/16926/stat : 16926 (java) S 16861 16864 12222 0 -1 1077944384 3021 13021 0 0 44 0 5 2 20 0 15 0 107093410 11262046208 50671 33554432000 4194304 4196468 140730753975712 140588205501296 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16927] ppid=16861 vsize=10998092 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/16864/task/16927/stat : 16927 (java) S 16861 16864 12222 0 -1 1077944384 1842 13021 0 0 42 1 5 2 20 0 15 0 107093410 11262046208 50671 33554432000 4194304 4196468 140730753975712 140588204448496 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16928] ppid=16861 vsize=10998092 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/16864/task/16928/stat : 16928 (java) S 16861 16864 12222 0 -1 1077944384 1650 13021 0 0 39 1 5 2 20 0 15 0 107093410 11262046208 50671 33554432000 4194304 4196468 140730753975712 140588203395696 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16929] ppid=16861 vsize=10998092 memory=3472468639314286407 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16929/stat : 16929 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093411 11262046208 50671 33554432000 4194304 4196468 140730753975712 140586694732512 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16930] ppid=16861 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16930/stat : 16930 (java) S 16861 16864 12222 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 107093411 11262046208 50671 33554432000 4194304 4196468 140730753975712 140588202343088 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 10998092 KiB

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

/proc/16864/task/16917/stat : 16917 (java) R 16861 16864 12222 0 -1 4202560 45830 13021 0 0 4527 18 5 2 20 0 15 0 107093405 11278843904 708732 33554432000 4194304 4196468 140730753975712 140588752883664 140588344415258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16918] ppid=16861 vsize=11014496 memory=2834928 CPUtime=5.14 cores=1,3,5,7
/proc/16864/task/16918/stat : 16918 (java) S 16861 16864 12222 0 -1 1077944384 2376 13021 0 0 441 66 5 2 20 0 15 0 107093405 11278843904 708732 33554432000 4194304 4196468 140730753975712 140588785294480 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16919] ppid=16861 vsize=11014496 memory=2681004 CPUtime=5.13 cores=1,3,5,7
/proc/16864/task/16919/stat : 16919 (java) S 16861 16864 12222 0 -1 1077944384 2480 13021 0 0 440 66 5 2 20 0 15 0 107093406 11278843904 708732 33554432000 4194304 4196468 140730753975712 140588650630160 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16920] ppid=16861 vsize=11014496 memory=2687444 CPUtime=5.11 cores=1,3,5,7
/proc/16864/task/16920/stat : 16920 (java) S 16861 16864 12222 0 -1 1077944384 3218 13021 0 0 438 66 5 2 20 0 15 0 107093406 11278843904 708732 33554432000 4194304 4196468 140730753975712 140588649577360 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16921] ppid=16861 vsize=11014496 memory=4012 CPUtime=5.09 cores=1,3,5,7
/proc/16864/task/16921/stat : 16921 (java) S 16861 16864 12222 0 -1 1077944384 4158 13021 0 0 437 65 5 2 20 0 15 0 107093406 11278843904 708732 33554432000 4194304 4196468 140730753975712 140588648524560 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16922] ppid=16861 vsize=11014496 memory=140343895179992 CPUtime=0.42 cores=1,3,5,7
/proc/16864/task/16922/stat : 16922 (java) S 16861 16864 12222 0 -1 1077944384 7479 13021 0 0 34 1 5 2 20 0 15 0 107093407 11278843904 708732 33554432000 4194304 4196468 140730753975712 140588206553456 140588781062786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16923] ppid=16861 vsize=11014496 memory=7595440001688102255 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16923/stat : 16923 (java) S 16861 16864 12222 0 -1 1077944384 25 13021 0 0 0 0 5 2 20 0 15 0 107093407 11278843904 708732 33554432000 4194304 4196468 140730753975712 140587580777568 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16924] ppid=16861 vsize=11014496 memory=280687790267216 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16924/stat : 16924 (java) S 16861 16864 12222 0 -1 1077944384 16 13021 0 0 0 0 5 2 20 0 15 0 107093408 11278843904 708732 33554432000 4194304 4196468 140730753975712 140587432928128 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16925] ppid=16861 vsize=11014496 memory=4785447778361108792 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16925/stat : 16925 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093410 11278843904 708732 33554432000 4194304 4196468 140730753975712 140587125528400 140588781070235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16926] ppid=16861 vsize=11014496 memory=3907805407563754032 CPUtime=9.43 cores=1,3,5,7
/proc/16864/task/16926/stat : 16926 (java) S 16861 16864 12222 0 -1 1077944384 17592 13021 0 0 933 3 5 2 20 0 15 0 107093410 11278843904 708732 33554432000 4194304 4196468 140730753975712 140588205501296 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16927] ppid=16861 vsize=11014496 memory=4012 CPUtime=8.77 cores=1,3,5,7
/proc/16864/task/16927/stat : 16927 (java) S 16861 16864 12222 0 -1 1077944384 11673 13021 0 0 868 2 5 2 20 0 15 0 107093410 11278843904 708732 33554432000 4194304 4196468 140730753975712 140588204448496 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16928] ppid=16861 vsize=11014496 memory=30560 CPUtime=2.86 cores=1,3,5,7
/proc/16864/task/16928/stat : 16928 (java) S 16861 16864 12222 0 -1 1077944384 15302 13021 0 0 274 5 5 2 20 0 15 0 107093410 11278843904 708732 33554432000 4194304 4196468 140730753975712 140588203395696 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16929] ppid=16861 vsize=11014496 memory=2396 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16929/stat : 16929 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093411 11278843904 708732 33554432000 4194304 4196468 140730753975712 140586694732512 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16930] ppid=16861 vsize=11014496 memory=2175056 CPUtime=0.09 cores=1,3,5,7
/proc/16864/task/16930/stat : 16930 (java) S 16861 16864 12222 0 -1 1077944384 514 13021 0 0 1 1 5 2 20 0 15 0 107093411 11278843904 708732 33554432000 4194304 4196468 140730753975712 140588202343088 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
Current children cumulated CPU time: 87.04 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2834928 KiB

[startup+102.301 s]
/proc/loadavg: 2.12 2.06 1.95 3/215 17059
/proc/meminfo: memFree=18454088/32770624 swapFree=67108404/67108860
[pid=16864] ppid=16861 vsize=11014496 memory=3179624 CPUtime=146.02 cores=1,3,5,7
/proc/16864/stat : 16864 (java) S 16861 16864 12222 0 -1 1077944320 119467 13021 0 0 14256 339 5 2 20 0 15 0 107093396 11278843904 794906 33554432000 4194304 4196468 140730753975712 140730753958256 140588781051639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
/proc/16864/statm: 2753624 794906 3534 1 0 2715277 0
[pid=16864/tid=16917] ppid=16861 vsize=11014496 memory=3031372 CPUtime=95.27 cores=1,3,5,7
/proc/16864/task/16917/stat : 16917 (java) R 16861 16864 12222 0 -1 4202560 47303 13021 0 0 9500 20 5 2 20 0 15 0 107093405 11278843904 794906 33554432000 4194304 4196468 140730753975712 140588752885728 140588343013803 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16918] ppid=16861 vsize=11014496 memory=646 CPUtime=6.56 cores=1,3,5,7
/proc/16864/task/16918/stat : 16918 (java) S 16861 16864 12222 0 -1 1077944384 2972 13021 0 0 574 75 5 2 20 0 15 0 107093405 11278843904 794906 33554432000 4194304 4196468 140730753975712 140588785294480 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16919] ppid=16861 vsize=11014496 memory=3140412 CPUtime=6.55 cores=1,3,5,7
/proc/16864/task/16919/stat : 16919 (java) S 16861 16864 12222 0 -1 1077944384 2854 13021 0 0 574 74 5 2 20 0 15 0 107093406 11278843904 794906 33554432000 4194304 4196468 140730753975712 140588650630160 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16920] ppid=16861 vsize=11014496 memory=4012 CPUtime=6.53 cores=1,3,5,7
/proc/16864/task/16920/stat : 16920 (java) S 16861 16864 12222 0 -1 1077944384 3675 13021 0 0 571 75 5 2 20 0 15 0 107093406 11278843904 794906 33554432000 4194304 4196468 140730753975712 140588649577360 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16921] ppid=16861 vsize=11014496 memory=12402 CPUtime=6.51 cores=1,3,5,7
/proc/16864/task/16921/stat : 16921 (java) S 16861 16864 12222 0 -1 1077944384 5625 13021 0 0 570 74 5 2 20 0 15 0 107093406 11278843904 794906 33554432000 4194304 4196468 140730753975712 140588648524560 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16922] ppid=16861 vsize=11014496 memory=7654 CPUtime=0.44 cores=1,3,5,7
/proc/16864/task/16922/stat : 16922 (java) S 16861 16864 12222 0 -1 1077944384 7679 13021 0 0 36 1 5 2 20 0 15 0 107093407 11278843904 794906 33554432000 4194304 4196468 140730753975712 140588206553456 140588781062786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16923] ppid=16861 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16923/stat : 16923 (java) S 16861 16864 12222 0 -1 1077944384 25 13021 0 0 0 0 5 2 20 0 15 0 107093407 11278843904 794906 33554432000 4194304 4196468 140730753975712 140587580777568 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16924] ppid=16861 vsize=11014496 memory=590024333639184180 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16924/stat : 16924 (java) S 16861 16864 12222 0 -1 1077944384 16 13021 0 0 0 0 5 2 20 0 15 0 107093408 11278843904 794906 33554432000 4194304 4196468 140730753975712 140587432928128 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16925] ppid=16861 vsize=11014496 memory=3173480 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16925/stat : 16925 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093410 11278843904 794906 33554432000 4194304 4196468 140730753975712 140587125528400 140588781070235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16926] ppid=16861 vsize=11014496 memory=3080896 CPUtime=11.06 cores=1,3,5,7
/proc/16864/task/16926/stat : 16926 (java) S 16861 16864 12222 0 -1 1077944384 18885 13021 0 0 1095 4 5 2 20 0 15 0 107093410 11278843904 794906 33554432000 4194304 4196468 140730753975712 140588205501296 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16927] ppid=16861 vsize=11014496 memory=280687791206400 CPUtime=10.18 cores=1,3,5,7
/proc/16864/task/16927/stat : 16927 (java) S 16861 16864 12222 0 -1 1077944384 11980 13021 0 0 1008 3 5 2 20 0 15 0 107093410 11278843904 794906 33554432000 4194304 4196468 140730753975712 140588204448496 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16928] ppid=16861 vsize=11014496 memory=8387223549236478041 CPUtime=3.33 cores=1,3,5,7
/proc/16864/task/16928/stat : 16928 (java) S 16861 16864 12222 0 -1 1077944384 15736 13021 0 0 320 6 5 2 20 0 15 0 107093410 11278843904 794906 33554432000 4194304 4196468 140730753975712 140588203395696 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16929] ppid=16861 vsize=11014496 memory=30560 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16929/stat : 16929 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093411 11278843904 794906 33554432000 4194304 4196468 140730753975712 140586694732512 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16930] ppid=16861 vsize=11014496 memory=2396 CPUtime=0.12 cores=1,3,5,7
/proc/16864/task/16930/stat : 16930 (java) S 16861 16864 12222 0 -1 1077944384 518 13021 0 0 2 3 5 2 20 0 15 0 107093411 11278843904 794906 33554432000 4194304 4196468 140730753975712 140588202343088 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
Current children cumulated CPU time: 146.02 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3179624 KiB

[startup+162.301 s]
/proc/loadavg: 2.14 2.09 1.96 3/215 17060
/proc/meminfo: memFree=18262748/32770624 swapFree=67108404/67108860
[pid=16864] ppid=16861 vsize=11014496 memory=3327208 CPUtime=214.3 cores=1,3,5,7
/proc/16864/stat : 16864 (java) S 16861 16864 12222 0 -1 1077944320 135216 13021 0 0 21066 357 5 2 20 0 15 0 107093396 11278843904 831802 33554432000 4194304 4196468 140730753975712 140730753958256 140588781051639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
/proc/16864/statm: 2753624 831802 3534 1 0 2715277 0
[pid=16864/tid=16917] ppid=16861 vsize=11014496 memory=20403 CPUtime=154.05 cores=1,3,5,7
/proc/16864/task/16917/stat : 16917 (java) R 16861 16864 12222 0 -1 4202560 51401 13021 0 0 15378 20 5 2 20 0 15 0 107093405 11278843904 831802 33554432000 4194304 4196468 140730753975712 140588752886712 140588323243527 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16918] ppid=16861 vsize=11014496 memory=3323112 CPUtime=7.76 cores=1,3,5,7
/proc/16864/task/16918/stat : 16918 (java) S 16861 16864 12222 0 -1 1077944384 3238 13021 0 0 690 79 5 2 20 0 15 0 107093405 11278843904 831802 33554432000 4194304 4196468 140730753975712 140588785294480 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16919] ppid=16861 vsize=11014496 memory=3323112 CPUtime=7.75 cores=1,3,5,7
/proc/16864/task/16919/stat : 16919 (java) S 16861 16864 12222 0 -1 1077944384 3208 13021 0 0 690 78 5 2 20 0 15 0 107093406 11278843904 831802 33554432000 4194304 4196468 140730753975712 140588650630160 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16920] ppid=16861 vsize=11014496 memory=3323112 CPUtime=7.72 cores=1,3,5,7
/proc/16864/task/16920/stat : 16920 (java) S 16861 16864 12222 0 -1 1077944384 4826 13021 0 0 687 78 5 2 20 0 15 0 107093406 11278843904 831802 33554432000 4194304 4196468 140730753975712 140588649577360 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16921] ppid=16861 vsize=11014496 memory=3327208 CPUtime=7.69 cores=1,3,5,7
/proc/16864/task/16921/stat : 16921 (java) S 16861 16864 12222 0 -1 1077944384 6229 13021 0 0 685 77 5 2 20 0 15 0 107093406 11278843904 831802 33554432000 4194304 4196468 140730753975712 140588648524560 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16922] ppid=16861 vsize=11014496 memory=3327208 CPUtime=0.46 cores=1,3,5,7
/proc/16864/task/16922/stat : 16922 (java) S 16861 16864 12222 0 -1 1077944384 8056 13021 0 0 37 2 5 2 20 0 15 0 107093407 11278843904 831802 33554432000 4194304 4196468 140730753975712 140588206553456 140588781062786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16923] ppid=16861 vsize=11014496 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16923/stat : 16923 (java) S 16861 16864 12222 0 -1 1077944384 25 13021 0 0 0 0 5 2 20 0 15 0 107093407 11278843904 831802 33554432000 4194304 4196468 140730753975712 140587580777568 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16924] ppid=16861 vsize=11014496 memory=3312896 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16924/stat : 16924 (java) S 16861 16864 12222 0 -1 1077944384 16 13021 0 0 0 0 5 2 20 0 15 0 107093408 11278843904 831802 33554432000 4194304 4196468 140730753975712 140587432928128 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16925] ppid=16861 vsize=11014496 memory=3312896 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16925/stat : 16925 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093410 11278843904 831802 33554432000 4194304 4196468 140730753975712 140587125528400 140588781070235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16926] ppid=16861 vsize=11014496 memory=3312896 CPUtime=13.07 cores=1,3,5,7
/proc/16864/task/16926/stat : 16926 (java) S 16861 16864 12222 0 -1 1077944384 21307 13021 0 0 1295 5 5 2 20 0 15 0 107093410 11278843904 831802 33554432000 4194304 4196468 140730753975712 140588205501296 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16927] ppid=16861 vsize=11014496 memory=1200 CPUtime=12.17 cores=1,3,5,7
/proc/16864/task/16927/stat : 16927 (java) S 16861 16864 12222 0 -1 1077944384 15433 13021 0 0 1206 4 5 2 20 0 15 0 107093410 11278843904 831802 33554432000 4194304 4196468 140730753975712 140588204448496 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16928] ppid=16861 vsize=11014496 memory=0 CPUtime=4 cores=1,3,5,7
/proc/16864/task/16928/stat : 16928 (java) S 16861 16864 12222 0 -1 1077944384 18719 13021 0 0 387 6 5 2 20 0 15 0 107093410 11278843904 831802 33554432000 4194304 4196468 140730753975712 140588203395696 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16929] ppid=16861 vsize=11014496 memory=140343895737704 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16929/stat : 16929 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093411 11278843904 831802 33554432000 4194304 4196468 140730753975712 140586694732512 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16930] ppid=16861 vsize=11014496 memory=3327208 CPUtime=0.15 cores=1,3,5,7
/proc/16864/task/16930/stat : 16930 (java) S 16861 16864 12222 0 -1 1077944384 559 13021 0 0 3 5 5 2 20 0 15 0 107093411 11278843904 831802 33554432000 4194304 4196468 140730753975712 140588202343088 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
Current children cumulated CPU time: 214.3 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3327208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+197.001 s]*
/proc/loadavg: 2.09 2.08 1.96 3/215 17061
/proc/meminfo: memFree=18206340/32770624 swapFree=67108404/67108860
[pid=16864] ppid=16861 vsize=11014496 memory=3370488 CPUtime=252.09 cores=1,3,5,7
/proc/16864/stat : 16864 (java) S 16861 16864 12222 0 -1 1077944320 149801 13021 0 0 24840 362 5 2 20 0 15 0 107093396 11278843904 842622 33554432000 4194304 4196468 140730753975712 140730753958256 140588781051639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
/proc/16864/statm: 2753624 842622 3534 1 0 2715277 0
[pid=16864/tid=16917] ppid=16861 vsize=11014496 memory=6791534058613427641 CPUtime=188.23 cores=1,3,5,7
/proc/16864/task/16917/stat : 16917 (java) R 16861 16864 12222 0 -1 4202560 54335 13021 0 0 18795 21 5 2 20 0 15 0 107093405 11278843904 842622 33554432000 4194304 4196468 140730753975712 140588752886656 140588341423072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16918] ppid=16861 vsize=11014496 memory=0 CPUtime=8.26 cores=1,3,5,7
/proc/16864/task/16918/stat : 16918 (java) S 16861 16864 12222 0 -1 1077944384 3597 13021 0 0 740 79 5 2 20 0 15 0 107093405 11278843904 842622 33554432000 4194304 4196468 140730753975712 140588785294480 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16919] ppid=16861 vsize=11014496 memory=0 CPUtime=8.27 cores=1,3,5,7
/proc/16864/task/16919/stat : 16919 (java) S 16861 16864 12222 0 -1 1077944384 5000 13021 0 0 742 78 5 2 20 0 15 0 107093406 11278843904 842622 33554432000 4194304 4196468 140730753975712 140588650630160 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16920] ppid=16861 vsize=11014496 memory=0 CPUtime=8.25 cores=1,3,5,7
/proc/16864/task/16920/stat : 16920 (java) S 16861 16864 12222 0 -1 1077944384 5126 13021 0 0 739 79 5 2 20 0 15 0 107093406 11278843904 842622 33554432000 4194304 4196468 140730753975712 140588649577360 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16921] ppid=16861 vsize=11014496 memory=0 CPUtime=8.22 cores=1,3,5,7
/proc/16864/task/16921/stat : 16921 (java) S 16861 16864 12222 0 -1 1077944384 6805 13021 0 0 737 78 5 2 20 0 15 0 107093406 11278843904 842622 33554432000 4194304 4196468 140730753975712 140588648524560 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16922] ppid=16861 vsize=11014496 memory=3540061048607825312 CPUtime=0.46 cores=1,3,5,7
/proc/16864/task/16922/stat : 16922 (java) S 16861 16864 12222 0 -1 1077944384 8351 13021 0 0 37 2 5 2 20 0 15 0 107093407 11278843904 842622 33554432000 4194304 4196468 140730753975712 140588206553456 140588781062786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16923] ppid=16861 vsize=11014496 memory=3611940992878784799 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16923/stat : 16923 (java) S 16861 16864 12222 0 -1 1077944384 25 13021 0 0 0 0 5 2 20 0 15 0 107093407 11278843904 842622 33554432000 4194304 4196468 140730753975712 140587580777568 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16924] ppid=16861 vsize=11014496 memory=3905801972387689520 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16924/stat : 16924 (java) S 16861 16864 12222 0 -1 1077944384 16 13021 0 0 0 0 5 2 20 0 15 0 107093408 11278843904 842622 33554432000 4194304 4196468 140730753975712 140587432928128 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16925] ppid=16861 vsize=11014496 memory=5787213827163580497 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16925/stat : 16925 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093410 11278843904 842622 33554432000 4194304 4196468 140730753975712 140587125528400 140588781070235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16926] ppid=16861 vsize=11014496 memory=0 CPUtime=13.72 cores=1,3,5,7
/proc/16864/task/16926/stat : 16926 (java) S 16861 16864 12222 0 -1 1077944384 23647 13021 0 0 1359 6 5 2 20 0 15 0 107093410 11278843904 842622 33554432000 4194304 4196468 140730753975712 140588205501296 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16927] ppid=16861 vsize=11014496 memory=3472328295574038637 CPUtime=12.82 cores=1,3,5,7
/proc/16864/task/16927/stat : 16927 (java) S 16861 16864 12222 0 -1 1077944384 18034 13021 0 0 1270 5 5 2 20 0 15 0 107093410 11278843904 842622 33554432000 4194304 4196468 140730753975712 140588204448496 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16928] ppid=16861 vsize=11014496 memory=734280066797418160 CPUtime=4.24 cores=1,3,5,7
/proc/16864/task/16928/stat : 16928 (java) S 16861 16864 12222 0 -1 1077944384 22032 13021 0 0 411 6 5 2 20 0 15 0 107093410 11278843904 842622 33554432000 4194304 4196468 140730753975712 140588203395696 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16929] ppid=16861 vsize=11014496 memory=7234319696884687198 CPUtime=0.07 cores=1,3,5,7
/proc/16864/task/16929/stat : 16929 (java) S 16861 16864 12222 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 107093411 11278843904 842622 33554432000 4194304 4196468 140730753975712 140586694732512 140588781061845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
[pid=16864/tid=16930] ppid=16861 vsize=11014496 memory=3472468640238679724 CPUtime=0.16 cores=1,3,5,7
/proc/16864/task/16930/stat : 16930 (java) S 16861 16864 12222 0 -1 1077944384 634 13021 0 0 3 6 5 2 20 0 15 0 107093411 11278843904 842622 33554432000 4194304 4196468 140730753975712 140588202343088 140588781062786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140730753981032 140730753983841 140730753983841 140730753986511 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3370488 KiB

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

[startup+197.053 s]
# the end of solver process 16864 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=248.477 s, system=3.68217 s

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

Child status: 143
Real time (s): 197.053
CPU time (s): 252.159
CPU user time (s): 248.477
CPU system time (s): 3.68217
CPU usage (%): 127.965
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 3370488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.477
system time used= 3.68217
maximum resident set size= 3374716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22259
involuntary context switches= 640


# summary of solver processes directly reported to runsolver:
#   pid: 16864
#   total CPU time (s): 252.159
#   total CPU user time (s): 248.477
#   total CPU system time (s): 3.68217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19027 second user time and 1.93869 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-29 22:15:02
IDJOB=4302932
IDBENCH=141154
IDSOLVER=2777
FILE ID=node148/4302932-1532895302
RUNJOBID= node148-1532892979-13581
PBS_JOBID= 21022520
Free space on /tmp= 47780 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302932-1532895302/watcher-4302932-1532895302 -o /tmp/evaluation-result-4302932-1532895302/solver-4302932-1532895302 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=2023323453 -superng HOME/instance-4302932-1532895302.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=2023323453

node148.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.50
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.50
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.50
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.50
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:        19894292 kB
MemAvailable:   27939592 kB
Buffers:          246544 kB
Cached:          7949656 kB
SwapCached:          352 kB
Active:          5862116 kB
Inactive:        6374260 kB
Active(anon):    3993920 kB
Inactive(anon):    74228 kB
Active(file):    1868196 kB
Inactive(file):  6300032 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:             26452 kB
Writeback:             0 kB
AnonPages:       4046764 kB
Mapped:            57904 kB
Shmem:             25016 kB
Slab:             334224 kB
SReclaimable:     305532 kB
SUnreclaim:        28692 kB
KernelStack:        3568 kB
PageTables:        13624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5063200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3809280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 47752 MiB
End job on node148 at 2018-07-29 22:18:20