Trace number 4401182

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.12.2SAT (TO)1428805 2520.12 2469.85

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.75/0.56	c Concrete v3.12.2.1568631193530 running
44.92/18.83	o 1025027
44.92/18.86	o 1027106
44.92/18.87	o 1032332
44.92/18.89	o 1036875
45.24/18.91	o 1038000
45.24/18.93	o 1041832
45.24/18.94	o 1042229
45.24/18.96	o 1046397
45.24/18.97	o 1049793
45.24/18.98	o 1050720
46.06/19.25	o 1050859
46.06/19.26	o 1051054
46.06/19.26	o 1051157
46.06/19.27	o 1052306
46.06/19.28	o 1052850
46.06/19.28	o 1056591
46.06/19.29	o 1057166
46.35/19.30	o 1057716
46.35/19.31	o 1061315
46.35/19.32	o 1064687
46.35/19.32	o 1066600
46.61/19.45	o 1066752
46.61/19.46	o 1066769
46.61/19.46	o 1067296
46.61/19.47	o 1067675
46.61/19.49	o 1068349
46.61/19.50	o 1072331
46.85/19.50	o 1072712
46.85/19.51	o 1074571
46.85/19.51	o 1079752
46.85/19.52	o 1080138
46.99/19.61	o 1080418
46.99/19.62	o 1080467
46.99/19.62	o 1080850
46.99/19.63	o 1081394
46.99/19.63	o 1081470
46.99/19.64	o 1082014
46.99/19.64	o 1083151
46.99/19.65	o 1083166
46.99/19.65	o 1083416
46.99/19.65	o 1084093
46.99/19.66	o 1084319
46.99/19.67	o 1085954
46.99/19.68	o 1089035
46.99/19.68	o 1090635
46.99/19.69	o 1091486
47.20/19.70	o 1094839
47.20/19.70	o 1095218
47.20/19.71	o 1095685
47.20/19.71	o 1097498
47.31/19.81	o 1097963
47.31/19.81	o 1100274
47.31/19.82	o 1100417
47.31/19.82	o 1101508
47.31/19.83	o 1102130
47.31/19.83	o 1102750
47.31/19.83	o 1105017
47.31/19.84	o 1105492
47.31/19.84	o 1108617
47.31/19.85	o 1109237
47.31/19.85	o 1109652
47.31/19.86	o 1112848
47.31/19.86	o 1112991
47.31/19.87	o 1117345
47.31/19.87	o 1121821
47.31/19.88	o 1122912
47.31/19.89	o 1124938
47.31/19.89	o 1128996
47.46/19.97	o 1129126
47.46/19.98	o 1129803
47.46/19.98	o 1130330
47.46/19.99	o 1131257
47.46/19.99	o 1132062
47.46/19.99	o 1132989
47.46/20.00	o 1139314
47.59/20.01	o 1140650
47.59/20.01	o 1142130
47.59/20.02	o 1143466
47.59/20.02	o 1144284
47.59/20.03	o 1145427
47.59/20.03	o 1147185
47.59/20.04	o 1151778
47.59/20.04	o 1152657
47.59/20.05	o 1154675
47.59/20.05	o 1155301
47.59/20.06	o 1155680
47.59/20.06	o 1155858
47.59/20.07	o 1156053
47.59/20.07	o 1160252
47.59/20.08	o 1161470
47.59/20.08	o 1161686
47.59/20.09	o 1162002
47.59/20.09	o 1162691
47.80/20.16	o 1162998
47.80/20.17	o 1163129
47.80/20.17	o 1164134
47.80/20.18	o 1164456
47.80/20.18	o 1164651
48.02/20.22	o 1164970
48.02/20.22	o 1165295
48.02/20.23	o 1166063
48.02/20.23	o 1167154
48.02/20.24	o 1167975
48.02/20.25	o 1168989
48.02/20.25	o 1173301
48.02/20.26	o 1173685
48.02/20.26	o 1174004
48.02/20.26	o 1174931
48.02/20.27	o 1174991
48.02/20.27	o 1175310
48.02/20.28	o 1177894
48.02/20.28	o 1178183
48.02/20.29	o 1179332
48.02/20.29	o 1181025
48.02/20.29	o 1187095
48.21/20.30	o 1187946
48.21/20.30	o 1188271
48.21/20.31	o 1188679
48.21/20.31	o 1189752
48.21/20.32	o 1190279
49.13/20.93	o 1190994
49.13/20.93	o 1191042
49.13/20.94	o 1191049
49.13/20.94	o 1191428
49.13/20.95	o 1192375
49.13/20.95	o 1192568
49.13/20.95	o 1192918
49.13/20.96	o 1194032
49.13/20.96	o 1194050
49.13/20.96	o 1194269
49.13/20.97	o 1194796
49.25/21.05	o 1195007
49.25/21.05	o 1198473
49.25/21.06	o 1199000
49.25/21.06	o 1201130
49.25/21.06	o 1201439
49.25/21.07	o 1201956
49.25/21.08	o 1202005
49.25/21.08	o 1202733
49.25/21.08	o 1202800
49.25/21.09	o 1203119
49.25/21.10	o 1203227
49.67/21.46	o 1203455
49.67/21.47	o 1204366
49.67/21.47	o 1204691
49.67/21.48	o 1205289
49.67/21.48	o 1205290
49.67/21.48	o 1209275
49.67/21.49	o 1209451
49.67/21.49	o 1209649
49.78/21.50	o 1210190
49.78/21.50	o 1210576
49.78/21.51	o 1211530
49.78/21.51	o 1212655
49.78/21.51	o 1212987
49.78/21.52	o 1213442
49.78/21.52	o 1215400
49.78/21.53	o 1216055
49.78/21.53	o 1216380
49.78/21.54	o 1216533
49.78/21.54	o 1217000
49.78/21.55	o 1217154
49.78/21.55	o 1217297
49.78/21.56	o 1217577
49.78/21.56	o 1221129
49.78/21.57	o 1221806
49.78/21.57	o 1224297
49.78/21.57	o 1224346
49.78/21.58	o 1225843
49.78/21.58	o 1226463
49.78/21.59	o 1227764
49.78/21.59	o 1229843
49.89/21.61	o 1231267
50.20/21.84	o 1231490
50.20/21.84	o 1232463
50.20/21.85	o 1234115
50.20/21.85	o 1234209
50.20/21.88	o 1243217
50.20/21.88	o 1244730
50.30/21.98	o 1246648
50.30/21.99	o 1247167
50.30/22.00	o 1247529
50.30/22.01	o 1248073
50.53/22.01	o 1248819
51.97/23.31	o 1248865
51.97/23.31	o 1249190
51.97/23.32	o 1249239
51.97/23.32	o 1249243
51.97/23.32	o 1249717
51.97/23.33	o 1250986
51.97/23.33	o 1251513
51.97/23.34	o 1251726
51.97/23.34	o 1253531
51.97/23.35	o 1253608
51.97/23.35	o 1254733
51.97/23.37	o 1255122
51.97/23.37	o 1259595
51.97/23.38	o 1259599
52.07/23.41	o 1265677
52.07/23.44	o 1266275
52.07/23.45	o 1268392
52.07/23.45	o 1268683
52.07/23.45	o 1269069
52.07/23.46	o 1271609
52.07/23.46	o 1273726
52.07/23.47	o 1273876
52.07/23.47	o 1275285
52.07/23.47	o 1278440
52.07/23.48	o 1279117
52.07/23.48	o 1279442
52.07/23.49	o 1279902
52.07/23.49	o 1284768
52.18/23.59	o 1285859
52.28/23.63	o 1287954
52.28/23.63	o 1288218
52.28/23.64	o 1288739
52.28/23.64	o 1290085
52.28/23.64	o 1290528
52.28/23.65	o 1294305
52.38/23.72	o 1296818
52.38/23.72	o 1297823
52.38/23.73	o 1298914
52.38/23.79	o 1299419
52.38/23.79	o 1300053
52.38/23.79	o 1300673
52.48/23.80	o 1301764
56.48/27.49	o 1302071
56.48/27.50	o 1302202
56.58/27.50	o 1302397
56.58/27.50	o 1303149
56.58/27.51	o 1303511
56.58/27.51	o 1304056
56.69/27.63	o 1304455
56.69/27.63	o 1307125
56.69/27.64	o 1308097
56.69/27.64	o 1308137
56.69/27.65	o 1310145
56.69/27.65	o 1311082
56.69/27.65	o 1311403
56.69/27.66	o 1312672
56.69/27.66	o 1313199
56.79/27.76	o 1315599
56.79/27.76	o 1315985
56.79/27.77	o 1317245
57.01/28.00	o 1318007
57.12/28.02	o 1318657
57.12/28.08	o 1319202
58.61/29.55	o 1319439
58.61/29.55	o 1319487
58.61/29.55	o 1319906
58.61/29.56	o 1319954
58.61/29.56	o 1320816
58.61/29.56	o 1322612
58.61/29.57	o 1323114
58.61/29.57	o 1329882
58.61/29.58	o 1340118
58.61/29.58	o 1344040
58.61/29.59	o 1344106
58.61/29.59	o 1344573
58.72/29.60	o 1347740
58.72/29.60	o 1347935
58.72/29.60	o 1348566
58.72/29.61	o 1349672
58.72/29.62	o 1353842
58.72/29.62	o 1354369
58.72/29.62	o 1354688
58.72/29.63	o 1356538
58.72/29.63	o 1356733
58.72/29.64	o 1357388
58.72/29.64	o 1358008
58.72/29.64	o 1360016
58.72/29.65	o 1361436
58.72/29.65	o 1363241
58.72/29.66	o 1366046
58.72/29.66	o 1367842
58.72/29.67	o 1370446
58.72/29.68	o 1375228
58.72/29.69	o 1375507
58.72/29.69	o 1376531
58.82/29.70	o 1379727
58.82/29.71	o 1381503
58.82/29.71	o 1381789
58.82/29.72	o 1382716
58.82/29.72	o 1383498
58.82/29.72	o 1385069
58.82/29.73	o 1387480
58.82/29.73	o 1387591
58.82/29.74	o 1389005
58.82/29.74	o 1392025
58.82/29.75	o 1394669
58.82/29.76	o 1399214
58.82/29.77	o 1399362
59.62/30.53	o 1399601
60.14/31.04	o 1404862
60.14/31.05	o 1404993
2147.62/2103.27	o 1405051
2147.62/2103.28	o 1405360
2147.72/2103.38	o 1405714
2147.72/2103.38	o 1406403
2150.05/2105.65	o 1406820
2150.05/2105.65	o 1409087
2150.76/2106.32	o 1409985
2150.76/2106.33	o 1410739
2176.75/2131.96	o 1411116
2176.75/2131.96	o 1415470
2176.75/2131.97	o 1420644
2215.45/2170.04	o 1421161
2215.45/2170.04	o 1424304
2215.45/2170.05	o 1426115
2453.47/2404.38	o 1427878
2453.47/2404.38	o 1428805
2520.06/2469.80	Exception in thread "main" java.util.concurrent.TimeoutException
2520.06/2469.80		at concrete.MAC.mac(MAC.scala:192)
2520.06/2469.80		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.06/2469.80		at scala.util.Try$.apply(Try.scala:212)
2520.06/2469.80		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.06/2469.80		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.06/2469.80		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.06/2469.80		at concrete.MAC.oneRun(MAC.scala:265)
2520.06/2469.80		at concrete.MAC.nextSolution(MAC.scala:284)
2520.06/2469.80		at concrete.MAC.nextSolution(MAC.scala:369)
2520.06/2469.80		at concrete.Solver.hasNext(Solver.scala:160)
2520.06/2469.80		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.06/2469.80		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.06/2469.80		at concrete.Solver.foreach(Solver.scala:67)
2520.06/2469.80		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.06/2469.80		at scala.util.Success.map(Try.scala:264)
2520.06/2469.80		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.06/2469.80		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.06/2469.80		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.06/2469.80		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.06/2469.80		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.06/2469.80		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.06/2469.80		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.06/2469.80		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.06/2469.80		at scala.App.$anonfun$main$1(App.scala:75)
2520.06/2469.80		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.06/2469.80		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.06/2469.80		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.06/2469.80		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.06/2469.80		at scala.App.main(App.scala:75)
2520.06/2469.80		at scala.App.main$(App.scala:73)
2520.06/2469.80		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.06/2469.80		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.06/2469.82	v <instantiation
2520.06/2469.82	v         cost = '1428805'>
2520.06/2469.82	v       <list>
2520.06/2469.82	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.06/2469.82	v       </list>
2520.06/2469.82	v       <values>
2520.06/2469.82	v         0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 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 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
2520.06/2469.82	v       </values>
2520.06/2469.82	v     </instantiation>
2520.06/2469.82	s SATISFIABLE

Verifier Data 

OK	1428805

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401182-1568695450/watcher-4401182-1568695450 -o /tmp/evaluation-result-4401182-1568695450/solver-4401182-1568695450 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568673291-22997 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2063277470 HOME/instance-4401182-1568695450.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
solver pid=32332, runsolver pid=32329
Current StackSize limit: 8192 KiB


[startup+0.110483 s]*
/proc/loadavg: 1.01 1.39 1.49 3/223 32389
/proc/meminfo: memFree=30029796/32770624 swapFree=67004556/67108860
[pid=32332] ppid=32329 vsize=10355560 memory=20728 CPUtime=0.11 cores=0,2,4,6
/proc/32332/stat : 32332 (java) S 32329 32332 22966 0 -1 1077944320 4947 13112 0 0 2 1 5 3 20 0 9 0 445784622 10604093440 5182 33554432000 4194304 4196468 140727513867808 140727513850352 140501261221623 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
/proc/32332/statm: 2588890 5182 2102 1 0 2551431 0
[pid=32332/tid=32385] ppid=32329 vsize=10355560 memory=4351193298085119111 CPUtime=0.09 cores=0,2,4,6
/proc/32332/task/32385/stat : 32385 (java) R 32329 32332 22966 0 -1 4202560 2698 13112 0 0 1 0 5 3 20 0 9 0 445784631 10604093440 5182 33554432000 4194304 4196468 140727513867808 140501233057648 140501261243549 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32386] ppid=32329 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32386/stat : 32386 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 9 0 445784632 10604093440 5182 33554432000 4194304 4196468 140727513867808 140501265463952 140501261231829 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32387] ppid=32329 vsize=10355560 memory=140468294006400 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32387/stat : 32387 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 9 0 445784632 10604093440 5182 33554432000 4194304 4196468 140727513867808 140501199505936 140501261231829 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32388] ppid=32329 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32388/stat : 32388 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 9 0 445784632 10604093440 5182 33554432000 4194304 4196468 140727513867808 140500833503632 140501261231829 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32389] ppid=32329 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32389/stat : 32389 (java) S 32329 32332 22966 0 -1 1077944384 2 13112 0 0 0 0 5 3 20 0 9 0 445784632 10604093440 5182 33554432000 4194304 4196468 140727513867808 140500832450832 140501261231829 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32390] ppid=32329 vsize=10355560 memory=140468294006400 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32390/stat : 32390 (java) S 32329 32332 22966 0 -1 1077944384 2 13112 0 0 0 0 5 3 20 0 9 0 445784633 10604093440 5182 33554432000 4194304 4196468 140727513867808 140500720638832 140501261232770 0 0 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32391] ppid=32329 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32391/stat : 32391 (java) S 32329 32332 22966 0 -1 1077944384 33 13112 0 0 0 0 5 3 20 0 9 0 445784634 10604093440 5182 33554432000 4194304 4196468 140727513867808 140500719584800 140501261231829 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32392] ppid=32329 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32392/stat : 32392 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 9 0 445784634 10604093440 5182 33554432000 4194304 4196468 140727513867808 140500124296624 140501261231829 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 20728 KiB

[startup+0.210458 s]*
/proc/loadavg: 1.09 1.40 1.50 5/232 32398
/proc/meminfo: memFree=30014808/32770624 swapFree=67004556/67108860
[pid=32332] ppid=32329 vsize=10820196 memory=38684 CPUtime=0.27 cores=0,2,4,6
/proc/32332/stat : 32332 (java) S 32329 32332 22966 0 -1 1077944320 7502 13112 0 0 18 1 5 3 20 0 15 0 445784622 11079880704 9671 33554432000 4194304 4196468 140727513867808 140727513850352 140501261221623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
/proc/32332/statm: 2705049 9671 3302 1 0 2667149 0
[pid=32332/tid=32385] ppid=32329 vsize=10820196 memory=-6517102902069810590 CPUtime=0.2 cores=0,2,4,6
/proc/32332/task/32385/stat : 32385 (java) R 32329 32332 22966 0 -1 4202560 3893 13112 0 0 11 1 5 3 20 0 15 0 445784631 11079880704 9671 33554432000 4194304 4196468 140727513867808 140501233026848 140501261243549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32386] ppid=32329 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32386/stat : 32386 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784632 11079880704 9671 33554432000 4194304 4196468 140727513867808 140501265463952 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32387] ppid=32329 vsize=10820196 memory=140468294006400 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32387/stat : 32387 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784632 11079880704 9671 33554432000 4194304 4196468 140727513867808 140501199505936 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32388] ppid=32329 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32388/stat : 32388 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784632 11079880704 9671 33554432000 4194304 4196468 140727513867808 140500833503632 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32389] ppid=32329 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32389/stat : 32389 (java) S 32329 32332 22966 0 -1 1077944384 2 13112 0 0 0 0 5 3 20 0 15 0 445784632 11079880704 9671 33554432000 4194304 4196468 140727513867808 140500832450832 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32390] ppid=32329 vsize=10820196 memory=140468294006400 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32390/stat : 32390 (java) S 32329 32332 22966 0 -1 1077944384 2 13112 0 0 0 0 5 3 20 0 15 0 445784633 11079880704 9671 33554432000 4194304 4196468 140727513867808 140500720638832 140501261232770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32391] ppid=32329 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32391/stat : 32391 (java) S 32329 32332 22966 0 -1 1077944384 33 13112 0 0 0 0 5 3 20 0 15 0 445784634 11079880704 9671 33554432000 4194304 4196468 140727513867808 140500719584800 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32392] ppid=32329 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32392/stat : 32392 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784634 11079880704 9671 33554432000 4194304 4196468 140727513867808 140500124296560 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32393] ppid=32329 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32393/stat : 32393 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11079880704 9671 33554432000 4194304 4196468 140727513867808 140499816896848 140501261240219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32394] ppid=32329 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32332/task/32394/stat : 32394 (java) R 32329 32332 22966 0 -1 1077944384 489 13112 0 0 1 0 5 3 20 0 15 0 445784637 11079880704 9671 33554432000 4194304 4196468 140727513867808 140500686027120 140501261232770 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32395] ppid=32329 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/32332/task/32395/stat : 32395 (java) S 32329 32332 22966 0 -1 1077944384 198 13112 0 0 1 0 5 3 20 0 15 0 445784637 11079880704 9671 33554432000 4194304 4196468 140727513867808 140500684974320 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32396] ppid=32329 vsize=10820196 memory=140468294006400 CPUtime=0.11 cores=0,2,4,6
/proc/32332/task/32396/stat : 32396 (java) S 32329 32332 22966 0 -1 1077944384 665 13112 0 0 3 0 5 3 20 0 15 0 445784637 11079880704 9671 33554432000 4194304 4196468 140727513867808 140500683921520 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32397] ppid=32329 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32397/stat : 32397 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11079880704 9671 33554432000 4194304 4196468 140727513867808 140499783338208 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32398] ppid=32329 vsize=10820196 memory=140468294006400 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32398/stat : 32398 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784637 11079880704 9671 33554432000 4194304 4196468 140727513867808 140500682869936 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 38684 KiB

[startup+0.310582 s]*
/proc/loadavg: 1.09 1.40 1.50 4/232 32398
/proc/meminfo: memFree=30002888/32770624 swapFree=67004556/67108860
[pid=32332] ppid=32329 vsize=10820196 memory=46964 CPUtime=0.41 cores=0,2,4,6
/proc/32332/stat : 32332 (java) S 32329 32332 22966 0 -1 1077944320 11010 13112 0 0 30 3 5 3 20 0 15 0 445784622 11079880704 11741 33554432000 4194304 4196468 140727513867808 140727513850352 140501261221623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
/proc/32332/statm: 2705049 11741 3347 1 0 2667149 0
[pid=32332/tid=32385] ppid=32329 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/32332/task/32385/stat : 32385 (java) R 32329 32332 22966 0 -1 4202560 7344 13112 0 0 19 2 5 3 20 0 15 0 445784631 11079880704 11741 33554432000 4194304 4196468 140727513867808 140501233044016 140501245302110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32386] ppid=32329 vsize=10820196 memory=6935054825532540783 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32386/stat : 32386 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784632 11079880704 11741 33554432000 4194304 4196468 140727513867808 140501265463952 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32387] ppid=32329 vsize=10820196 memory=140468294016993 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32387/stat : 32387 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784632 11079880704 11741 33554432000 4194304 4196468 140727513867808 140501199505936 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32388] ppid=32329 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32388/stat : 32388 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784632 11079880704 11741 33554432000 4194304 4196468 140727513867808 140500833503632 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32389] ppid=32329 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32389/stat : 32389 (java) S 32329 32332 22966 0 -1 1077944384 2 13112 0 0 0 0 5 3 20 0 15 0 445784632 11079880704 11741 33554432000 4194304 4196468 140727513867808 140500832450832 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32390] ppid=32329 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32390/stat : 32390 (java) S 32329 32332 22966 0 -1 1077944384 2 13112 0 0 0 0 5 3 20 0 15 0 445784633 11079880704 11741 33554432000 4194304 4196468 140727513867808 140500720638832 140501261232770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32391] ppid=32329 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32391/stat : 32391 (java) S 32329 32332 22966 0 -1 1077944384 33 13112 0 0 0 0 5 3 20 0 15 0 445784634 11079880704 11741 33554432000 4194304 4196468 140727513867808 140500719584800 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32392] ppid=32329 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32392/stat : 32392 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784634 11079880704 11741 33554432000 4194304 4196468 140727513867808 140500124296560 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32393] ppid=32329 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32393/stat : 32393 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11079880704 11741 33554432000 4194304 4196468 140727513867808 140499816896848 140501261240219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32394] ppid=32329 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/32332/task/32394/stat : 32394 (java) S 32329 32332 22966 0 -1 1077944384 511 13112 0 0 2 0 5 3 20 0 15 0 445784637 11079880704 11741 33554432000 4194304 4196468 140727513867808 140500686027120 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32395] ppid=32329 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/32332/task/32395/stat : 32395 (java) S 32329 32332 22966 0 -1 1077944384 200 13112 0 0 1 0 5 3 20 0 15 0 445784637 11079880704 11741 33554432000 4194304 4196468 140727513867808 140500684974320 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32396] ppid=32329 vsize=10820196 memory=140468294006400 CPUtime=0.13 cores=0,2,4,6
/proc/32332/task/32396/stat : 32396 (java) S 32329 32332 22966 0 -1 1077944384 698 13112 0 0 5 0 5 3 20 0 15 0 445784637 11079880704 11741 33554432000 4194304 4196468 140727513867808 140500683921520 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32397] ppid=32329 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32397/stat : 32397 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11079880704 11741 33554432000 4194304 4196468 140727513867808 140499783338208 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32398] ppid=32329 vsize=10820196 memory=140468294006400 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32398/stat : 32398 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784637 11079880704 11741 33554432000 4194304 4196468 140727513867808 140500682869936 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46964 KiB

[startup+0.700705 s]
/proc/loadavg: 1.09 1.40 1.50 3/232 32398
/proc/meminfo: memFree=29987292/32770624 swapFree=67004556/67108860
[pid=32332] ppid=32329 vsize=10824364 memory=80768 CPUtime=1.1 cores=0,2,4,6
/proc/32332/stat : 32332 (java) S 32329 32332 22966 0 -1 1077944320 15396 13112 0 0 97 5 5 3 20 0 15 0 445784622 11084148736 20192 33554432000 4194304 4196468 140727513867808 140727513850352 140501261221623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
/proc/32332/statm: 2706091 20192 3513 1 0 2668173 0
[pid=32332/tid=32385] ppid=32329 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/32332/task/32385/stat : 32385 (java) R 32329 32332 22966 0 -1 4202560 10551 13112 0 0 56 3 5 3 20 0 15 0 445784631 11084148736 20192 33554432000 4194304 4196468 140727513867808 140501233046016 140501245302110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32386] ppid=32329 vsize=10824364 memory=3617997941631097904 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32386/stat : 32386 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784632 11084148736 20192 33554432000 4194304 4196468 140727513867808 140501265463952 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32387] ppid=32329 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32387/stat : 32387 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784632 11084148736 20192 33554432000 4194304 4196468 140727513867808 140501199505936 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32388] ppid=32329 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32388/stat : 32388 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784632 11084148736 20192 33554432000 4194304 4196468 140727513867808 140500833503632 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32389] ppid=32329 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32389/stat : 32389 (java) S 32329 32332 22966 0 -1 1077944384 2 13112 0 0 0 0 5 3 20 0 15 0 445784632 11084148736 20192 33554432000 4194304 4196468 140727513867808 140500832450832 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32390] ppid=32329 vsize=10824364 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32390/stat : 32390 (java) S 32329 32332 22966 0 -1 1077944384 5 13112 0 0 0 0 5 3 20 0 15 0 445784633 11084148736 20192 33554432000 4194304 4196468 140727513867808 140500720638832 140501261232770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32391] ppid=32329 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32391/stat : 32391 (java) S 32329 32332 22966 0 -1 1077944384 33 13112 0 0 0 0 5 3 20 0 15 0 445784634 11084148736 20192 33554432000 4194304 4196468 140727513867808 140500719584800 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32392] ppid=32329 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32392/stat : 32392 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784634 11084148736 20192 33554432000 4194304 4196468 140727513867808 140500124296560 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32393] ppid=32329 vsize=10824364 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32393/stat : 32393 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11084148736 20192 33554432000 4194304 4196468 140727513867808 140499816896848 140501261240219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32394] ppid=32329 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/32332/task/32394/stat : 32394 (java) S 32329 32332 22966 0 -1 1077944384 930 13112 0 0 11 0 5 3 20 0 15 0 445784637 11084148736 20192 33554432000 4194304 4196468 140727513867808 140500686027120 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32395] ppid=32329 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/32332/task/32395/stat : 32395 (java) S 32329 32332 22966 0 -1 1077944384 582 13112 0 0 11 0 5 3 20 0 15 0 445784637 11084148736 20192 33554432000 4194304 4196468 140727513867808 140500684974320 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32396] ppid=32329 vsize=10824364 memory=140468180518928 CPUtime=0.25 cores=0,2,4,6
/proc/32332/task/32396/stat : 32396 (java) S 32329 32332 22966 0 -1 1077944384 1074 13112 0 0 17 0 5 3 20 0 15 0 445784637 11084148736 20192 33554432000 4194304 4196468 140727513867808 140500683921520 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32397] ppid=32329 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32397/stat : 32397 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11084148736 20192 33554432000 4194304 4196468 140727513867808 140499783338208 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32398] ppid=32329 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32398/stat : 32398 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784637 11084148736 20192 33554432000 4194304 4196468 140727513867808 140500682869936 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 80768 KiB

[startup+1.50077 s]
/proc/loadavg: 1.09 1.40 1.50 5/232 32398
/proc/meminfo: memFree=29927532/32770624 swapFree=67004556/67108860
[pid=32332] ppid=32329 vsize=10834680 memory=201164 CPUtime=2.75 cores=0,2,4,6
/proc/32332/stat : 32332 (java) S 32329 32332 22966 0 -1 1077944320 26260 13112 0 0 256 11 5 3 20 0 15 0 445784622 11094712320 50291 33554432000 4194304 4196468 140727513867808 140727513850352 140501261221623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
/proc/32332/statm: 2708670 50291 3590 1 0 2670733 0
[pid=32332/tid=32385] ppid=32329 vsize=10834680 memory=102428 CPUtime=1.43 cores=0,2,4,6
/proc/32332/task/32385/stat : 32385 (java) R 32329 32332 22966 0 -1 4202560 15777 13112 0 0 130 5 5 3 20 0 15 0 445784631 11094712320 50291 33554432000 4194304 4196468 140727513867808 140501233048784 140501261233558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32386] ppid=32329 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32332/task/32386/stat : 32386 (java) S 32329 32332 22966 0 -1 1077944384 67 13112 0 0 1 0 5 3 20 0 15 0 445784632 11094712320 50291 33554432000 4194304 4196468 140727513867808 140501265463952 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32387] ppid=32329 vsize=10834680 memory=7893295687695687954 CPUtime=0.09 cores=0,2,4,6
/proc/32332/task/32387/stat : 32387 (java) S 32329 32332 22966 0 -1 1077944384 279 13112 0 0 1 0 5 3 20 0 15 0 445784632 11094712320 50291 33554432000 4194304 4196468 140727513867808 140501199505936 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32388] ppid=32329 vsize=10834680 memory=6994781559841273980 CPUtime=0.09 cores=0,2,4,6
/proc/32332/task/32388/stat : 32388 (java) S 32329 32332 22966 0 -1 1077944384 10 13112 0 0 1 0 5 3 20 0 15 0 445784632 11094712320 50291 33554432000 4194304 4196468 140727513867808 140500833503632 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32389] ppid=32329 vsize=10834680 memory=4498404016631593314 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32389/stat : 32389 (java) S 32329 32332 22966 0 -1 1077944384 115 13112 0 0 0 0 5 3 20 0 15 0 445784632 11094712320 50291 33554432000 4194304 4196468 140727513867808 140500832450832 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32390] ppid=32329 vsize=10834680 memory=11525665341 CPUtime=0.09 cores=0,2,4,6
/proc/32332/task/32390/stat : 32390 (java) S 32329 32332 22966 0 -1 1077944384 480 13112 0 0 1 0 5 3 20 0 15 0 445784633 11094712320 50291 33554432000 4194304 4196468 140727513867808 140500720638832 140501261232770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32391] ppid=32329 vsize=10834680 memory=280936361003544 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32391/stat : 32391 (java) S 32329 32332 22966 0 -1 1077944384 34 13112 0 0 0 0 5 3 20 0 15 0 445784634 11094712320 50291 33554432000 4194304 4196468 140727513867808 140500719584800 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32392] ppid=32329 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32392/stat : 32392 (java) S 32329 32332 22966 0 -1 1077944384 1 13112 0 0 0 0 5 3 20 0 15 0 445784634 11094712320 50291 33554432000 4194304 4196468 140727513867808 140500124296560 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32393] ppid=32329 vsize=10834680 memory=288230583166042426 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32393/stat : 32393 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11094712320 50291 33554432000 4194304 4196468 140727513867808 140499816896848 140501261240219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32394] ppid=32329 vsize=10834680 memory=14127840492784186 CPUtime=0.44 cores=0,2,4,6
/proc/32332/task/32394/stat : 32394 (java) S 32329 32332 22966 0 -1 1077944384 2788 13112 0 0 36 0 5 3 20 0 15 0 445784637 11094712320 50291 33554432000 4194304 4196468 140727513867808 140500686027120 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32395] ppid=32329 vsize=10834680 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/32332/task/32395/stat : 32395 (java) S 32329 32332 22966 0 -1 1077944384 2032 13112 0 0 40 0 5 3 20 0 15 0 445784637 11094712320 50291 33554432000 4194304 4196468 140727513867808 140500684974320 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32396] ppid=32329 vsize=10834680 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/32332/task/32396/stat : 32396 (java) R 32329 32332 22966 0 -1 4202560 2462 13112 0 0 40 1 5 3 20 0 15 0 445784637 11094712320 50291 33554432000 4194304 4196468 140727513867808 140500683921520 140501245302110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0

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

/proc/32332/task/32385/stat : 32385 (java) R 32329 32332 22966 0 -1 4202560 220643 13112 0 0 230835 37 5 3 20 0 15 0 445784631 11107315712 656573 33554432000 4194304 4196468 140727513867808 140501233057440 140500883419317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32386] ppid=32329 vsize=10846988 memory=2626292 CPUtime=11.39 cores=0,2,4,6
/proc/32332/task/32386/stat : 32386 (java) S 32329 32332 22966 0 -1 1077944384 35667 13112 0 0 1070 61 5 3 20 0 15 0 445784632 11107315712 656573 33554432000 4194304 4196468 140727513867808 140501265463952 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32387] ppid=32329 vsize=10846988 memory=2626292 CPUtime=11.43 cores=0,2,4,6
/proc/32332/task/32387/stat : 32387 (java) S 32329 32332 22966 0 -1 1077944384 35229 13112 0 0 1076 59 5 3 20 0 15 0 445784632 11107315712 656573 33554432000 4194304 4196468 140727513867808 140501199505936 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32388] ppid=32329 vsize=10846988 memory=2626292 CPUtime=11.5 cores=0,2,4,6
/proc/32332/task/32388/stat : 32388 (java) S 32329 32332 22966 0 -1 1077944384 40529 13112 0 0 1084 58 5 3 20 0 15 0 445784632 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500833503632 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32389] ppid=32329 vsize=10846988 memory=132 CPUtime=11.43 cores=0,2,4,6
/proc/32332/task/32389/stat : 32389 (java) S 32329 32332 22966 0 -1 1077944384 36469 13112 0 0 1077 58 5 3 20 0 15 0 445784632 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500832450832 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32390] ppid=32329 vsize=10846988 memory=2626292 CPUtime=1.52 cores=0,2,4,6
/proc/32332/task/32390/stat : 32390 (java) S 32329 32332 22966 0 -1 1077944384 33797 13112 0 0 133 11 5 3 20 0 15 0 445784633 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500720638832 140501261232770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32391] ppid=32329 vsize=10846988 memory=2626292 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32391/stat : 32391 (java) S 32329 32332 22966 0 -1 1077944384 44 13112 0 0 0 0 5 3 20 0 15 0 445784634 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500719584864 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32392] ppid=32329 vsize=10846988 memory=280936362708544 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32392/stat : 32392 (java) S 32329 32332 22966 0 -1 1077944384 10 13112 0 0 0 0 5 3 20 0 15 0 445784634 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500124296576 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32393] ppid=32329 vsize=10846988 memory=2626292 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32393/stat : 32393 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11107315712 656573 33554432000 4194304 4196468 140727513867808 140499816896848 140501261240219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32394] ppid=32329 vsize=10846988 memory=2626292 CPUtime=5.59 cores=0,2,4,6
/proc/32332/task/32394/stat : 32394 (java) S 32329 32332 22966 0 -1 1077944384 16049 13112 0 0 548 3 5 3 20 0 15 0 445784637 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500686027120 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32395] ppid=32329 vsize=10846988 memory=2626292 CPUtime=5.33 cores=0,2,4,6
/proc/32332/task/32395/stat : 32395 (java) S 32329 32332 22966 0 -1 1077944384 12076 13112 0 0 523 2 5 3 20 0 15 0 445784637 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500684974320 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32396] ppid=32329 vsize=10846988 memory=2626292 CPUtime=2.41 cores=0,2,4,6
/proc/32332/task/32396/stat : 32396 (java) S 32329 32332 22966 0 -1 1077944384 11228 13112 0 0 229 4 5 3 20 0 15 0 445784637 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500683921520 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32397] ppid=32329 vsize=10846988 memory=231247 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32397/stat : 32397 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11107315712 656573 33554432000 4194304 4196468 140727513867808 140499783338208 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32398] ppid=32329 vsize=10846988 memory=2626292 CPUtime=1.33 cores=0,2,4,6
/proc/32332/task/32398/stat : 32398 (java) S 32329 32332 22966 0 -1 1077944384 1636 13112 0 0 60 65 5 3 20 0 15 0 445784637 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500682869936 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
Current children cumulated CPU time: 2370.13 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2626292 KiB

[startup+2382.3 s]
/proc/loadavg: 1.46 1.43 1.41 3/231 311
/proc/meminfo: memFree=27340956/32770624 swapFree=67004556/67108860
[pid=32332] ppid=32329 vsize=10846988 memory=2626292 CPUtime=2431.11 cores=0,2,4,6
/proc/32332/stat : 32332 (java) S 32329 32332 22966 0 -1 1077944320 450426 13112 0 0 242754 349 5 3 20 0 15 0 445784622 11107315712 656573 33554432000 4194304 4196468 140727513867808 140727513850352 140501261221623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
/proc/32332/statm: 2711747 656573 3631 1 0 2673805 0
[pid=32332/tid=32385] ppid=32329 vsize=10846988 memory=2626292 CPUtime=2368.4 cores=0,2,4,6
/proc/32332/task/32385/stat : 32385 (java) R 32329 32332 22966 0 -1 4202560 221884 13112 0 0 236795 37 5 3 20 0 15 0 445784631 11107315712 656573 33554432000 4194304 4196468 140727513867808 140501233057952 140500873203774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32386] ppid=32329 vsize=10846988 memory=2626292 CPUtime=11.72 cores=0,2,4,6
/proc/32332/task/32386/stat : 32386 (java) S 32329 32332 22966 0 -1 1077944384 35968 13112 0 0 1102 62 5 3 20 0 15 0 445784632 11107315712 656573 33554432000 4194304 4196468 140727513867808 140501265463952 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32387] ppid=32329 vsize=10846988 memory=2626292 CPUtime=11.75 cores=0,2,4,6
/proc/32332/task/32387/stat : 32387 (java) S 32329 32332 22966 0 -1 1077944384 36809 13112 0 0 1108 59 5 3 20 0 15 0 445784632 11107315712 656573 33554432000 4194304 4196468 140727513867808 140501199505936 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32388] ppid=32329 vsize=10846988 memory=2626292 CPUtime=11.82 cores=0,2,4,6
/proc/32332/task/32388/stat : 32388 (java) S 32329 32332 22966 0 -1 1077944384 40995 13112 0 0 1116 58 5 3 20 0 15 0 445784632 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500833503632 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32389] ppid=32329 vsize=10846988 memory=2626292 CPUtime=11.76 cores=0,2,4,6
/proc/32332/task/32389/stat : 32389 (java) S 32329 32332 22966 0 -1 1077944384 37241 13112 0 0 1109 59 5 3 20 0 15 0 445784632 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500832450832 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32390] ppid=32329 vsize=10846988 memory=2626292 CPUtime=1.58 cores=0,2,4,6
/proc/32332/task/32390/stat : 32390 (java) S 32329 32332 22966 0 -1 1077944384 34228 13112 0 0 138 12 5 3 20 0 15 0 445784633 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500720638832 140501261232770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32391] ppid=32329 vsize=10846988 memory=2626292 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32391/stat : 32391 (java) S 32329 32332 22966 0 -1 1077944384 44 13112 0 0 0 0 5 3 20 0 15 0 445784634 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500719584864 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32392] ppid=32329 vsize=10846988 memory=2626292 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32392/stat : 32392 (java) S 32329 32332 22966 0 -1 1077944384 10 13112 0 0 0 0 5 3 20 0 15 0 445784634 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500124296576 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32393] ppid=32329 vsize=10846988 memory=2626292 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32393/stat : 32393 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11107315712 656573 33554432000 4194304 4196468 140727513867808 140499816896848 140501261240219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32394] ppid=32329 vsize=10846988 memory=2626292 CPUtime=5.59 cores=0,2,4,6
/proc/32332/task/32394/stat : 32394 (java) S 32329 32332 22966 0 -1 1077944384 16051 13112 0 0 548 3 5 3 20 0 15 0 445784637 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500686027120 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32395] ppid=32329 vsize=10846988 memory=2626292 CPUtime=5.33 cores=0,2,4,6
/proc/32332/task/32395/stat : 32395 (java) S 32329 32332 22966 0 -1 1077944384 12079 13112 0 0 523 2 5 3 20 0 15 0 445784637 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500684974320 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32396] ppid=32329 vsize=10846988 memory=8 CPUtime=2.41 cores=0,2,4,6
/proc/32332/task/32396/stat : 32396 (java) S 32329 32332 22966 0 -1 1077944384 11230 13112 0 0 229 4 5 3 20 0 15 0 445784637 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500683921520 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32397] ppid=32329 vsize=10846988 memory=2626292 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32397/stat : 32397 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11107315712 656573 33554432000 4194304 4196468 140727513867808 140499783338208 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32398] ppid=32329 vsize=10846988 memory=2626292 CPUtime=1.37 cores=0,2,4,6
/proc/32332/task/32398/stat : 32398 (java) S 32329 32332 22966 0 -1 1077944384 1672 13112 0 0 62 67 5 3 20 0 15 0 445784637 11107315712 656573 33554432000 4194304 4196468 140727513867808 140500682869936 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
Current children cumulated CPU time: 2431.11 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2626292 KiB

[startup+2442.3 s]
/proc/loadavg: 1.34 1.40 1.41 3/233 319
/proc/meminfo: memFree=27354244/32770624 swapFree=67004556/67108860
[pid=32332] ppid=32329 vsize=10846988 memory=2610900 CPUtime=2492.1 cores=0,2,4,6
/proc/32332/stat : 32332 (java) S 32329 32332 22966 0 -1 1077944320 458739 13112 0 0 248848 354 5 3 20 0 15 0 445784622 11107315712 652725 33554432000 4194304 4196468 140727513867808 140727513850352 140501261221623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
/proc/32332/statm: 2711747 652725 3631 1 0 2673805 0
[pid=32332/tid=32385] ppid=32329 vsize=10846988 memory=2610900 CPUtime=2427.98 cores=0,2,4,6
/proc/32332/task/32385/stat : 32385 (java) R 32329 32332 22966 0 -1 4202560 224100 13112 0 0 242752 38 5 3 20 0 15 0 445784631 11107315712 652725 33554432000 4194304 4196468 140727513867808 140501233057360 140500881920318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32386] ppid=32329 vsize=10846988 memory=2612440 CPUtime=12.05 cores=0,2,4,6
/proc/32332/task/32386/stat : 32386 (java) S 32329 32332 22966 0 -1 1077944384 36537 13112 0 0 1135 62 5 3 20 0 15 0 445784632 11107315712 652725 33554432000 4194304 4196468 140727513867808 140501265463952 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32387] ppid=32329 vsize=10846988 memory=2612440 CPUtime=12.09 cores=0,2,4,6
/proc/32332/task/32387/stat : 32387 (java) S 32329 32332 22966 0 -1 1077944384 37559 13112 0 0 1141 60 5 3 20 0 15 0 445784632 11107315712 652725 33554432000 4194304 4196468 140727513867808 140501199505936 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32388] ppid=32329 vsize=10846988 memory=2625776 CPUtime=12.16 cores=0,2,4,6
/proc/32332/task/32388/stat : 32388 (java) S 32329 32332 22966 0 -1 1077944384 42834 13112 0 0 1149 59 5 3 20 0 15 0 445784632 11107315712 652725 33554432000 4194304 4196468 140727513867808 140500833503632 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32389] ppid=32329 vsize=10846988 memory=2625776 CPUtime=12.09 cores=0,2,4,6
/proc/32332/task/32389/stat : 32389 (java) S 32329 32332 22966 0 -1 1077944384 39446 13112 0 0 1142 59 5 3 20 0 15 0 445784632 11107315712 652725 33554432000 4194304 4196468 140727513867808 140500832450832 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32390] ppid=32329 vsize=10846988 memory=2621672 CPUtime=1.63 cores=0,2,4,6
/proc/32332/task/32390/stat : 32390 (java) S 32329 32332 22966 0 -1 1077944384 34904 13112 0 0 143 12 5 3 20 0 15 0 445784633 11107315712 652725 33554432000 4194304 4196468 140727513867808 140500720638832 140501261232770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32391] ppid=32329 vsize=10846988 memory=2621672 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32391/stat : 32391 (java) S 32329 32332 22966 0 -1 1077944384 44 13112 0 0 0 0 5 3 20 0 15 0 445784634 11107315712 652725 33554432000 4194304 4196468 140727513867808 140500719584864 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32392] ppid=32329 vsize=10846988 memory=2626292 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32392/stat : 32392 (java) S 32329 32332 22966 0 -1 1077944384 10 13112 0 0 0 0 5 3 20 0 15 0 445784634 11107315712 652725 33554432000 4194304 4196468 140727513867808 140500124296576 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32393] ppid=32329 vsize=10846988 memory=2626292 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32393/stat : 32393 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11107315712 652725 33554432000 4194304 4196468 140727513867808 140499816896848 140501261240219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32394] ppid=32329 vsize=10846988 memory=988 CPUtime=5.59 cores=0,2,4,6
/proc/32332/task/32394/stat : 32394 (java) S 32329 32332 22966 0 -1 1077944384 16055 13112 0 0 548 3 5 3 20 0 15 0 445784637 11107315712 652725 33554432000 4194304 4196468 140727513867808 140500686027120 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32395] ppid=32329 vsize=10846988 memory=2613980 CPUtime=5.33 cores=0,2,4,6
/proc/32332/task/32395/stat : 32395 (java) S 32329 32332 22966 0 -1 1077944384 12085 13112 0 0 523 2 5 3 20 0 15 0 445784637 11107315712 652725 33554432000 4194304 4196468 140727513867808 140500684974320 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32396] ppid=32329 vsize=10846988 memory=2610900 CPUtime=2.41 cores=0,2,4,6
/proc/32332/task/32396/stat : 32396 (java) S 32329 32332 22966 0 -1 1077944384 11234 13112 0 0 229 4 5 3 20 0 15 0 445784637 11107315712 652725 33554432000 4194304 4196468 140727513867808 140500683921520 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32397] ppid=32329 vsize=10846988 memory=2624752 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32397/stat : 32397 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11107315712 652725 33554432000 4194304 4196468 140727513867808 140499783338208 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32398] ppid=32329 vsize=10846988 memory=2612440 CPUtime=1.4 cores=0,2,4,6
/proc/32332/task/32398/stat : 32398 (java) S 32329 32332 22966 0 -1 1077944384 1716 13112 0 0 63 69 5 3 20 0 15 0 445784637 11107315712 652725 33554432000 4194304 4196468 140727513867808 140500682869936 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 58 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
Current children cumulated CPU time: 2492.1 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2610900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2469.8 s]
/proc/loadavg: 1.23 1.37 1.40 3/233 323
/proc/meminfo: memFree=27363680/32770624 swapFree=67004556/67108860
[pid=32332] ppid=32329 vsize=10846988 memory=2601152 CPUtime=2520.06 cores=0,2,4,6
/proc/32332/stat : 32332 (java) S 32329 32332 22966 0 -1 1077944320 462579 13112 0 0 251642 356 5 3 20 0 15 0 445784622 11107315712 650288 33554432000 4194304 4196468 140727513867808 140727513850352 140501261221623 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
/proc/32332/statm: 2711747 650288 3631 1 0 2673805 0
[pid=32332/tid=32385] ppid=32329 vsize=10846988 memory=1540 CPUtime=2455.27 cores=0,2,4,6
/proc/32332/task/32385/stat : 32385 (java) R 32329 32332 22966 0 -1 4202560 224993 13112 0 0 245481 38 5 3 20 0 15 0 445784631 11107315712 650288 33554432000 4194304 4196468 140727513867808 140501233057552 140500881878231 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32386] ppid=32329 vsize=10846988 memory=728 CPUtime=12.2 cores=0,2,4,6
/proc/32332/task/32386/stat : 32386 (java) S 32329 32332 22966 0 -1 1077944384 36625 13112 0 0 1150 62 5 3 20 0 15 0 445784632 11107315712 650288 33554432000 4194304 4196468 140727513867808 140501265463952 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32387] ppid=32329 vsize=10846988 memory=4000 CPUtime=12.24 cores=0,2,4,6
/proc/32332/task/32387/stat : 32387 (java) S 32329 32332 22966 0 -1 1077944384 37862 13112 0 0 1156 60 5 3 20 0 15 0 445784632 11107315712 650288 33554432000 4194304 4196468 140727513867808 140501199505936 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32388] ppid=32329 vsize=10846988 memory=2832 CPUtime=12.31 cores=0,2,4,6
/proc/32332/task/32388/stat : 32388 (java) S 32329 32332 22966 0 -1 1077944384 43165 13112 0 0 1164 59 5 3 20 0 15 0 445784632 11107315712 650288 33554432000 4194304 4196468 140727513867808 140500833503632 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32389] ppid=32329 vsize=10846988 memory=1212 CPUtime=12.25 cores=0,2,4,6
/proc/32332/task/32389/stat : 32389 (java) S 32329 32332 22966 0 -1 1077944384 41287 13112 0 0 1158 59 5 3 20 0 15 0 445784632 11107315712 650288 33554432000 4194304 4196468 140727513867808 140500832450832 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32390] ppid=32329 vsize=10846988 memory=2601152 CPUtime=1.66 cores=0,2,4,6
/proc/32332/task/32390/stat : 32390 (java) S 32329 32332 22966 0 -1 1077944384 35259 13112 0 0 145 13 5 3 20 0 15 0 445784633 11107315712 650288 33554432000 4194304 4196468 140727513867808 140500720638832 140501261232770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32391] ppid=32329 vsize=10846988 memory=1716 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32391/stat : 32391 (java) S 32329 32332 22966 0 -1 1077944384 44 13112 0 0 0 0 5 3 20 0 15 0 445784634 11107315712 650288 33554432000 4194304 4196468 140727513867808 140500719584864 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32392] ppid=32329 vsize=10846988 memory=784 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32392/stat : 32392 (java) S 32329 32332 22966 0 -1 1077944384 10 13112 0 0 0 0 5 3 20 0 15 0 445784634 11107315712 650288 33554432000 4194304 4196468 140727513867808 140500124296576 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32393] ppid=32329 vsize=10846988 memory=8252 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32393/stat : 32393 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11107315712 650288 33554432000 4194304 4196468 140727513867808 140499816896848 140501261240219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32394] ppid=32329 vsize=10846988 memory=6032 CPUtime=5.59 cores=0,2,4,6
/proc/32332/task/32394/stat : 32394 (java) S 32329 32332 22966 0 -1 1077944384 16058 13112 0 0 548 3 5 3 20 0 15 0 445784637 11107315712 650288 33554432000 4194304 4196468 140727513867808 140500686027120 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32395] ppid=32329 vsize=10846988 memory=1056 CPUtime=5.33 cores=0,2,4,6
/proc/32332/task/32395/stat : 32395 (java) S 32329 32332 22966 0 -1 1077944384 12087 13112 0 0 523 2 5 3 20 0 15 0 445784637 11107315712 650288 33554432000 4194304 4196468 140727513867808 140500684974320 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32396] ppid=32329 vsize=10846988 memory=1540 CPUtime=2.41 cores=0,2,4,6
/proc/32332/task/32396/stat : 32396 (java) S 32329 32332 22966 0 -1 1077944384 11236 13112 0 0 229 4 5 3 20 0 15 0 445784637 11107315712 650288 33554432000 4194304 4196468 140727513867808 140500683921520 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32397] ppid=32329 vsize=10846988 memory=784 CPUtime=0.08 cores=0,2,4,6
/proc/32332/task/32397/stat : 32397 (java) S 32329 32332 22966 0 -1 1077944384 3 13112 0 0 0 0 5 3 20 0 15 0 445784637 11107315712 650288 33554432000 4194304 4196468 140727513867808 140499783338208 140501261231829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
[pid=32332/tid=32398] ppid=32329 vsize=10846988 memory=8252 CPUtime=1.41 cores=0,2,4,6
/proc/32332/task/32398/stat : 32398 (java) S 32329 32332 22966 0 -1 1077944384 1738 13112 0 0 63 70 5 3 20 0 15 0 445784637 11107315712 650288 33554432000 4194304 4196468 140727513867808 140500682869936 140501261232770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 22601728 140727513869039 140727513871557 140727513871557 140727513874383 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2601152 KiB

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

[startup+2469.85 s]
# the end of solver process 32332 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.49 s, system=3.62749 s

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

Child status: 143
Real time (s): 2469.85
CPU time (s): 2520.12
CPU user time (s): 2516.49
CPU system time (s): 3.62749
CPU usage (%): 102.036
Max. virtual memory (cumulated for all children) (KiB): 10849660
Max. memory (cumulated for all children) (KiB): 2730948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.49
system time used= 3.62749
maximum resident set size= 2732484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479951
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= 83960
involuntary context switches= 6607


# summary of solver processes directly reported to runsolver:
#   pid: 32332
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.49
#   total CPU system time (s): 3.62749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3759 second user time and 23.8287 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-17 06:43:30
IDJOB=4401182
IDBENCH=141154
IDSOLVER=2857
FILE ID=node133/4401182-1568695450
RUNJOBID= node133-1568673291-22997
PBS_JOBID= 21703782
Free space on /tmp= 59540 MiB

SOLVER NAME= Concrete 3.12.2
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-4401182-1568695450/watcher-4401182-1568695450 -o /tmp/evaluation-result-4401182-1568695450/solver-4401182-1568695450 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568673291-22997 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=2063277470 HOME/instance-4401182-1568695450.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=2063277470

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
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:        30038368 kB
MemAvailable:   30918920 kB
Buffers:          245260 kB
Cached:           925996 kB
SwapCached:         3176 kB
Active:          1554944 kB
Inactive:         588856 kB
Active(anon):     996424 kB
Inactive(anon):    25172 kB
Active(file):     558520 kB
Inactive(file):   563684 kB
Unevictable:      110508 kB
Mlocked:          110508 kB
SwapTotal:      67108860 kB
SwapFree:       67004556 kB
Dirty:             35680 kB
Writeback:             0 kB
AnonPages:       1128452 kB
Mapped:            62260 kB
Shmem:             40108 kB
Slab:             177604 kB
SReclaimable:     148364 kB
SUnreclaim:        29240 kB
KernelStack:        4064 kB
PageTables:         8024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2160436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    942080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59508 MiB
End job on node133 at 2019-09-17 07:24:41