Trace number 4274994

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
OscaR - Parallel with EPS 2017-07-26SAT (TO)30 19995.4 2520.1599

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-lei450-25d.xml
MD5SUM1f90dacd0a92fbbf60104d292dc9abb3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints17425
Number of domains1
Minimum domain size450
Maximum domain size450
Distribution of domain sizes[{"size":450,"count":450}]
Minimum variable degree12
Maximum variable degree158
Distribution of variable degrees[{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":17425}]
Number of extensional constraints0
Number of intensional constraints17425
Distribution of constraint types[{"type":"intension","count":17425}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.29/0.25	c version: 2017-07-26
0.29/0.25	c seed: 2078366583
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 11000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
3.55/1.25	c Parsing done, starting search...
51.05/17.30	o 449
53.44/17.64	o 448
58.23/18.23	o 447
63.76/18.97	o 446
70.10/19.75	o 445
75.66/20.49	o 444
82.02/21.24	o 443
88.44/22.03	o 442
93.90/22.78	o 441
100.25/23.52	o 440
105.82/24.29	o 439
112.32/25.02	o 438
117.73/25.76	o 437
123.30/26.46	o 436
128.91/27.16	o 435
134.34/27.87	o 434
139.87/28.54	o 433
146.19/29.32	o 432
150.96/30.00	o 431
157.27/30.70	o 430
162.83/31.40	o 429
167.69/32.08	o 428
173.15/32.77	o 427
179.52/33.52	o 426
185.07/34.25	o 425
190.63/34.96	o 424
196.21/35.67	o 423
201.77/36.38	o 422
207.43/37.08	o 421
212.85/37.76	o 420
218.41/38.48	o 419
224.07/39.18	o 418
229.57/39.87	o 417
234.33/40.48	o 416
239.98/41.17	o 415
245.48/41.86	o 414
251.04/42.56	o 413
256.59/43.26	o 412
262.21/43.96	o 411
267.74/44.64	o 410
273.31/45.34	o 409
278.10/45.99	o 408
283.66/46.69	o 407
288.43/47.27	o 406
294.01/47.96	o 405
299.57/48.65	o 404
305.14/49.31	o 403
309.88/49.98	o 402
314.47/50.55	o 401
320.03/51.23	o 400
325.59/51.91	o 399
330.37/52.59	o 398
335.93/53.25	o 397
340.72/53.80	o 396
345.50/54.46	o 395
351.14/55.11	o 394
356.62/55.81	o 393
361.40/56.48	o 392
365.43/57.02	o 391
370.95/57.67	o 390
375.71/58.30	o 389
380.55/58.84	o 388
385.27/59.48	o 387
390.26/60.13	o 386
395.61/60.77	o 385
399.57/61.30	o 384
405.19/61.96	o 383
409.92/62.59	o 382
413.99/63.11	o 381
419.45/63.73	o 380
424.25/64.35	o 379
428.19/64.87	o 378
432.96/65.48	o 377
437.81/66.09	o 376
441.71/66.60	o 375
447.27/67.22	o 374
452.05/67.83	o 373
456.03/68.34	o 372
460.71/68.95	o 371
465.58/69.55	o 370
469.54/70.04	o 369
474.24/70.65	o 368
478.30/71.14	o 367
482.95/71.73	o 366
487.72/72.31	o 365
491.67/72.81	o 364
495.62/73.38	o 363
499.62/73.86	o 362
504.39/74.44	o 361
508.38/74.91	o 360
512.35/75.49	o 359
517.21/76.06	o 358
521.11/76.53	o 357
525.17/77.09	o 356
529.06/77.56	o 355
533.91/78.12	o 354
537.03/78.58	o 353
541.86/79.13	o 352
544.99/79.59	o 351
549.82/80.16	o 350
553.77/80.62	o 349
558.49/81.21	o 348
561.69/81.66	o 347
566.43/82.21	o 346
569.62/82.65	o 345
574.45/83.21	o 344
577.59/83.66	o 343
582.33/84.24	o 342
585.51/84.68	o 341
590.30/85.24	o 340
593.45/85.69	o 339
596.85/86.11	o 338
601.40/86.66	o 337
604.76/87.09	o 336
609.31/87.61	o 335
612.60/88.03	o 334
616.51/88.57	o 333
619.66/88.99	o 332
624.40/89.51	o 331
627.59/89.93	o 330
630.77/90.35	o 329
634.75/90.89	o 328
637.92/91.29	o 327
642.74/91.85	o 326
645.88/92.26	o 325
649.12/92.66	o 324
653.12/93.17	o 323
656.26/93.58	o 322
660.30/94.07	o 321
663.42/94.49	o 320
666.61/94.87	o 319
670.57/95.38	o 318
673.77/95.76	o 317
677.02/96.15	o 316
680.93/96.64	o 315
684.19/97.04	o 314
687.34/97.44	o 313
691.27/97.92	o 312
694.45/98.31	o 311
696.84/98.69	o 310
700.89/99.18	o 309
704.01/99.56	o 308
707.20/99.94	o 307
711.17/100.43	o 306
714.37/100.81	o 305
716.82/101.19	o 304
720.71/101.65	o 303
723.97/102.04	o 302
727.03/102.41	o 301
731.03/102.91	o 300
733.42/103.29	o 299
736.61/103.65	o 298
739.00/104.02	o 297
743.73/104.51	o 296
746.11/104.87	o 295
749.29/105.23	o 294
753.27/105.73	o 293
755.77/106.11	o 292
758.84/106.46	o 291
762.04/106.81	o 290
765.21/107.27	o 289
768.34/107.62	o 288
770.74/107.98	o 287
773.92/108.33	o 286
777.10/108.79	o 285
780.36/109.15	o 284
782.68/109.50	o 283
785.88/109.84	o 282
789.06/110.29	o 281
792.23/110.64	o 280
794.62/110.98	o 279
797.81/111.33	o 278
801.78/111.80	o 277
804.25/112.15	o 276
806.62/112.49	o 275
809.76/112.82	o 274
812.22/113.15	o 273
815.33/113.59	o 272
818.51/113.93	o 271
820.90/114.26	o 270
823.29/114.58	o 269
826.47/114.93	o 268
829.62/115.38	o 267
832.80/115.72	o 266
835.26/116.03	o 265
837.58/116.35	o 264
839.98/116.66	o 263
843.23/117.10	o 262
846.34/117.44	o 261
848.74/117.77	o 260
851.19/118.10	o 259
854.30/118.42	o 258
857.48/118.86	o 257
859.93/119.16	o 256
862.30/119.48	o 255
864.65/119.79	o 254
867.11/120.10	o 253
870.22/120.42	o 252
873.41/120.85	o 251
875.86/121.17	o 250
878.18/121.47	o 249
880.57/121.77	o 248
883.04/122.07	o 247
885.36/122.37	o 246
887.75/122.67	o 245
891.00/123.09	o 244
893.32/123.39	o 243
895.71/123.69	o 242
898.11/123.98	o 241
900.53/124.28	o 240
902.89/124.57	o 239
905.33/124.86	o 238
908.50/125.26	o 237
910.85/125.56	o 236
913.29/125.85	o 235
915.77/126.17	o 234
918.02/126.46	o 233
920.40/126.75	o 232
922.87/127.04	o 231
925.19/127.31	o 230
928.36/127.72	o 229
930.80/128.01	o 228
933.13/128.30	o 227
934.72/128.59	o 226
937.12/128.86	o 225
939.59/129.15	o 224
941.90/129.43	o 223
944.30/129.71	o 222
947.54/130.11	o 221
949.86/130.41	o 220
951.46/130.69	o 219
953.83/130.97	o 218
956.21/131.25	o 217
958.62/131.52	o 216
960.21/131.79	o 215
962.67/132.06	o 214
964.99/132.32	o 213
967.38/132.61	o 212
969.77/133.00	o 211
972.14/133.26	o 210
974.54/133.55	o 209
976.93/133.82	o 208
978.59/134.08	o 207
980.91/134.34	o 206
983.31/134.60	o 205
984.97/134.88	o 204
987.36/135.17	o 203
989.67/135.45	o 202
992.15/135.73	o 201
993.67/136.01	o 200
997.62/136.40	o 199
999.27/136.69	o 198
1001.61/136.94	o 197
1003.27/137.20	o 196
1005.59/137.47	o 195
1007.99/137.75	o 194
1010.45/138.04	o 193
1012.77/138.31	o 192
1014.35/138.59	o 191
1016.74/138.85	o 190
1018.40/139.11	o 189
1020.71/139.38	o 188
1023.10/139.64	o 187
1025.50/139.91	o 186
1027.18/140.18	o 185
1030.27/140.58	o 184
1032.67/140.85	o 183
1034.32/141.11	o 182
1036.64/141.35	o 181
1039.04/141.62	o 180
1040.63/141.89	o 179
1043.15/142.15	o 178
1045.42/142.42	o 177
1047.01/142.65	o 176
1049.41/142.92	o 175
1051.06/143.18	o 174
1053.35/143.44	o 173
1055.74/143.71	o 172
1057.34/143.96	o 171
1059.72/144.23	o 170
1061.32/144.48	o 169
1063.70/144.75	o 168
1065.30/145.01	o 167
1067.68/145.28	o 166
1070.87/145.65	o 165
1073.24/145.91	o 164
1074.91/146.16	o 163
1077.22/146.42	o 162
1078.82/146.66	o 161
1081.22/146.91	o 160
1082.89/147.17	o 159
1085.19/147.43	o 158
1086.79/147.69	o 157
1089.17/147.93	o 156
1090.85/148.18	o 155
1093.15/148.44	o 154
1094.75/148.68	o 153
1097.14/148.93	o 152
1098.81/149.19	o 151
1101.17/149.44	o 150
1102.73/149.69	o 149
1105.12/149.94	o 148
1106.78/150.19	o 147
1109.09/150.45	o 146
1110.71/150.70	o 145
1113.07/150.94	o 144
1114.73/151.19	o 143
1117.06/151.44	o 142
1118.65/151.68	o 141
1121.04/151.93	o 140
1122.77/152.17	o 139
1125.03/152.43	o 138
1126.63/152.66	o 137
1129.02/152.90	o 136
1130.75/153.14	o 135
1132.20/153.38	o 134
1134.59/153.63	o 133
1136.97/154.00	o 132
1139.35/154.23	o 131
1140.95/154.48	o 130
1143.34/154.72	o 129
1144.94/154.95	o 128
1146.60/155.17	o 127
1148.92/155.41	o 126
1150.52/155.63	o 125
1152.11/155.86	o 124
1153.77/156.10	o 123
1156.08/156.33	o 122
1157.67/156.57	o 121
1159.32/156.80	o 120
1161.73/157.04	o 119
1163.24/157.27	o 118
1165.65/157.51	o 117
1167.24/157.75	o 116
1168.84/157.97	o 115
1170.52/158.20	o 114
1172.82/158.42	o 113
1174.42/158.65	o 112
1176.01/158.88	o 111
1177.67/159.10	o 110
1180.00/159.32	o 109
1181.59/159.54	o 108
1183.19/159.76	o 107
1184.79/159.98	o 106
1186.49/160.20	o 105
1188.77/160.42	o 104
1190.31/160.63	o 103
1191.91/160.85	o 102
1193.56/161.08	o 101
1195.08/161.30	o 100
1197.48/161.52	o 99
1199.08/161.74	o 98
1200.67/161.95	o 97
1202.30/162.16	o 96
1203.82/162.38	o 95
1205.42/162.59	o 94
1207.01/162.80	o 93
1209.47/163.02	o 92
1210.99/163.23	o 91
1212.59/163.44	o 90
1214.19/163.65	o 89
1215.78/163.87	o 88
1217.45/164.08	o 87
1218.97/164.29	o 86
1220.56/164.49	o 85
1222.96/164.71	o 84
1225.41/165.04	o 83
1226.92/165.27	o 82
1228.52/165.49	o 81
1230.12/165.69	o 80
1231.71/165.89	o 79
1233.38/166.10	o 78
1235.70/166.31	o 77
1237.28/166.53	o 76
1238.87/166.74	o 75
1240.48/166.95	o 74
1242.15/167.16	o 73
1243.66/167.36	o 72
1245.26/167.55	o 71
1246.89/167.76	o 70
1248.44/167.97	o 69
1250.17/168.19	o 68
1252.43/168.40	o 67
1254.02/168.61	o 66
1255.62/168.82	o 65
1257.27/169.03	o 64
1258.79/169.24	o 63
1260.39/169.46	o 62
1261.98/169.67	o 61
1263.58/169.88	o 60
1265.24/170.07	o 59
1266.75/170.27	o 58
1268.35/170.48	o 57
1270.74/170.70	o 56
1272.34/170.93	o 55
1274.01/171.15	o 54
1275.53/171.35	o 53
1277.12/171.55	o 52
1278.67/171.76	o 51
1280.31/171.98	o 50
1281.99/172.19	o 49
1283.44/172.40	o 48
1285.04/172.59	o 47
1286.64/172.80	o 46
1289.12/173.01	o 45
1290.61/173.23	o 44
1292.21/173.44	o 43
1293.81/173.66	o 42
1295.41/173.87	o 41
1297.07/174.08	o 40
1298.60/174.29	o 39
1300.98/174.50	o 38
1302.58/174.71	o 37
1304.16/174.92	o 36
1305.79/175.20	o 35
1307.31/175.39	o 34
1309.74/175.61	o 33
1311.27/175.83	o 32
1312.92/176.08	o 31
1320.00/176.99	o 30
19994.42/2520.09	s SATISFIABLE
19994.42/2520.09	v <instantiation>
19994.42/2520.09	v 	<list>
19994.42/2520.09	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449]
19994.42/2520.09	v 	</list>
19994.42/2520.09	v 	<values>
19994.42/2520.09	v 		23 8 21 5 29 23 22 28 29 15 23 15 28 24 26 0 14 26 3 13 27 19 29 13 5 30 24 0 24 7 9 25 16 20 13 6 10 29 15 24 16 20 2 28 28 19 29 24 17 24 12 28 1 0 17 20 29 25 20 14 23 4 24 17 21 10 14 12 27 27 6 7 22 15 28 30 4 26 20 4 1 23 6 15 14 6 14 4 19 24 9 26 26 22 9 30 25 13 6 29 18 28 0 27 19 20 13 19 9 7 15 18 26 16 11 14 3 27 29 3 6 30 26 17 18 29 7 19 19 22 30 29 11 15 21 16 18 27 7 25 24 16 27 0 8 27 30 23 30 9 23 30 16 25 8 13 9 4 19 11 26 28 3 8 23 23 4 15 13 11 17 12 27 12 0 16 12 5 22 28 26 6 27 21 14 27 27 11 24 29 17 24 14 2 12 10 23 26 23 26 26 9 25 30 30 28 22 13 11 19 25 18 30 9 22 27 22 17 0 26 17 29 28 6 1 14 22 30 28 29 28 27 21 15 29 27 2 16 6 2 29 10 30 26 21 5 16 28 25 30 29 14 30 3 7 18 21 11 20 9 14 13 23 12 30 5 12 15 21 20 18 5 25 30 30 23 21 1 30 30 11 28 19 29 26 21 5 10 20 24 25 20 7 22 14 14 29 25 18 6 22 21 30 25 20 1 28 28 17 29 29 15 4 18 2 8 22 24 26 30 16 27 12 21 15 21 12 18 20 21 28 29 20 22 24 10 9 29 27 7 1 28 13 16 29 8 27 15 22 18 23 3 30 23 7 28 13 28 19 24 22 25 17 17 25 13 17 27 5 19 18 26 28 11 18 23 25 8 13 25 9 24 7 5 8 2 22 6 26 29 10 23 24 8 21 7 1 10 23 28 2 30 24 17 10 16 30 27 20 9 11 24 15 11 13 19 29 24 17 21 11 29 8 26 25 27 10 30 25 25 1 5 3 11 9 16 25 16 3 4 29 5 5 10 30 23 1 2 17 17 
19994.42/2520.09	v 	</values>
19994.42/2520.09	v </instantiation>

Verifier Data 

OK	30

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274994-1502681358/watcher-4274994-1502681358 -o /tmp/evaluation-result-4274994-1502681358/solver-4274994-1502681358 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502677978-30238 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2078366583 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4274994-1502681358.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=30410, runsolver pid=30407

[startup+0.100141 s]*
/proc/loadavg: 8.73 8.90 8.84 2/200 30430
/proc/meminfo: memFree=31605192/32770624 swapFree=67108860/67108860
[pid=30410] ppid=30407 vsize=14325320 memory=33324 CPUtime=0.12 cores=0-7
/proc/30410/stat : 30410 (java) S 30407 30410 30211 0 -1 1077944320 8179 0 0 0 11 1 0 0 20 0 20 0 101223624 14669127680 8331 33554432000 4194304 4196468 140735359328016 140735359310560 140114102058743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
/proc/30410/statm: 3581330 8331 3411 1 0 3569050 0
[pid=30410/tid=30412] ppid=30407 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 30211 0 -1 4202560 6112 0 0 0 8 1 0 0 20 0 20 0 101223624 14669127680 8331 33554432000 4194304 4196468 140735359328016 140114106255696 140114102080669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30413] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30413/stat : 30413 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 8331 33554432000 4194304 4196468 140735359328016 140114054679440 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30414] ppid=30407 vsize=14325320 memory=140108924176000 CPUtime=0 cores=0-7
/proc/30410/task/30414/stat : 30414 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 8331 33554432000 4194304 4196468 140735359328016 140114053626640 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30415] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30415/stat : 30415 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 8331 33554432000 4194304 4196468 140735359328016 140114052574352 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30416] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30416/stat : 30416 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 8331 33554432000 4194304 4196468 140735359328016 140114051521552 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30417] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30417/stat : 30417 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 8331 33554432000 4194304 4196468 140735359328016 140114050468240 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30418] ppid=30407 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/30410/task/30418/stat : 30418 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 8331 33554432000 4194304 4196468 140735359328016 140114049415440 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30419] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30419/stat : 30419 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 8331 33554432000 4194304 4196468 140735359328016 140114048363152 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30420] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30420/stat : 30420 (java) S 30407 30410 30211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 8331 33554432000 4194304 4196468 140735359328016 140113690683920 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30421] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30421/stat : 30421 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223626 14669127680 8331 33554432000 4194304 4196468 140735359328016 140113156692592 140114102069890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30422] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30422/stat : 30422 (java) S 30407 30410 30211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101223627 14669127680 8331 33554432000 4194304 4196468 140735359328016 140113155638560 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30423] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30423/stat : 30423 (java) S 30407 30410 30211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101223627 14669127680 8331 33554432000 4194304 4196468 140735359328016 140113154586224 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30424] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30424/stat : 30424 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223629 14669127680 8331 33554432000 4194304 4196468 140735359328016 140113153534544 140114102077339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30425] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30425/stat : 30425 (java) S 30407 30410 30211 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 101223629 14669127680 8331 33554432000 4194304 4196468 140735359328016 140113152481392 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30426] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30426/stat : 30426 (java) S 30407 30410 30211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101223629 14669127680 8331 33554432000 4194304 4196468 140735359328016 140113151428592 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30427] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30427/stat : 30427 (java) S 30407 30410 30211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101223629 14669127680 8331 33554432000 4194304 4196468 140735359328016 140113150376304 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30428] ppid=30407 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/30410/task/30428/stat : 30428 (java) S 30407 30410 30211 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 101223629 14669127680 8331 33554432000 4194304 4196468 140735359328016 140113149323504 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30429] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30429/stat : 30429 (java) S 30407 30410 30211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101223630 14669127680 8331 33554432000 4194304 4196468 140735359328016 140113148271456 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30430] ppid=30407 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/30410/task/30430/stat : 30430 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223630 14669127680 8331 33554432000 4194304 4196468 140735359328016 140113147218736 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33324 KiB

[startup+0.209737 s]*
/proc/loadavg: 8.73 8.90 8.84 3/200 30430
/proc/meminfo: memFree=31596568/32770624 swapFree=67108860/67108860
[pid=30410] ppid=30407 vsize=14325320 memory=42392 CPUtime=0.29 cores=0-7
/proc/30410/stat : 30410 (java) S 30407 30410 30211 0 -1 1077944320 9244 0 0 0 27 2 0 0 20 0 20 0 101223624 14669127680 10598 33554432000 4194304 4196468 140735359328016 140735359310560 140114102058743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
/proc/30410/statm: 3581330 10598 3603 1 0 3569050 0
[pid=30410/tid=30412] ppid=30407 vsize=14325320 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 30211 0 -1 4202560 6785 0 0 0 18 2 0 0 20 0 20 0 101223624 14669127680 10598 33554432000 4194304 4196468 140735359328016 140114106278528 140114086139230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30413] ppid=30407 vsize=14325320 memory=3182 CPUtime=0 cores=0-7
/proc/30410/task/30413/stat : 30413 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 10598 33554432000 4194304 4196468 140735359328016 140114054679440 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30414] ppid=30407 vsize=14325320 memory=3473037986565441184 CPUtime=0 cores=0-7
/proc/30410/task/30414/stat : 30414 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 10598 33554432000 4194304 4196468 140735359328016 140114053626640 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30415] ppid=30407 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/30410/task/30415/stat : 30415 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 10598 33554432000 4194304 4196468 140735359328016 140114052574352 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30416] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30416/stat : 30416 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 10598 33554432000 4194304 4196468 140735359328016 140114051521552 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30417] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30417/stat : 30417 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 10598 33554432000 4194304 4196468 140735359328016 140114050468240 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30418] ppid=30407 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/30410/task/30418/stat : 30418 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 10598 33554432000 4194304 4196468 140735359328016 140114049415440 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30419] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30419/stat : 30419 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 10598 33554432000 4194304 4196468 140735359328016 140114048363152 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30420] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30420/stat : 30420 (java) S 30407 30410 30211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101223625 14669127680 10598 33554432000 4194304 4196468 140735359328016 140113690683920 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30421] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30421/stat : 30421 (java) S 30407 30410 30211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 101223626 14669127680 10598 33554432000 4194304 4196468 140735359328016 140113156692592 140114102069890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30422] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30422/stat : 30422 (java) S 30407 30410 30211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101223627 14669127680 10598 33554432000 4194304 4196468 140735359328016 140113155638560 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30423] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30423/stat : 30423 (java) S 30407 30410 30211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101223627 14669127680 10598 33554432000 4194304 4196468 140735359328016 140113154586224 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30424] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30424/stat : 30424 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223629 14669127680 10598 33554432000 4194304 4196468 140735359328016 140113153534544 140114102077339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30425] ppid=30407 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/30410/task/30425/stat : 30425 (java) S 30407 30410 30211 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 20 0 101223629 14669127680 10598 33554432000 4194304 4196468 140735359328016 140113152481392 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30426] ppid=30407 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/30410/task/30426/stat : 30426 (java) S 30407 30410 30211 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 101223629 14669127680 10598 33554432000 4194304 4196468 140735359328016 140113151428592 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30427] ppid=30407 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/30410/task/30427/stat : 30427 (java) S 30407 30410 30211 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 101223629 14669127680 10598 33554432000 4194304 4196468 140735359328016 140113150376304 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30428] ppid=30407 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/30410/task/30428/stat : 30428 (java) R 30407 30410 30211 0 -1 4202560 447 0 0 0 5 0 0 0 20 0 20 0 101223629 14669127680 10598 33554432000 4194304 4196468 140735359328016 140113149323504 140114080607044 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30429] ppid=30407 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30429/stat : 30429 (java) S 30407 30410 30211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101223630 14669127680 10598 33554432000 4194304 4196468 140735359328016 140113148271456 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30430] ppid=30407 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/30410/task/30430/stat : 30430 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223630 14669127680 10598 33554432000 4194304 4196468 140735359328016 140113147218736 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42392 KiB

[startup+0.309564 s]*
/proc/loadavg: 8.73 8.90 8.84 2/200 30430
/proc/meminfo: memFree=31589436/32770624 swapFree=67108860/67108860
[pid=30410] ppid=30407 vsize=14325340 memory=50984 CPUtime=0.48 cores=0-7
/proc/30410/stat : 30410 (java) S 30407 30410 30211 0 -1 1077944320 10487 0 0 0 45 3 0 0 20 0 20 0 101223624 14669148160 12746 33554432000 4194304 4196468 140735359328016 140735359310560 140114102058743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
/proc/30410/statm: 3581335 12746 3716 1 0 3569050 0
[pid=30410/tid=30412] ppid=30407 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 30211 0 -1 4202560 7553 0 0 0 27 2 0 0 20 0 20 0 101223624 14669148160 12746 33554432000 4194304 4196468 140735359328016 140114106292176 140114102070678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30413] ppid=30407 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30413/stat : 30413 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223625 14669148160 12746 33554432000 4194304 4196468 140735359328016 140114054679440 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30414] ppid=30407 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30414/stat : 30414 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14669148160 12746 33554432000 4194304 4196468 140735359328016 140114053626640 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30415] ppid=30407 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30415/stat : 30415 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14669148160 12746 33554432000 4194304 4196468 140735359328016 140114052574352 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30416] ppid=30407 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30416/stat : 30416 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14669148160 12746 33554432000 4194304 4196468 140735359328016 140114051521552 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30417] ppid=30407 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/30410/task/30417/stat : 30417 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14669148160 12746 33554432000 4194304 4196468 140735359328016 140114050468240 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30418] ppid=30407 vsize=14325340 memory=140108812612527 CPUtime=0 cores=0-7
/proc/30410/task/30418/stat : 30418 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223625 14669148160 12746 33554432000 4194304 4196468 140735359328016 140114049415440 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30419] ppid=30407 vsize=14325340 memory=140108812614832 CPUtime=0 cores=0-7
/proc/30410/task/30419/stat : 30419 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223625 14669148160 12746 33554432000 4194304 4196468 140735359328016 140114048363152 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30420] ppid=30407 vsize=14325340 memory=140108812617136 CPUtime=0 cores=0-7
/proc/30410/task/30420/stat : 30420 (java) S 30407 30410 30211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101223625 14669148160 12746 33554432000 4194304 4196468 140735359328016 140113690683920 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30421] ppid=30407 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30421/stat : 30421 (java) S 30407 30410 30211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 101223626 14669148160 12746 33554432000 4194304 4196468 140735359328016 140113156692592 140114102069890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30422] ppid=30407 vsize=14325340 memory=280217625241232 CPUtime=0 cores=0-7
/proc/30410/task/30422/stat : 30422 (java) S 30407 30410 30211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101223627 14669148160 12746 33554432000 4194304 4196468 140735359328016 140113155638560 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30423] ppid=30407 vsize=14325340 memory=280217625248144 CPUtime=0 cores=0-7
/proc/30410/task/30423/stat : 30423 (java) S 30407 30410 30211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101223627 14669148160 12746 33554432000 4194304 4196468 140735359328016 140113154586224 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30424] ppid=30407 vsize=14325340 memory=280217625189424 CPUtime=0 cores=0-7
/proc/30410/task/30424/stat : 30424 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223629 14669148160 12746 33554432000 4194304 4196468 140735359328016 140113153534544 140114102077339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30425] ppid=30407 vsize=14325340 memory=280217625261968 CPUtime=0.02 cores=0-7
/proc/30410/task/30425/stat : 30425 (java) S 30407 30410 30211 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 20 0 101223629 14669148160 12746 33554432000 4194304 4196468 140735359328016 140113152481392 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30426] ppid=30407 vsize=14325340 memory=280217625268880 CPUtime=0.04 cores=0-7
/proc/30410/task/30426/stat : 30426 (java) S 30407 30410 30211 0 -1 1077944384 404 0 0 0 4 0 0 0 20 0 20 0 101223629 14669148160 12746 33554432000 4194304 4196468 140735359328016 140113151428592 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30427] ppid=30407 vsize=14325340 memory=280217625266576 CPUtime=0.03 cores=0-7
/proc/30410/task/30427/stat : 30427 (java) S 30407 30410 30211 0 -1 1077944384 245 0 0 0 3 0 0 0 20 0 20 0 101223629 14669148160 12746 33554432000 4194304 4196468 140735359328016 140113150376304 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30428] ppid=30407 vsize=14325340 memory=280217625283184 CPUtime=0.08 cores=0-7
/proc/30410/task/30428/stat : 30428 (java) R 30407 30410 30211 0 -1 4202560 499 0 0 0 8 0 0 0 20 0 20 0 101223629 14669148160 12746 33554432000 4194304 4196468 140735359328016 140113149323504 140114102070678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30429] ppid=30407 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30429/stat : 30429 (java) S 30407 30410 30211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101223630 14669148160 12746 33554432000 4194304 4196468 140735359328016 140113148271456 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30430] ppid=30407 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/30410/task/30430/stat : 30430 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223630 14669148160 12746 33554432000 4194304 4196468 140735359328016 140113147218736 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50984 KiB

[startup+0.700849 s]
/proc/loadavg: 8.73 8.90 8.84 5/200 30430
/proc/meminfo: memFree=31566420/32770624 swapFree=67108860/67108860
[pid=30410] ppid=30407 vsize=14327388 memory=104524 CPUtime=1.69 cores=0-7
/proc/30410/stat : 30410 (java) S 30407 30410 30211 0 -1 1077944320 14222 0 0 0 164 5 0 0 20 0 20 0 101223624 14671245312 26131 33554432000 4194304 4196468 140735359328016 140735359310560 140114102058743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
/proc/30410/statm: 3581847 26131 3774 1 0 3569562 0
[pid=30410/tid=30412] ppid=30407 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 30211 0 -1 4202560 8274 0 0 0 64 3 0 0 20 0 20 0 101223624 14671245312 26197 33554432000 4194304 4196468 140735359328016 140114106292096 140114083640590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30413] ppid=30407 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30413/stat : 30413 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223625 14671245312 26197 33554432000 4194304 4196468 140735359328016 140114054679440 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30414] ppid=30407 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30414/stat : 30414 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14671245312 26197 33554432000 4194304 4196468 140735359328016 140114053626640 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30415] ppid=30407 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30415/stat : 30415 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14671245312 26197 33554432000 4194304 4196468 140735359328016 140114052574352 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30416] ppid=30407 vsize=14327388 memory=1720 CPUtime=0 cores=0-7
/proc/30410/task/30416/stat : 30416 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14671245312 26197 33554432000 4194304 4196468 140735359328016 140114051521552 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30417] ppid=30407 vsize=14327388 memory=1004 CPUtime=0 cores=0-7
/proc/30410/task/30417/stat : 30417 (java) S 30407 30410 30211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101223625 14671245312 26197 33554432000 4194304 4196468 140735359328016 140114050468240 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30418] ppid=30407 vsize=14327388 memory=1436 CPUtime=0 cores=0-7
/proc/30410/task/30418/stat : 30418 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223625 14671245312 26197 33554432000 4194304 4196468 140735359328016 140114049415440 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30419] ppid=30407 vsize=14327388 memory=1200 CPUtime=0 cores=0-7
/proc/30410/task/30419/stat : 30419 (java) S 30407 30410 30211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101223625 14671245312 26197 33554432000 4194304 4196468 140735359328016 140114048363152 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30420] ppid=30407 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/30410/task/30420/stat : 30420 (java) S 30407 30410 30211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101223625 14671245312 26197 33554432000 4194304 4196468 140735359328016 140113690683920 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30421] ppid=30407 vsize=14327388 memory=4040 CPUtime=0 cores=0-7
/proc/30410/task/30421/stat : 30421 (java) S 30407 30410 30211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 101223626 14671245312 26197 33554432000 4194304 4196468 140735359328016 140113156692592 140114102069890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0

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

/proc/30410/task/30427/stat : 30427 (java) S 30407 30410 30211 0 -1 1077944384 18424 0 0 0 258 3 0 0 20 0 43 0 101223629 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113150376304 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30428] ppid=30407 vsize=15868636 memory=8536 CPUtime=1.39 cores=0-7
/proc/30410/task/30428/stat : 30428 (java) S 30407 30410 30211 0 -1 1077944384 37958 0 0 0 132 7 0 0 20 0 43 0 101223629 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113149323504 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30429] ppid=30407 vsize=15868636 memory=4616 CPUtime=0 cores=0-7
/proc/30410/task/30429/stat : 30429 (java) S 30407 30410 30211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 101223630 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113148271456 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30430] ppid=30407 vsize=15868636 memory=5176280 CPUtime=1.19 cores=0-7
/proc/30410/task/30430/stat : 30430 (java) S 30407 30410 30211 0 -1 1077944384 4686 0 0 0 49 70 0 0 20 0 43 0 101223630 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113147218736 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 60 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30431] ppid=30407 vsize=15868636 memory=6791534058613427641 CPUtime=0.13 cores=0-7
/proc/30410/task/30431/stat : 30431 (java) S 30407 30410 30211 0 -1 1077944384 3144 0 0 0 7 6 0 0 20 0 43 0 101224917 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113136932176 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30432] ppid=30407 vsize=15868636 memory=5186584 CPUtime=5.76 cores=0-7
/proc/30410/task/30432/stat : 30432 (java) R 30407 30410 30211 0 -1 1077944384 11602 0 0 0 311 265 0 0 20 0 43 0 101224929 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113133782560 140114102069890 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30433] ppid=30407 vsize=15868636 memory=5185016 CPUtime=42.85 cores=0-7
/proc/30410/task/30433/stat : 30433 (java) S 30407 30410 30211 0 -1 1077944384 32485 0 0 0 4262 23 0 0 20 0 43 0 101224939 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113132729376 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30434] ppid=30407 vsize=15868636 memory=1236 CPUtime=2348.38 cores=0-7
/proc/30410/task/30434/stat : 30434 (java) R 30407 30410 30211 0 -1 4202560 84944 0 0 0 234671 167 0 0 20 0 43 0 101224940 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113131669752 140113737043964 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30435] ppid=30407 vsize=15868636 memory=2332 CPUtime=91.11 cores=0-7
/proc/30410/task/30435/stat : 30435 (java) S 30407 30410 30211 0 -1 1077944384 30220 0 0 0 9071 40 0 0 20 0 43 0 101224940 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113128527136 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30436] ppid=30407 vsize=15868636 memory=6791534058613427641 CPUtime=117.38 cores=0-7
/proc/30410/task/30436/stat : 30436 (java) S 30407 30410 30211 0 -1 1077944384 63337 0 0 0 11681 57 0 0 20 0 43 0 101224942 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113127474336 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30437] ppid=30407 vsize=15868636 memory=1728 CPUtime=2418.68 cores=0-7
/proc/30410/task/30437/stat : 30437 (java) R 30407 30410 30211 0 -1 4202560 192496 0 0 0 241663 205 0 0 20 0 43 0 101224942 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113126415032 140113737042584 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30438] ppid=30407 vsize=15868636 memory=29328 CPUtime=81.97 cores=0-7
/proc/30410/task/30438/stat : 30438 (java) S 30407 30410 30211 0 -1 1077944384 47527 0 0 0 8156 41 0 0 20 0 43 0 101224942 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113125369248 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30439] ppid=30407 vsize=15868636 memory=2332 CPUtime=2385.48 cores=0-7
/proc/30410/task/30439/stat : 30439 (java) R 30407 30410 30211 0 -1 4202560 114368 0 0 0 238385 163 0 0 20 0 43 0 101224942 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113124309944 140113737448791 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30440] ppid=30407 vsize=15868636 memory=1292 CPUtime=42.97 cores=0-7
/proc/30410/task/30440/stat : 30440 (java) S 30407 30410 30211 0 -1 1077944384 30553 0 0 0 4287 10 0 0 20 0 43 0 101224942 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113123264160 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30441] ppid=30407 vsize=15868636 memory=6791534058613427641 CPUtime=51.8 cores=0-7
/proc/30410/task/30441/stat : 30441 (java) S 30407 30410 30211 0 -1 1077944384 52893 0 0 0 5155 25 0 0 20 0 43 0 101224942 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113122210848 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30442] ppid=30407 vsize=15868636 memory=-6520471753822164382 CPUtime=28.92 cores=0-7
/proc/30410/task/30442/stat : 30442 (java) S 30407 30410 30211 0 -1 1077944384 42025 0 0 0 2880 12 0 0 20 0 43 0 101224943 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113121158048 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30443] ppid=30407 vsize=15868636 memory=-4695052241013923951 CPUtime=2370.45 cores=0-7
/proc/30410/task/30443/stat : 30443 (java) R 30407 30410 30211 0 -1 4202560 104919 0 0 0 236882 163 0 0 20 0 43 0 101224943 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113120101552 140113737448791 0 4 0 16800975 0 0 0 -1 3 0 0 40 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30444] ppid=30407 vsize=15868636 memory=-7880843606118635149 CPUtime=2417.91 cores=0-7
/proc/30410/task/30444/stat : 30444 (java) R 30407 30410 30211 0 -1 4202560 116734 0 0 0 241615 176 0 0 20 0 43 0 101224943 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113119046920 140113737456372 0 4 0 16800975 0 0 0 -1 6 0 0 44 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30445] ppid=30407 vsize=15868636 memory=8976414709404591081 CPUtime=40.21 cores=0-7
/proc/30410/task/30445/stat : 30445 (java) S 30407 30410 30211 0 -1 1077944384 16191 0 0 0 4011 10 0 0 20 0 43 0 101225131 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113118000672 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30446] ppid=30407 vsize=15868636 memory=-1189914978686163229 CPUtime=24.17 cores=0-7
/proc/30410/task/30446/stat : 30446 (java) S 30407 30410 30211 0 -1 1077944384 9884 0 0 0 2411 6 0 0 20 0 43 0 101225356 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113114813856 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30447] ppid=30407 vsize=15868636 memory=5176280 CPUtime=63.56 cores=0-7
/proc/30410/task/30447/stat : 30447 (java) S 30407 30410 30211 0 -1 1077944384 32178 0 0 0 6341 15 0 0 20 0 43 0 101225356 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113113761568 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30448] ppid=30407 vsize=15868636 memory=-4695052241013923951 CPUtime=2425.87 cores=0-7
/proc/30410/task/30448/stat : 30448 (java) R 30407 30410 30211 0 -1 4202560 143980 0 0 0 242393 194 0 0 20 0 43 0 101225357 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113112701752 140113729369255 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30449] ppid=30407 vsize=15868636 memory=280217628624496 CPUtime=2424.78 cores=0-7
/proc/30410/task/30449/stat : 30449 (java) R 30407 30410 30211 0 -1 4202560 133915 0 0 0 242306 172 0 0 20 0 43 0 101225357 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113111648960 140113737448786 0 4 0 16800975 0 0 0 -1 4 0 0 39 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30450] ppid=30407 vsize=15868636 memory=140106128193405 CPUtime=2400.81 cores=0-7
/proc/30410/task/30450/stat : 30450 (java) R 30407 30410 30211 0 -1 4202560 105644 0 0 0 239939 142 0 0 20 0 43 0 101225357 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113110595784 140113737042612 0 4 0 16800975 0 0 0 -1 2 0 0 42 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30451] ppid=30407 vsize=15868636 memory=2200 CPUtime=10.18 cores=0-7
/proc/30410/task/30451/stat : 30451 (java) S 30407 30410 30211 0 -1 1077944384 3784 0 0 0 1016 2 0 0 20 0 43 0 101237265 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140113109550368 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30452] ppid=30407 vsize=15868636 memory=6504 CPUtime=21.54 cores=0-7
/proc/30410/task/30452/stat : 30452 (java) S 30407 30410 30211 0 -1 1077944384 7349 0 0 0 2150 4 0 0 20 0 43 0 101237400 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140112679920800 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30453] ppid=30407 vsize=15868636 memory=836 CPUtime=4.26 cores=0-7
/proc/30410/task/30453/stat : 30453 (java) S 30407 30410 30211 0 -1 1077944384 159 0 0 0 426 0 0 0 20 0 43 0 101240571 16249483264 1294581 33554432000 4194304 4196468 140735359328016 140112678868512 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
Current children cumulated CPU time: 19994.4 s
Current children cumulated vsize: 15868636 KiB
Current children cumulated memory: 5178324 KiB

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

[startup+2520.16 s]
# the end of solver process 30410 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19971.6 s, system=23.7532 s

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

[startup+2520.13 s]
/proc/loadavg: 8.45 8.66 8.73 9/221 30485
/proc/meminfo: memFree=26450528/32770624 swapFree=67108860/67108860
[pid=30410] ppid=30407 vsize=16001764 memory=5178540 CPUtime=19995.3 cores=0-7
/proc/30410/stat : 30410 (java) S 30407 30410 30211 0 -1 1077944320 2333907 0 0 0 1997161 2372 0 0 20 0 43 0 101223624 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140735359310560 140114102058743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
/proc/30410/statm: 4000441 1294635 3866 1 0 3987635 0
[pid=30410/tid=30412] ppid=30407 vsize=16001764 memory=5180376 CPUtime=12.78 cores=0-7
/proc/30410/task/30412/stat : 30412 (java) S 30407 30410 30211 0 -1 1077944384 15554 0 0 0 1236 42 0 0 20 0 43 0 101223624 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140114106296448 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30413] ppid=30407 vsize=16001764 memory=5178324 CPUtime=18.79 cores=0-7
/proc/30410/task/30413/stat : 30413 (java) S 30407 30410 30211 0 -1 1077944384 90685 0 0 0 1798 81 0 0 20 0 43 0 101223625 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140114054679440 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30414] ppid=30407 vsize=16001764 memory=5179872 CPUtime=18.8 cores=0-7
/proc/30410/task/30414/stat : 30414 (java) S 30407 30410 30211 0 -1 1077944384 103107 0 0 0 1805 75 0 0 20 0 43 0 101223625 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140114053626640 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30415] ppid=30407 vsize=16001764 memory=57 CPUtime=18.86 cores=0-7
/proc/30410/task/30415/stat : 30415 (java) S 30407 30410 30211 0 -1 1077944384 96221 0 0 0 1803 83 0 0 20 0 43 0 101223625 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140114052574352 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30416] ppid=30407 vsize=16001764 memory=288230574492221466 CPUtime=18.87 cores=0-7
/proc/30410/task/30416/stat : 30416 (java) S 30407 30410 30211 0 -1 1077944384 101618 0 0 0 1805 82 0 0 20 0 43 0 101223625 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140114051521552 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30417] ppid=30407 vsize=16001764 memory=288230621803970871 CPUtime=18.78 cores=0-7
/proc/30410/task/30417/stat : 30417 (java) S 30407 30410 30211 0 -1 1077944384 96702 0 0 0 1798 80 0 0 20 0 43 0 101223625 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140114050468240 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30418] ppid=30407 vsize=16001764 memory=1948 CPUtime=18.89 cores=0-7
/proc/30410/task/30418/stat : 30418 (java) S 30407 30410 30211 0 -1 1077944384 97123 0 0 0 1813 76 0 0 20 0 43 0 101223625 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140114049415440 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30419] ppid=30407 vsize=16001764 memory=8536 CPUtime=18.78 cores=0-7
/proc/30410/task/30419/stat : 30419 (java) S 30407 30410 30211 0 -1 1077944384 102773 0 0 0 1798 80 0 0 20 0 43 0 101223625 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140114048363152 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30420] ppid=30407 vsize=16001764 memory=18292 CPUtime=18.84 cores=0-7
/proc/30410/task/30420/stat : 30420 (java) S 30407 30410 30211 0 -1 1077944384 101614 0 0 0 1802 82 0 0 20 0 43 0 101223625 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113690683920 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30421] ppid=30407 vsize=16001764 memory=280217629133440 CPUtime=0.77 cores=0-7
/proc/30410/task/30421/stat : 30421 (java) R 30407 30410 30211 0 -1 4202560 47687 0 0 0 59 18 0 0 20 0 43 0 101223626 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113156692592 140114094775895 0 0 0 16800975 0 0 0 -1 4 0 0 40 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30422] ppid=30407 vsize=16001764 memory=0 CPUtime=0 cores=0-7
/proc/30410/task/30422/stat : 30422 (java) S 30407 30410 30211 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 43 0 101223627 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113155638624 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30423] ppid=30407 vsize=16001764 memory=4008380215642030112 CPUtime=0 cores=0-7
/proc/30410/task/30423/stat : 30423 (java) S 30407 30410 30211 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 43 0 101223627 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113154586240 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30424] ppid=30407 vsize=16001764 memory=5180376 CPUtime=0 cores=0-7
/proc/30410/task/30424/stat : 30424 (java) S 30407 30410 30211 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 43 0 101223629 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113153534192 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30425] ppid=30407 vsize=16001764 memory=5181420 CPUtime=2.95 cores=0-7
/proc/30410/task/30425/stat : 30425 (java) S 30407 30410 30211 0 -1 1077944384 24396 0 0 0 290 5 0 0 20 0 43 0 101223629 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113152481392 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30426] ppid=30407 vsize=16001764 memory=5191204 CPUtime=2.57 cores=0-7
/proc/30410/task/30426/stat : 30426 (java) S 30407 30410 30211 0 -1 1077944384 12218 0 0 0 255 2 0 0 20 0 43 0 101223629 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113151428592 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30427] ppid=30407 vsize=16001764 memory=5192740 CPUtime=2.61 cores=0-7
/proc/30410/task/30427/stat : 30427 (java) S 30407 30410 30211 0 -1 1077944384 18424 0 0 0 258 3 0 0 20 0 43 0 101223629 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113150376304 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30428] ppid=30407 vsize=16001764 memory=4132 CPUtime=1.4 cores=0-7
/proc/30410/task/30428/stat : 30428 (java) S 30407 30410 30211 0 -1 1077944384 38646 0 0 0 133 7 0 0 20 0 43 0 101223629 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113149323504 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30429] ppid=30407 vsize=16001764 memory=164 CPUtime=0 cores=0-7
/proc/30410/task/30429/stat : 30429 (java) S 30407 30410 30211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 101223630 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113148271456 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30431] ppid=30407 vsize=16001764 memory=4137287014106042739 CPUtime=0.13 cores=0-7
/proc/30410/task/30431/stat : 30431 (java) S 30407 30410 30211 0 -1 1077944384 3144 0 0 0 7 6 0 0 20 0 43 0 101224917 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113136932176 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30432] ppid=30407 vsize=16001764 memory=5176280 CPUtime=5.76 cores=0-7
/proc/30410/task/30432/stat : 30432 (java) S 30407 30410 30211 0 -1 1077944384 11602 0 0 0 311 265 0 0 20 0 43 0 101224929 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113133782560 140114102069890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30433] ppid=30407 vsize=16001764 memory=18292 CPUtime=42.85 cores=0-7
/proc/30410/task/30433/stat : 30433 (java) S 30407 30410 30211 0 -1 1077944384 32485 0 0 0 4262 23 0 0 20 0 43 0 101224939 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113132729376 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30434] ppid=30407 vsize=16001764 memory=1792 CPUtime=2348.49 cores=0-7
/proc/30410/task/30434/stat : 30434 (java) S 30407 30410 30211 0 -1 1077944384 84944 0 0 0 234682 167 0 0 20 0 43 0 101224940 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113131669424 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30435] ppid=30407 vsize=16001764 memory=5176804 CPUtime=91.11 cores=0-7
/proc/30410/task/30435/stat : 30435 (java) S 30407 30410 30211 0 -1 1077944384 30220 0 0 0 9071 40 0 0 20 0 43 0 101224940 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113128527136 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30436] ppid=30407 vsize=16001764 memory=5181420 CPUtime=117.38 cores=0-7
/proc/30410/task/30436/stat : 30436 (java) S 30407 30410 30211 0 -1 1077944384 63337 0 0 0 11681 57 0 0 20 0 43 0 101224942 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113127474336 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30437] ppid=30407 vsize=16001764 memory=15872 CPUtime=2418.79 cores=0-7
/proc/30410/task/30437/stat : 30437 (java) R 30407 30410 30211 0 -1 4202560 192496 0 0 0 241674 205 0 0 20 0 43 0 101224942 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113126415032 140113736174410 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30438] ppid=30407 vsize=16001764 memory=33 CPUtime=81.97 cores=0-7
/proc/30410/task/30438/stat : 30438 (java) S 30407 30410 30211 0 -1 1077944384 47527 0 0 0 8156 41 0 0 20 0 43 0 101224942 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113125369248 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30439] ppid=30407 vsize=16001764 memory=7517741784064092771 CPUtime=2385.59 cores=0-7
/proc/30410/task/30439/stat : 30439 (java) S 30407 30410 30211 0 -1 1077944384 114368 0 0 0 238396 163 0 0 20 0 43 0 101224942 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113124310000 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30440] ppid=30407 vsize=16001764 memory=4279073127177347648 CPUtime=42.97 cores=0-7
/proc/30410/task/30440/stat : 30440 (java) S 30407 30410 30211 0 -1 1077944384 30553 0 0 0 4287 10 0 0 20 0 43 0 101224942 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113123264160 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30441] ppid=30407 vsize=16001764 memory=5178324 CPUtime=51.8 cores=0-7
/proc/30410/task/30441/stat : 30441 (java) S 30407 30410 30211 0 -1 1077944384 52893 0 0 0 5155 25 0 0 20 0 43 0 101224942 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113122210848 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30442] ppid=30407 vsize=16001764 memory=2340 CPUtime=28.92 cores=0-7
/proc/30410/task/30442/stat : 30442 (java) S 30407 30410 30211 0 -1 1077944384 42025 0 0 0 2880 12 0 0 20 0 43 0 101224943 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113121158048 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30443] ppid=30407 vsize=16001764 memory=2236 CPUtime=2370.56 cores=0-7
/proc/30410/task/30443/stat : 30443 (java) R 30407 30410 30211 0 -1 1077944384 104919 0 0 0 236893 163 0 0 20 0 43 0 101224943 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113120098608 140114102068949 0 4 0 16800975 0 0 0 -1 3 0 0 40 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30444] ppid=30407 vsize=16001764 memory=5176804 CPUtime=2418.02 cores=0-7
/proc/30410/task/30444/stat : 30444 (java) S 30407 30410 30211 0 -1 1077944384 116734 0 0 0 241626 176 0 0 20 0 43 0 101224943 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113119045808 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30445] ppid=30407 vsize=16001764 memory=4126316290023845779 CPUtime=40.21 cores=0-7
/proc/30410/task/30445/stat : 30445 (java) S 30407 30410 30211 0 -1 1077944384 16191 0 0 0 4011 10 0 0 20 0 43 0 101225131 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113118000672 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30446] ppid=30407 vsize=16001764 memory=-8253362762722141311 CPUtime=24.17 cores=0-7
/proc/30410/task/30446/stat : 30446 (java) S 30407 30410 30211 0 -1 1077944384 9884 0 0 0 2411 6 0 0 20 0 43 0 101225356 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113114813856 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30447] ppid=30407 vsize=16001764 memory=280217627373312 CPUtime=63.56 cores=0-7
/proc/30410/task/30447/stat : 30447 (java) S 30407 30410 30211 0 -1 1077944384 32178 0 0 0 6341 15 0 0 20 0 43 0 101225356 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113113761568 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30448] ppid=30407 vsize=16001764 memory=7306616919578141248 CPUtime=2425.99 cores=0-7
/proc/30410/task/30448/stat : 30448 (java) S 30407 30410 30211 0 -1 1077944384 143980 0 0 0 242405 194 0 0 20 0 43 0 101225357 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113112701616 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30449] ppid=30407 vsize=16001764 memory=7372779967339446371 CPUtime=2424.88 cores=0-7
/proc/30410/task/30449/stat : 30449 (java) S 30407 30410 30211 0 -1 1077944384 133915 0 0 0 242316 172 0 0 20 0 43 0 101225357 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113111648496 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30450] ppid=30407 vsize=16001764 memory=5180376 CPUtime=2400.92 cores=0-7
/proc/30410/task/30450/stat : 30450 (java) S 30407 30410 30211 0 -1 1077944384 105644 0 0 0 239950 142 0 0 20 0 43 0 101225357 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113110595696 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30451] ppid=30407 vsize=16001764 memory=4132 CPUtime=10.18 cores=0-7
/proc/30410/task/30451/stat : 30451 (java) S 30407 30410 30211 0 -1 1077944384 3784 0 0 0 1016 2 0 0 20 0 43 0 101237265 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140113109550368 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30452] ppid=30407 vsize=16001764 memory=29328 CPUtime=21.54 cores=0-7
/proc/30410/task/30452/stat : 30452 (java) S 30407 30410 30211 0 -1 1077944384 7349 0 0 0 2150 4 0 0 20 0 43 0 101237400 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140112679920800 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
[pid=30410/tid=30453] ppid=30407 vsize=16001764 memory=2332 CPUtime=4.26 cores=0-7
/proc/30410/task/30453/stat : 30453 (java) S 30407 30410 30211 0 -1 1077944384 159 0 0 0 426 0 0 0 20 0 43 0 101240571 16385806336 1294635 33554432000 4194304 4196468 140735359328016 140112678868512 140114102068949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8708096 140735359329377 140735359329563 140735359329563 140735359332303 0
Current children cumulated CPU time: 19995.3 s
Current children cumulated vsize: 16001764 KiB
Current children cumulated memory: 5178540 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 19995.4
CPU user time (s): 19971.6
CPU system time (s): 23.7532
CPU usage (%): 793.417
Max. virtual memory (cumulated for all children) (KiB): 16001764
Max. memory (cumulated for all children) (KiB): 5293016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19971.6
system time used= 23.7532
maximum resident set size= 5293016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2333947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 349370
involuntary context switches= 426770


# summary of solver processes directly reported to runsolver:
#   pid: 30410
#   total CPU time (s): 19995.4
#   total CPU user time (s): 19971.6
#   total CPU system time (s): 23.7532

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.0499 second user time and 36.9341 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-14 05:15:00
IDJOB=4274994
IDBENCH=120600
IDSOLVER=2668
FILE ID=node112/4274994-1502681358
RUNJOBID= node112-1502677978-30238
PBS_JOBID= 20628979
Free space on /tmp= 61788 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-25d.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274994-1502681358/watcher-4274994-1502681358 -o /tmp/evaluation-result-4274994-1502681358/solver-4274994-1502681358 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502677978-30238 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2078366583 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4274994-1502681358.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 1f90dacd0a92fbbf60104d292dc9abb3
RANDOM SEED=2078366583

node112.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.24
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.24
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.24
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.24
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:        31625404 kB
MemAvailable:   31978260 kB
Buffers:          154948 kB
Cached:           475968 kB
SwapCached:            0 kB
Active:           490552 kB
Inactive:         192392 kB
Active(anon):       3356 kB
Inactive(anon):    76456 kB
Active(file):     487196 kB
Inactive(file):   115936 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42616 kB
Writeback:             0 kB
AnonPages:         58300 kB
Mapped:            43976 kB
Shmem:             25224 kB
Slab:             157292 kB
SReclaimable:     131116 kB
SUnreclaim:        26176 kB
KernelStack:        3200 kB
PageTables:         4684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61748 MiB
End job on node112 at 2017-08-14 05:57:00