Trace number 4387515

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.10SAT (TO)1470312 2520.06 2457.44

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark2106819
Best CPU time to get the best result obtained on this benchmark2520.13
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.71/0.55	c Concrete v3.10.1560635388952 running
39.41/16.74	o 1127638
39.71/16.84	o 1129273
39.71/16.86	o 1133204
39.71/16.88	o 1137424
39.71/16.89	o 1138109
40.01/16.91	o 1140902
40.01/16.92	o 1143912
40.01/16.94	o 1148082
41.57/17.52	o 1148100
41.57/17.53	o 1148486
41.57/17.53	o 1149102
41.57/17.54	o 1150900
41.57/17.55	o 1151219
41.57/17.55	o 1151528
41.57/17.56	o 1151800
41.57/17.57	o 1153532
41.57/17.57	o 1154209
41.57/17.58	o 1155323
41.57/17.59	o 1160071
41.57/17.59	o 1160438
41.85/17.60	o 1160747
41.85/17.61	o 1161980
41.85/17.62	o 1167902
41.85/17.62	o 1172622
41.85/17.63	o 1174591
41.99/17.72	o 1175024
41.99/17.72	o 1175403
41.99/17.72	o 1175857
41.99/17.73	o 1176888
41.99/17.74	o 1177500
41.99/17.74	o 1178510
41.99/17.75	o 1180387
41.99/17.75	o 1182119
41.99/17.76	o 1182149
41.99/17.77	o 1183180
41.99/17.78	o 1186238
41.99/17.78	o 1187370
41.99/17.79	o 1187756
41.99/17.79	o 1188977
42.14/17.80	o 1189961
42.14/17.81	o 1192436
42.14/17.82	o 1194863
42.14/17.82	o 1196989
43.90/18.75	o 1197317
43.90/18.76	o 1197861
43.90/18.76	o 1197910
43.90/18.77	o 1198837
43.90/18.77	o 1200437
43.90/18.78	o 1200874
43.90/18.78	o 1203112
43.90/18.79	o 1203431
43.90/18.79	o 1204195
44.08/18.80	o 1204662
44.08/18.80	o 1206520
44.08/18.81	o 1208792
44.08/18.81	o 1210256
44.08/18.82	o 1211661
44.08/18.83	o 1213633
44.08/18.84	o 1214573
44.08/18.85	o 1215321
44.08/18.86	o 1217329
44.32/18.93	o 1218560
44.32/18.93	o 1219236
44.32/18.94	o 1219384
44.32/18.94	o 1221353
44.32/18.95	o 1222015
44.32/18.95	o 1222482
46.11/20.01	o 1222681
46.11/20.01	o 1222824
46.11/20.02	o 1223272
46.11/20.03	o 1223321
46.11/20.05	o 1224038
46.24/20.11	o 1225118
46.24/20.11	o 1226232
47.84/21.01	o 1226329
47.84/21.02	o 1226472
47.84/21.02	o 1226701
47.84/21.03	o 1227961
47.84/21.03	o 1229249
47.84/21.04	o 1229694
47.84/21.04	o 1229877
47.84/21.07	o 1230156
49.98/22.52	o 1230342
49.98/22.52	o 1234178
49.98/22.53	o 1234576
49.98/22.53	o 1234642
49.98/22.54	o 1235192
49.98/22.54	o 1237679
49.98/22.55	o 1238460
49.98/22.55	o 1239278
49.98/22.57	o 1239766
49.98/22.57	o 1245209
49.98/22.58	o 1246394
49.98/22.58	o 1246861
50.10/22.60	o 1246912
50.10/22.61	o 1250905
54.08/25.38	o 1251107
54.08/25.38	o 1251741
54.08/25.39	o 1255167
54.22/25.40	o 1258099
54.22/25.40	o 1258242
54.22/25.41	o 1258761
54.22/25.42	o 1259201
54.22/25.42	o 1261747
54.22/25.43	o 1261812
54.22/25.43	o 1265805
54.22/25.46	o 1267036
54.22/25.47	o 1267656
54.35/25.52	o 1267796
54.35/25.52	o 1268263
54.35/25.52	o 1268602
54.78/25.84	o 1270276
54.93/25.91	o 1270404
54.93/25.91	o 1271222
55.23/26.18	o 1272929
55.23/26.19	o 1273675
55.23/26.19	o 1274192
55.23/26.20	o 1274659
55.36/26.20	o 1274743
55.36/26.20	o 1275293
55.63/26.49	o 1275724
55.81/26.52	o 1277081
56.11/26.79	o 1277636
56.11/26.80	o 1278173
56.25/26.80	o 1281577
56.25/26.81	o 1283309
56.25/26.81	o 1284361
56.25/26.81	o 1286369
64.35/32.63	o 1286488
64.35/32.64	o 1286631
64.35/32.64	o 1287102
64.35/32.65	o 1287722
64.35/32.65	o 1288859
64.35/32.66	o 1289973
64.69/32.94	o 1297863
64.69/32.94	o 1299835
64.69/32.95	o 1300822
64.69/32.95	o 1302125
64.69/32.96	o 1305321
64.92/33.13	o 1307864
64.92/33.14	o 1308381
64.92/33.14	o 1310172
64.92/33.15	o 1310792
65.14/33.36	o 1311870
65.14/33.37	o 1312387
65.14/33.37	o 1313799
65.14/33.38	o 1314987
65.14/33.38	o 1319633
65.14/33.39	o 1320150
65.48/33.67	o 1321188
65.48/33.67	o 1324560
65.48/33.68	o 1325180
65.48/33.68	o 1326167
65.48/33.68	o 1326397
65.48/33.69	o 1328415
65.63/33.71	o 1330387
67.01/34.97	o 1333226
67.01/34.97	o 1333612
145.75/106.12	o 1333717
145.75/106.12	o 1333848
145.75/106.12	o 1334167
145.75/106.13	o 1334856
145.75/106.18	o 1334941
145.75/106.19	o 1339807
145.75/106.19	o 1343793
145.85/106.29	o 1348350
145.95/106.30	o 1350358
150.27/110.69	o 1351733
150.37/110.70	o 1353156
150.37/110.70	o 1357355
210.72/170.84	o 1357639
210.72/170.84	o 1357782
210.72/170.84	o 1357913
210.72/170.85	o 1357917
210.72/170.85	o 1359066
210.72/170.86	o 1359812
210.72/170.86	o 1360543
210.72/170.87	o 1360547
210.72/170.87	o 1361578
210.72/170.88	o 1362471
210.72/170.89	o 1365531
210.72/170.89	o 1365674
210.87/170.91	o 1365998
210.87/170.91	o 1369173
210.87/170.92	o 1369807
210.87/170.94	o 1370998
210.87/170.94	o 1371733
210.87/170.95	o 1372084
210.87/170.96	o 1377507
210.87/170.96	o 1377974
210.87/170.96	o 1379021
210.87/170.97	o 1379025
210.87/170.97	o 1379789
210.87/170.98	o 1380478
210.87/170.98	o 1383337
210.87/170.99	o 1385385
211.19/171.24	o 1385777
211.19/171.25	o 1386998
211.19/171.25	o 1387744
211.19/171.26	o 1388597
211.19/171.26	o 1393831
211.29/171.36	o 1396230
211.29/171.36	o 1397214
211.29/171.37	o 1398189
211.29/171.37	o 1399602
212.20/172.26	o 1401404
212.20/172.27	o 1403898
212.20/172.28	o 1404510
212.20/172.28	o 1404514
212.20/172.29	o 1405628
212.20/172.29	o 1410062
220.13/180.17	o 1410977
220.13/180.17	o 1411964
220.13/180.17	o 1412653
224.34/184.38	o 1416299
224.34/184.39	o 1419366
224.34/184.39	o 1420112
231.96/191.97	o 1420400
231.96/191.98	o 1421976
231.96/191.98	o 1425454
231.96/191.98	o 1426576
231.96/191.99	o 1428584
231.96/191.99	o 1429854
231.96/192.00	o 1432102
231.96/192.00	o 1432848
231.96/192.00	o 1434422
232.07/192.01	o 1434565
232.07/192.01	o 1435978
325.93/285.65	o 1436035
325.93/285.65	o 1436421
325.93/285.66	o 1436470
326.13/285.85	o 1438169
326.13/285.86	o 1438218
326.13/285.86	o 1438361
326.44/286.14	o 1439046
326.44/286.14	o 1446784
326.44/286.15	o 1448753
326.44/286.15	o 1448925
326.44/286.16	o 1449299
326.44/286.16	o 1449442
328.14/287.83	o 1452822
329.74/289.47	o 1453640
329.74/289.47	o 1455996
329.74/289.48	o 1457091
329.74/289.48	o 1457650
329.74/289.48	o 1459063
346.90/306.53	o 1460384
346.90/306.53	o 1460527
357.82/317.49	o 1460617
357.92/317.50	o 1461617
357.92/317.51	o 1464011
369.14/328.76	o 1464071
369.14/328.77	o 1465029
369.14/328.77	o 1465317
369.14/328.77	o 1466442
369.14/328.78	o 1466828
369.14/328.78	o 1468501
369.14/328.79	o 1469076
369.14/328.79	o 1469696
369.14/328.80	o 1470312
2520.01/2457.40	Exception in thread "main" java.util.concurrent.TimeoutException
2520.01/2457.40		at concrete.MAC.mac(MAC.scala:189)
2520.01/2457.40		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253)
2520.01/2457.40		at scala.util.Try$.apply(Try.scala:212)
2520.01/2457.40		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.01/2457.40		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.01/2457.40		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.01/2457.40		at concrete.MAC.oneRun(MAC.scala:253)
2520.01/2457.40		at concrete.MAC.nextSolution(MAC.scala:272)
2520.01/2457.40		at concrete.MAC.nextSolution(MAC.scala:355)
2520.01/2457.40		at concrete.Solver.hasNext(Solver.scala:160)
2520.01/2457.40		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.01/2457.40		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.01/2457.40		at concrete.Solver.foreach(Solver.scala:67)
2520.01/2457.40		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72)
2520.01/2457.40		at scala.util.Success.map(Try.scala:264)
2520.01/2457.40		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67)
2520.01/2457.40		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.01/2457.40		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.01/2457.40		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2457.40		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.01/2457.40		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.01/2457.40		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.01/2457.40		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.01/2457.40		at scala.App.$anonfun$main$1(App.scala:75)
2520.01/2457.40		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.01/2457.40		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.01/2457.40		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.01/2457.40		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.01/2457.40		at scala.App.main(App.scala:75)
2520.01/2457.40		at scala.App.main$(App.scala:73)
2520.01/2457.40		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.01/2457.40		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2457.42	v <instantiation
2520.01/2457.42	v         cost = '1470312'>
2520.01/2457.42	v       <list>
2520.01/2457.42	v         b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
2520.01/2457.42	v       </list>
2520.01/2457.42	v       <values>
2520.01/2457.42	v         0 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 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 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 1 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 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 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1
2520.01/2457.42	v       </values>
2520.01/2457.42	v     </instantiation>
2520.01/2457.42	s SATISFIABLE

Verifier Data 

OK	1470312

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387515-1568308395/watcher-4387515-1568308395 -o /tmp/evaluation-result-4387515-1568308395/solver-4387515-1568308395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568282247-6563 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=510534566 HOME/instance-4387515-1568308395.xml 

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

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

solver pid=13550, runsolver pid=13547

[startup+0.100063 s]*
/proc/loadavg: 1.30 1.39 1.49 4/217 13607
/proc/meminfo: memFree=29898508/32770624 swapFree=66920536/67108860
[pid=13550] ppid=13547 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/13550/stat : 13550 (java) S 13547 13550 5621 0 -1 1077944320 4471 12998 0 0 1 1 4 3 20 0 6 0 407095633 10212057088 4203 33554432000 4194304 4196468 140722167066912 140722167049456 140388814171895 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
/proc/13550/statm: 2493178 4203 1935 1 0 2481616 0
[pid=13550/tid=13603] ppid=13547 vsize=9972712 memory=720575944405811505 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 5621 0 -1 4202560 2263 12998 0 0 0 0 4 3 20 0 6 0 407095642 10212057088 4715 33554432000 4194304 4196468 140722167066912 140388786008656 140388798252294 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13604] ppid=13547 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 5621 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 6 0 407095643 10212057088 4715 33554432000 4194304 4196468 140722167066912 140388818413968 140388814182101 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13605] ppid=13547 vsize=9972712 memory=288371054382417536 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 6 0 407095643 10212057088 4715 33554432000 4194304 4196468 140722167066912 140388733233424 140388814182101 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13606] ppid=13547 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 6 0 407095643 10212057088 4715 33554432000 4194304 4196468 140722167066912 140388732181136 140388814182101 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13607] ppid=13547 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 6 0 407095643 10212057088 4715 33554432000 4194304 4196468 140722167066912 140388731128336 140388814182101 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB

[startup+0.21026 s]*
/proc/loadavg: 1.30 1.39 1.49 3/226 13616
/proc/meminfo: memFree=29879396/32770624 swapFree=66920536/67108860
[pid=13550] ppid=13547 vsize=10818940 memory=38060 CPUtime=0.25 cores=0,2,4,6
/proc/13550/stat : 13550 (java) S 13547 13550 5621 0 -1 1077944320 6901 12998 0 0 16 2 4 3 20 0 15 0 407095633 11078594560 9515 33554432000 4194304 4196468 140722167066912 140722167049456 140388814171895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
/proc/13550/statm: 2704735 9515 2959 1 0 2667149 0
[pid=13550/tid=13603] ppid=13547 vsize=10818940 memory=729618466009055537 CPUtime=0.18 cores=0,2,4,6
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 5621 0 -1 4202560 3405 12998 0 0 10 1 4 3 20 0 15 0 407095642 11078594560 9515 33554432000 4194304 4196468 140722167066912 140388785959680 140388793697174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13604] ppid=13547 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 5621 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 407095643 11078594560 9515 33554432000 4194304 4196468 140722167066912 140388818413968 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13605] ppid=13547 vsize=10818940 memory=288371054382417536 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 407095643 11078594560 9515 33554432000 4194304 4196468 140722167066912 140388733233424 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13606] ppid=13547 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 407095643 11078594560 9515 33554432000 4194304 4196468 140722167066912 140388732181136 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13607] ppid=13547 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 407095643 11078594560 9515 33554432000 4194304 4196468 140722167066912 140388731128336 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13608] ppid=13547 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 407095644 11078594560 9515 33554432000 4194304 4196468 140722167066912 140388340783728 140388814183042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13609] ppid=13547 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 5621 0 -1 1077944384 13 12998 0 0 0 0 4 3 20 0 15 0 407095645 11078594560 9515 33554432000 4194304 4196468 140722167066912 140388253820192 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13610] ppid=13547 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 5621 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 407095645 11078594560 9515 33554432000 4194304 4196468 140722167066912 140387649840752 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13611] ppid=13547 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11078594560 9515 33554432000 4194304 4196468 140722167066912 140387342441040 140388814190491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13612] ppid=13547 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 5621 0 -1 1077944384 443 12998 0 0 1 0 4 3 20 0 15 0 407095648 11078594560 9515 33554432000 4194304 4196468 140722167066912 140388339730544 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13613] ppid=13547 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 5621 0 -1 1077944384 179 12998 0 0 0 0 4 3 20 0 15 0 407095648 11078594560 9515 33554432000 4194304 4196468 140722167066912 140388338677744 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13614] ppid=13547 vsize=10818940 memory=140678230705792 CPUtime=0.1 cores=0,2,4,6
/proc/13550/task/13614/stat : 13614 (java) S 13547 13550 5621 0 -1 1077944384 644 12998 0 0 3 0 4 3 20 0 15 0 407095648 11078594560 9515 33554432000 4194304 4196468 140722167066912 140388337625456 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13615] ppid=13547 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11078594560 9515 33554432000 4194304 4196468 140722167066912 140387308882400 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13616] ppid=13547 vsize=10818940 memory=140678230705792 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 5621 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 407095648 11078594560 9515 33554432000 4194304 4196468 140722167066912 140388336573360 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38060 KiB

[startup+0.310411 s]*
/proc/loadavg: 1.30 1.39 1.49 3/226 13616
/proc/meminfo: memFree=29868300/32770624 swapFree=66920536/67108860
[pid=13550] ppid=13547 vsize=10820096 memory=47692 CPUtime=0.39 cores=0,2,4,6
/proc/13550/stat : 13550 (java) S 13547 13550 5621 0 -1 1077944320 10636 12998 0 0 28 4 4 3 20 0 15 0 407095633 11079778304 11923 33554432000 4194304 4196468 140722167066912 140722167049456 140388814171895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
/proc/13550/statm: 2705024 11923 3272 1 0 2667149 0
[pid=13550/tid=13603] ppid=13547 vsize=10820096 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 5621 0 -1 4202560 7105 12998 0 0 19 3 4 3 20 0 15 0 407095642 11079778304 12435 33554432000 4194304 4196468 140722167066912 140388785985040 140388814193821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13604] ppid=13547 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 5621 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 407095643 11079778304 12435 33554432000 4194304 4196468 140722167066912 140388818413968 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13605] ppid=13547 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 407095643 11079778304 12435 33554432000 4194304 4196468 140722167066912 140388733233424 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13606] ppid=13547 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 407095643 11079778304 12435 33554432000 4194304 4196468 140722167066912 140388732181136 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13607] ppid=13547 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 407095643 11079778304 12435 33554432000 4194304 4196468 140722167066912 140388731128336 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13608] ppid=13547 vsize=10820096 memory=140678230705791 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 407095644 11079778304 12435 33554432000 4194304 4196468 140722167066912 140388340783728 140388814183042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13609] ppid=13547 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 5621 0 -1 1077944384 13 12998 0 0 0 0 4 3 20 0 15 0 407095645 11079778304 12435 33554432000 4194304 4196468 140722167066912 140388253820192 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13610] ppid=13547 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 5621 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 407095645 11079778304 12435 33554432000 4194304 4196468 140722167066912 140387649840752 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13611] ppid=13547 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11079778304 12435 33554432000 4194304 4196468 140722167066912 140387342441040 140388814190491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13612] ppid=13547 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 5621 0 -1 1077944384 445 12998 0 0 2 0 4 3 20 0 15 0 407095648 11079778304 12435 33554432000 4194304 4196468 140722167066912 140388339730544 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13613] ppid=13547 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 5621 0 -1 1077944384 179 12998 0 0 1 0 4 3 20 0 15 0 407095648 11079778304 12435 33554432000 4194304 4196468 140722167066912 140388338677744 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13614] ppid=13547 vsize=10820096 memory=140678230705792 CPUtime=0.12 cores=0,2,4,6
/proc/13550/task/13614/stat : 13614 (java) S 13547 13550 5621 0 -1 1077944384 668 12998 0 0 5 0 4 3 20 0 15 0 407095648 11079778304 12435 33554432000 4194304 4196468 140722167066912 140388337625456 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13615] ppid=13547 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11079778304 12435 33554432000 4194304 4196468 140722167066912 140387308882400 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13616] ppid=13547 vsize=10820096 memory=140678230705792 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 5621 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 407095648 11079778304 12435 33554432000 4194304 4196468 140722167066912 140388336573360 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 47692 KiB

[startup+0.700719 s]
/proc/loadavg: 1.30 1.39 1.49 5/226 13616
/proc/meminfo: memFree=29855124/32770624 swapFree=66920536/67108860
[pid=13550] ppid=13547 vsize=10824340 memory=80332 CPUtime=1.15 cores=0,2,4,6
/proc/13550/stat : 13550 (java) S 13547 13550 5621 0 -1 1077944320 14827 12998 0 0 101 7 4 3 20 0 15 0 407095633 11084124160 20083 33554432000 4194304 4196468 140722167066912 140722167049456 140388814171895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
/proc/13550/statm: 2706085 20083 3497 1 0 2668173 0
[pid=13550/tid=13603] ppid=13547 vsize=10824340 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 5621 0 -1 4202560 10484 12998 0 0 55 5 4 3 20 0 15 0 407095642 11084124160 20083 33554432000 4194304 4196468 140722167066912 140388785998480 140388794364845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13604] ppid=13547 vsize=10824340 memory=1284 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 5621 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 407095643 11084124160 20083 33554432000 4194304 4196468 140722167066912 140388818413968 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13605] ppid=13547 vsize=10824340 memory=1044 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 407095643 11084124160 20083 33554432000 4194304 4196468 140722167066912 140388733233424 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13606] ppid=13547 vsize=10824340 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 407095643 11084124160 20083 33554432000 4194304 4196468 140722167066912 140388732181136 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13607] ppid=13547 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 5621 0 -1 1077944384 2 12998 0 0 0 0 4 3 20 0 15 0 407095643 11084124160 20083 33554432000 4194304 4196468 140722167066912 140388731128336 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13608] ppid=13547 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 5621 0 -1 1077944384 5 12998 0 0 0 0 4 3 20 0 15 0 407095644 11084124160 20083 33554432000 4194304 4196468 140722167066912 140388340783728 140388814183042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13609] ppid=13547 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 5621 0 -1 1077944384 13 12998 0 0 0 0 4 3 20 0 15 0 407095645 11084124160 20083 33554432000 4194304 4196468 140722167066912 140388253820192 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13610] ppid=13547 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 5621 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 407095645 11084124160 20083 33554432000 4194304 4196468 140722167066912 140387649840752 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13611] ppid=13547 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11084124160 20083 33554432000 4194304 4196468 140722167066912 140387342441040 140388814190491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13612] ppid=13547 vsize=10824340 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 5621 0 -1 1077944384 687 12998 0 0 13 0 4 3 20 0 15 0 407095648 11084124160 20083 33554432000 4194304 4196468 140722167066912 140388339730544 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13613] ppid=13547 vsize=10824340 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 5621 0 -1 1077944384 565 12998 0 0 14 0 4 3 20 0 15 0 407095648 11084124160 20083 33554432000 4194304 4196468 140722167066912 140388338677744 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13614] ppid=13547 vsize=10824340 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/13550/task/13614/stat : 13614 (java) S 13547 13550 5621 0 -1 1077944384 848 12998 0 0 17 0 4 3 20 0 15 0 407095648 11084124160 20083 33554432000 4194304 4196468 140722167066912 140388337625456 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13615] ppid=13547 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11084124160 20083 33554432000 4194304 4196468 140722167066912 140387308882400 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13616] ppid=13547 vsize=10824340 memory=3580 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 5621 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 407095648 11084124160 20083 33554432000 4194304 4196468 140722167066912 140388336573360 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80332 KiB

[startup+1.50063 s]
/proc/loadavg: 1.30 1.39 1.49 5/226 13616
/proc/meminfo: memFree=29795744/32770624 swapFree=66920536/67108860
[pid=13550] ppid=13547 vsize=10834656 memory=195416 CPUtime=2.93 cores=0,2,4,6
/proc/13550/stat : 13550 (java) S 13547 13550 5621 0 -1 1077944320 24085 12998 0 0 274 12 4 3 20 0 15 0 407095633 11094687744 48854 33554432000 4194304 4196468 140722167066912 140722167049456 140388814171895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
/proc/13550/statm: 2708664 48854 3575 1 0 2670733 0
[pid=13550/tid=13603] ppid=13547 vsize=10834656 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 5621 0 -1 4202560 15262 12998 0 0 129 7 4 3 20 0 15 0 407095642 11094687744 48854 33554432000 4194304 4196468 140722167066912 140388785997136 140388795735424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13604] ppid=13547 vsize=10834656 memory=6371873728104787055 CPUtime=0.08 cores=0,2,4,6
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 5621 0 -1 1077944384 83 12998 0 0 1 0 4 3 20 0 15 0 407095643 11094687744 48854 33554432000 4194304 4196468 140722167066912 140388818413968 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13605] ppid=13547 vsize=10834656 memory=6443923620982321513 CPUtime=0.08 cores=0,2,4,6
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 5621 0 -1 1077944384 282 12998 0 0 1 0 4 3 20 0 15 0 407095643 11094687744 48854 33554432000 4194304 4196468 140722167066912 140388733233424 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13606] ppid=13547 vsize=10834656 memory=6371873728104787565 CPUtime=0.08 cores=0,2,4,6
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 5621 0 -1 1077944384 65 12998 0 0 1 0 4 3 20 0 15 0 407095643 11094687744 48854 33554432000 4194304 4196468 140722167066912 140388732181136 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13607] ppid=13547 vsize=10834656 memory=281356194377504 CPUtime=0.08 cores=0,2,4,6
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 5621 0 -1 1077944384 36 12998 0 0 1 0 4 3 20 0 15 0 407095643 11094687744 48854 33554432000 4194304 4196468 140722167066912 140388731128336 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13608] ppid=13547 vsize=10834656 memory=3540061382808546961 CPUtime=0.08 cores=0,2,4,6
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 5621 0 -1 1077944384 121 12998 0 0 1 0 4 3 20 0 15 0 407095644 11094687744 48854 33554432000 4194304 4196468 140722167066912 140388340783728 140388814183042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13609] ppid=13547 vsize=10834656 memory=281356194044928 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 5621 0 -1 1077944384 14 12998 0 0 0 0 4 3 20 0 15 0 407095645 11094687744 48854 33554432000 4194304 4196468 140722167066912 140388253820256 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13610] ppid=13547 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 5621 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 407095645 11094687744 48854 33554432000 4194304 4196468 140722167066912 140387649840752 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13611] ppid=13547 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11094687744 48854 33554432000 4194304 4196468 140722167066912 140387342441040 140388814190491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13612] ppid=13547 vsize=10834656 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 5621 0 -1 1077944384 2056 12998 0 0 45 0 4 3 20 0 15 0 407095648 11094687744 48854 33554432000 4194304 4196468 140722167066912 140388339730544 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13613] ppid=13547 vsize=10834656 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/13550/task/13613/stat : 13613 (java) R 13547 13550 5621 0 -1 4202560 2113 12998 0 0 51 0 4 3 20 0 15 0 407095648 11094687744 48854 33554432000 4194304 4196468 140722167066912 140388338677744 140388793860389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13614] ppid=13547 vsize=10834656 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/13550/task/13614/stat : 13614 (java) R 13547 13550 5621 0 -1 4202560 1845 12998 0 0 40 0 4 3 20 0 15 0 407095648 11094687744 48869 33554432000 4194304 4196468 140722167066912 140388337619344 140388794140752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13615] ppid=13547 vsize=10834656 memory=281356194586624 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11094687744 48869 33554432000 4194304 4196468 140722167066912 140387308882400 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13616] ppid=13547 vsize=10834656 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 5621 0 -1 1077944384 1 12998 0 0 0 0 4 3 20 0 15 0 407095648 11094687744 48869 33554432000 4194304 4196468 140722167066912 140388336573360 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10834656 KiB

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

/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 5621 0 -1 4202560 171731 12998 0 0 230612 36 4 3 20 0 15 0 407095642 11107291136 548211 33554432000 4194304 4196468 140722167066912 140388786007584 140388416956359 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13604] ppid=13547 vsize=10846964 memory=2192844 CPUtime=11.52 cores=0,2,4,6
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 5621 0 -1 1077944384 43707 12998 0 0 1082 63 4 3 20 0 15 0 407095643 11107291136 548211 33554432000 4194304 4196468 140722167066912 140388818413968 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13605] ppid=13547 vsize=10846964 memory=2192844 CPUtime=11.55 cores=0,2,4,6
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 5621 0 -1 1077944384 47252 12998 0 0 1082 66 4 3 20 0 15 0 407095643 11107291136 548211 33554432000 4194304 4196468 140722167066912 140388733233424 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13606] ppid=13547 vsize=10846964 memory=2192844 CPUtime=11.53 cores=0,2,4,6
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 5621 0 -1 1077944384 43370 12998 0 0 1081 65 4 3 20 0 15 0 407095643 11107291136 548211 33554432000 4194304 4196468 140722167066912 140388732181136 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13607] ppid=13547 vsize=10846964 memory=2192844 CPUtime=11.52 cores=0,2,4,6
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 5621 0 -1 1077944384 38821 12998 0 0 1078 67 4 3 20 0 15 0 407095643 11107291136 548211 33554432000 4194304 4196468 140722167066912 140388731128336 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13608] ppid=13547 vsize=10846964 memory=2192844 CPUtime=3.02 cores=0,2,4,6
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 5621 0 -1 1077944384 32155 12998 0 0 274 21 4 3 20 0 15 0 407095644 11107291136 548211 33554432000 4194304 4196468 140722167066912 140388340783728 140388814183042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13609] ppid=13547 vsize=10846964 memory=1680 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 5621 0 -1 1077944384 30 12998 0 0 0 0 4 3 20 0 15 0 407095645 11107291136 548211 33554432000 4194304 4196468 140722167066912 140388253820256 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13610] ppid=13547 vsize=10846964 memory=3852 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 5621 0 -1 1077944384 26 12998 0 0 0 0 4 3 20 0 15 0 407095645 11107291136 548211 33554432000 4194304 4196468 140722167066912 140387649840768 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13611] ppid=13547 vsize=10846964 memory=2192844 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11107291136 548211 33554432000 4194304 4196468 140722167066912 140387342441040 140388814190491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13612] ppid=13547 vsize=10846964 memory=2192844 CPUtime=10.45 cores=0,2,4,6
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 5621 0 -1 1077944384 23017 12998 0 0 1031 7 4 3 20 0 15 0 407095648 11107291136 548211 33554432000 4194304 4196468 140722167066912 140388339730544 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13613] ppid=13547 vsize=10846964 memory=2192844 CPUtime=10.32 cores=0,2,4,6
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 5621 0 -1 1077944384 12265 12998 0 0 1017 8 4 3 20 0 15 0 407095648 11107291136 548211 33554432000 4194304 4196468 140722167066912 140388338677744 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13614] ppid=13547 vsize=10846964 memory=2192844 CPUtime=5.32 cores=0,2,4,6
/proc/13550/task/13614/stat : 13614 (java) S 13547 13550 5621 0 -1 1077944384 26777 12998 0 0 516 9 4 3 20 0 15 0 407095648 11107291136 548211 33554432000 4194304 4196468 140722167066912 140388337625456 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13615] ppid=13547 vsize=10846964 memory=3580 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11107291136 548211 33554432000 4194304 4196468 140722167066912 140387308882400 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13616] ppid=13547 vsize=10846964 memory=2192844 CPUtime=1.44 cores=0,2,4,6
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 5621 0 -1 1077944384 1632 12998 0 0 71 66 4 3 20 0 15 0 407095648 11107291136 548211 33554432000 4194304 4196468 140722167066912 140388336573360 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
Current children cumulated CPU time: 2382.69 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2192844 KiB

[startup+2382.3 s]
/proc/loadavg: 1.21 1.31 1.37 3/227 13966
/proc/meminfo: memFree=28715208/32770624 swapFree=66920564/67108860
[pid=13550] ppid=13547 vsize=10846964 memory=2180020 CPUtime=2443.67 cores=0,2,4,6
/proc/13550/stat : 13550 (java) S 13547 13550 5621 0 -1 1077944320 451119 12998 0 0 243973 387 4 3 20 0 15 0 407095633 11107291136 545005 33554432000 4194304 4196468 140722167066912 140722167049456 140388814171895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
/proc/13550/statm: 2711741 545005 3625 1 0 2673805 0
[pid=13550/tid=13603] ppid=13547 vsize=10846964 memory=2180020 CPUtime=2366.04 cores=0,2,4,6
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 5621 0 -1 4202560 173570 12998 0 0 236561 36 4 3 20 0 15 0 407095642 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388786007376 140388409058800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13604] ppid=13547 vsize=10846964 memory=2180020 CPUtime=11.86 cores=0,2,4,6
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 5621 0 -1 1077944384 45668 12998 0 0 1115 64 4 3 20 0 15 0 407095643 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388818413968 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13605] ppid=13547 vsize=10846964 memory=2180020 CPUtime=11.87 cores=0,2,4,6
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 5621 0 -1 1077944384 47641 12998 0 0 1114 66 4 3 20 0 15 0 407095643 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388733233424 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13606] ppid=13547 vsize=10846964 memory=2180020 CPUtime=11.88 cores=0,2,4,6
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 5621 0 -1 1077944384 44187 12998 0 0 1115 66 4 3 20 0 15 0 407095643 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388732181136 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13607] ppid=13547 vsize=10846964 memory=2180020 CPUtime=11.85 cores=0,2,4,6
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 5621 0 -1 1077944384 40863 12998 0 0 1110 68 4 3 20 0 15 0 407095643 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388731128336 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13608] ppid=13547 vsize=10846964 memory=2180020 CPUtime=3.15 cores=0,2,4,6
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 5621 0 -1 1077944384 33145 12998 0 0 286 22 4 3 20 0 15 0 407095644 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388340783728 140388814183042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13609] ppid=13547 vsize=10846964 memory=2180020 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 5621 0 -1 1077944384 30 12998 0 0 0 0 4 3 20 0 15 0 407095645 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388253820256 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13610] ppid=13547 vsize=10846964 memory=2180020 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 5621 0 -1 1077944384 26 12998 0 0 0 0 4 3 20 0 15 0 407095645 11107291136 545005 33554432000 4194304 4196468 140722167066912 140387649840768 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13611] ppid=13547 vsize=10846964 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140387342441040 140388814190491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13612] ppid=13547 vsize=10846964 memory=2180020 CPUtime=10.45 cores=0,2,4,6
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 5621 0 -1 1077944384 23027 12998 0 0 1031 7 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388339730544 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13613] ppid=13547 vsize=10846964 memory=2180020 CPUtime=10.32 cores=0,2,4,6
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 5621 0 -1 1077944384 12272 12998 0 0 1017 8 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388338677744 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13614] ppid=13547 vsize=10846964 memory=6791534058613427641 CPUtime=5.32 cores=0,2,4,6
/proc/13550/task/13614/stat : 13614 (java) S 13547 13550 5621 0 -1 1077944384 26783 12998 0 0 516 9 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388337625456 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13615] ppid=13547 vsize=10846964 memory=7956 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140387308882400 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13616] ppid=13547 vsize=10846964 memory=2183100 CPUtime=1.47 cores=0,2,4,6
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 5621 0 -1 1077944384 1691 12998 0 0 72 68 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388336573360 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
Current children cumulated CPU time: 2443.67 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2180020 KiB

[startup+2442.3 s]
/proc/loadavg: 1.26 1.29 1.36 3/227 13970
/proc/meminfo: memFree=28730652/32770624 swapFree=66920564/67108860
[pid=13550] ppid=13547 vsize=10846964 memory=2180020 CPUtime=2504.66 cores=0,2,4,6
/proc/13550/stat : 13550 (java) S 13547 13550 5621 0 -1 1077944320 457694 12998 0 0 250064 395 4 3 20 0 15 0 407095633 11107291136 545005 33554432000 4194304 4196468 140722167066912 140722167049456 140388814171895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
/proc/13550/statm: 2711741 545005 3625 1 0 2673805 0
[pid=13550/tid=13603] ppid=13547 vsize=10846964 memory=2180020 CPUtime=2425.53 cores=0,2,4,6
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 5621 0 -1 4202560 174921 12998 0 0 242509 37 4 3 20 0 15 0 407095642 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388786007584 140388796693074 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13604] ppid=13547 vsize=10846964 memory=2180020 CPUtime=12.18 cores=0,2,4,6
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 5621 0 -1 1077944384 45919 12998 0 0 1147 64 4 3 20 0 15 0 407095643 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388818413968 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13605] ppid=13547 vsize=10846964 memory=2180020 CPUtime=12.22 cores=0,2,4,6
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 5621 0 -1 1077944384 48610 12998 0 0 1147 68 4 3 20 0 15 0 407095643 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388733233424 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13606] ppid=13547 vsize=10846964 memory=2180020 CPUtime=12.21 cores=0,2,4,6
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 5621 0 -1 1077944384 45650 12998 0 0 1147 67 4 3 20 0 15 0 407095643 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388732181136 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13607] ppid=13547 vsize=10846964 memory=2180020 CPUtime=12.19 cores=0,2,4,6
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 5621 0 -1 1077944384 42649 12998 0 0 1142 70 4 3 20 0 15 0 407095643 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388731128336 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13608] ppid=13547 vsize=10846964 memory=2180020 CPUtime=3.28 cores=0,2,4,6
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 5621 0 -1 1077944384 33851 12998 0 0 298 23 4 3 20 0 15 0 407095644 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388340783728 140388814183042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13609] ppid=13547 vsize=10846964 memory=2180020 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 5621 0 -1 1077944384 30 12998 0 0 0 0 4 3 20 0 15 0 407095645 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388253820256 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13610] ppid=13547 vsize=10846964 memory=2180020 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 5621 0 -1 1077944384 26 12998 0 0 0 0 4 3 20 0 15 0 407095645 11107291136 545005 33554432000 4194304 4196468 140722167066912 140387649840768 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13611] ppid=13547 vsize=10846964 memory=2180020 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140387342441040 140388814190491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13612] ppid=13547 vsize=10846964 memory=1556 CPUtime=10.45 cores=0,2,4,6
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 5621 0 -1 1077944384 23030 12998 0 0 1031 7 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388339730544 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13613] ppid=13547 vsize=10846964 memory=2832 CPUtime=10.32 cores=0,2,4,6
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 5621 0 -1 1077944384 12274 12998 0 0 1017 8 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388338677744 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13614] ppid=13547 vsize=10846964 memory=2180020 CPUtime=5.32 cores=0,2,4,6
/proc/13550/task/13614/stat : 13614 (java) S 13547 13550 5621 0 -1 1077944384 26785 12998 0 0 516 9 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388337625456 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13615] ppid=13547 vsize=10846964 memory=3852 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140387308882400 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13616] ppid=13547 vsize=10846964 memory=2604 CPUtime=1.49 cores=0,2,4,6
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 5621 0 -1 1077944384 1733 12998 0 0 72 70 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388336573360 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
Current children cumulated CPU time: 2504.66 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2180020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2457.4 s]
/proc/loadavg: 1.36 1.31 1.37 3/228 13973
/proc/meminfo: memFree=28737068/32770624 swapFree=66920564/67108860
[pid=13550] ppid=13547 vsize=10846964 memory=2180020 CPUtime=2520.01 cores=0,2,4,6
/proc/13550/stat : 13550 (java) S 13547 13550 5621 0 -1 1077944320 457967 12998 0 0 251598 396 4 3 20 0 15 0 407095633 11107291136 545005 33554432000 4194304 4196468 140722167066912 140722167049456 140388814171895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
/proc/13550/statm: 2711741 545005 3625 1 0 2673805 0
[pid=13550/tid=13603] ppid=13547 vsize=10846964 memory=920 CPUtime=2440.5 cores=0,2,4,6
/proc/13550/task/13603/stat : 13603 (java) R 13547 13550 5621 0 -1 4202560 175037 12998 0 0 244006 37 4 3 20 0 15 0 407095642 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388786007872 140388405943284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13604] ppid=13547 vsize=10846964 memory=3852 CPUtime=12.27 cores=0,2,4,6
/proc/13550/task/13604/stat : 13604 (java) S 13547 13550 5621 0 -1 1077944384 45948 12998 0 0 1155 65 4 3 20 0 15 0 407095643 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388818413968 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13605] ppid=13547 vsize=10846964 memory=2604 CPUtime=12.3 cores=0,2,4,6
/proc/13550/task/13605/stat : 13605 (java) S 13547 13550 5621 0 -1 1077944384 48656 12998 0 0 1155 68 4 3 20 0 15 0 407095643 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388733233424 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13606] ppid=13547 vsize=10846964 memory=2604 CPUtime=12.29 cores=0,2,4,6
/proc/13550/task/13606/stat : 13606 (java) S 13547 13550 5621 0 -1 1077944384 45655 12998 0 0 1155 67 4 3 20 0 15 0 407095643 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388732181136 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13607] ppid=13547 vsize=10846964 memory=1408 CPUtime=12.27 cores=0,2,4,6
/proc/13550/task/13607/stat : 13607 (java) S 13547 13550 5621 0 -1 1077944384 42706 12998 0 0 1150 70 4 3 20 0 15 0 407095643 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388731128336 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13608] ppid=13547 vsize=10846964 memory=3188 CPUtime=3.31 cores=0,2,4,6
/proc/13550/task/13608/stat : 13608 (java) S 13547 13550 5621 0 -1 1077944384 33864 12998 0 0 301 23 4 3 20 0 15 0 407095644 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388340783728 140388814183042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13609] ppid=13547 vsize=10846964 memory=2180020 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13609/stat : 13609 (java) S 13547 13550 5621 0 -1 1077944384 30 12998 0 0 0 0 4 3 20 0 15 0 407095645 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388253820256 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13610] ppid=13547 vsize=10846964 memory=4100 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13610/stat : 13610 (java) S 13547 13550 5621 0 -1 1077944384 26 12998 0 0 0 0 4 3 20 0 15 0 407095645 11107291136 545005 33554432000 4194304 4196468 140722167066912 140387649840768 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13611] ppid=13547 vsize=10846964 memory=1412 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13611/stat : 13611 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140387342441040 140388814190491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13612] ppid=13547 vsize=10846964 memory=3236 CPUtime=10.45 cores=0,2,4,6
/proc/13550/task/13612/stat : 13612 (java) S 13547 13550 5621 0 -1 1077944384 23032 12998 0 0 1031 7 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388339730544 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13613] ppid=13547 vsize=10846964 memory=615384 CPUtime=10.32 cores=0,2,4,6
/proc/13550/task/13613/stat : 13613 (java) S 13547 13550 5621 0 -1 1077944384 12277 12998 0 0 1017 8 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388338677744 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13614] ppid=13547 vsize=10846964 memory=1164 CPUtime=5.32 cores=0,2,4,6
/proc/13550/task/13614/stat : 13614 (java) S 13547 13550 5621 0 -1 1077944384 26787 12998 0 0 516 9 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388337625456 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13615] ppid=13547 vsize=10846964 memory=8317482817917895235 CPUtime=0.07 cores=0,2,4,6
/proc/13550/task/13615/stat : 13615 (java) S 13547 13550 5621 0 -1 1077944384 3 12998 0 0 0 0 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140387308882400 140388814182101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
[pid=13550/tid=13616] ppid=13547 vsize=10846964 memory=0 CPUtime=1.51 cores=0,2,4,6
/proc/13550/task/13616/stat : 13616 (java) S 13547 13550 5621 0 -1 1077944384 1733 12998 0 0 73 71 4 3 20 0 15 0 407095648 11107291136 545005 33554432000 4194304 4196468 140722167066912 140388336573360 140388814183042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26836992 140722167069430 140722167071941 140722167071941 140722167074767 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2180020 KiB

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

[startup+2457.44 s]
# the end of solver process 13550 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.04 s, system=4.02169 s

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

Child status: 143
Real time (s): 2457.44
CPU time (s): 2520.06
CPU user time (s): 2516.04
CPU system time (s): 4.02169
CPU usage (%): 102.548
Max. virtual memory (cumulated for all children) (KiB): 10849628
Max. memory (cumulated for all children) (KiB): 2441136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.04
system time used= 4.02169
maximum resident set size= 2441136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472656
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131952
involuntary context switches= 4258


# summary of solver processes directly reported to runsolver:
#   pid: 13550
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2516.04
#   total CPU system time (s): 4.02169

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0181 second user time and 18.5158 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-12 18:11:19
IDJOB=4387515
IDBENCH=141154
IDSOLVER=2823
FILE ID=node107/4387515-1568308395
RUNJOBID= node107-1568282247-6563
PBS_JOBID= 21701087
Free space on /tmp= 55672 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387515-1568308395/watcher-4387515-1568308395 -o /tmp/evaluation-result-4387515-1568308395/solver-4387515-1568308395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568282247-6563 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=510534566 HOME/instance-4387515-1568308395.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=510534566

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        29905132 kB
MemAvailable:   30223916 kB
Buffers:          107696 kB
Cached:           480596 kB
SwapCached:        80484 kB
Active:          1987692 kB
Inactive:         289180 kB
Active(anon):    1617076 kB
Inactive(anon):   100864 kB
Active(file):     370616 kB
Inactive(file):   188316 kB
Unevictable:      109236 kB
Mlocked:          109236 kB
SwapTotal:      67108860 kB
SwapFree:       66920536 kB
Dirty:             34828 kB
Writeback:             0 kB
AnonPages:       1685520 kB
Mapped:            44884 kB
Shmem:             20284 kB
Slab:             180032 kB
SReclaimable:     151372 kB
SUnreclaim:        28660 kB
KernelStack:        3968 kB
PageTables:         8916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2690724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1531904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 55636 MiB
End job on node107 at 2019-09-12 18:52:17