Trace number 4249352

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
R1: OscaR - Conflict Ordering 2017-06-30SAT (TO)6 2400.1299 2141.74

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-20-20.xml
MD5SUM5e484cb090e237f4c9c5d38433c43cc4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark2400.1201
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints36101
Number of domains1
Minimum domain size400
Maximum domain size400
Distribution of domain sizes[{"size":400,"count":400}]
Minimum variable degree363
Maximum variable degree363
Distribution of variable degrees[{"degree":363,"count":400}]
Minimum constraint arity4
Maximum constraint arity400
Distribution of constraint arities[{"arity":4,"count":36100},{"arity":400,"count":1}]
Number of extensional constraints0
Number of intensional constraints36100
Distribution of constraint types[{"type":"intension","count":36100},{"type":"lex","count":1}]
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.24/0.37	c version: 2017-06-30
0.24/0.37	c seed: 2017189038
0.24/0.37	c timeout: 2400
0.24/0.37	c memlimit: 15500
0.24/0.37	c nbcore: 4
0.24/0.39	c Parsing instance...
8.08/3.18	c Parsing done, starting search...
16.94/8.43	o 399
20.97/11.66	o 398
24.06/14.15	o 397
27.25/16.94	o 396
31.23/20.30	o 395
36.20/24.11	o 394
40.63/27.96	o 393
44.47/31.23	o 392
48.83/35.01	o 391
52.62/38.26	o 390
60.34/43.48	o 389
64.37/46.94	o 388
69.64/51.11	o 387
73.78/54.70	o 386
77.61/58.01	o 385
81.76/61.64	o 384
85.60/64.95	o 383
89.54/68.35	o 382
93.28/71.53	o 381
96.81/74.53	o 380
100.54/77.71	o 379
104.28/80.94	o 378
108.11/84.20	o 377
111.75/87.39	o 376
115.38/90.45	o 375
119.03/93.56	o 374
122.76/96.79	o 373
126.68/100.11	o 372
130.52/103.41	o 371
134.06/106.49	o 370
137.98/109.85	o 369
141.72/113.09	o 368
145.54/116.30	o 367
149.37/119.63	o 366
153.20/122.91	o 365
156.83/126.04	o 364
160.66/129.39	o 363
164.48/132.62	o 362
168.32/135.97	o 361
172.15/139.27	o 360
176.02/142.56	o 359
179.46/145.48	o 358
183.09/148.53	o 357
186.62/151.55	o 356
190.25/154.68	o 355
193.88/157.76	o 354
197.31/160.63	o 353
200.93/163.76	o 352
204.76/167.04	o 351
208.49/170.24	o 350
212.02/173.21	o 349
215.56/176.23	o 348
221.23/179.81	o 347
224.77/182.81	o 346
228.30/185.82	o 345
231.93/188.90	o 344
235.55/192.00	o 343
239.19/195.15	o 342
242.93/198.32	o 341
245.83/201.24	o 340
249.25/204.18	o 339
252.79/207.14	o 338
256.40/210.22	o 337
260.03/213.38	o 336
263.46/216.21	o 335
266.88/219.10	o 334
270.22/221.97	o 333
273.76/224.95	o 332
277.29/227.92	o 331
280.92/231.03	o 330
284.45/234.06	o 329
287.36/236.97	o 328
290.78/239.89	o 327
294.42/242.94	o 326
297.75/245.73	o 325
301.17/248.60	o 324
304.51/251.46	o 323
307.83/254.28	o 322
311.16/257.08	o 321
314.80/260.14	o 320
317.60/262.97	o 319
321.03/265.86	o 318
324.26/268.52	o 317
327.68/271.45	o 316
330.91/274.20	o 315
334.35/277.03	o 314
337.70/279.88	o 313
340.50/282.66	o 312
343.62/285.26	o 311
346.84/287.96	o 310
350.27/290.83	o 309
353.72/293.73	o 308
357.15/296.64	o 307
360.69/299.68	o 306
363.38/302.34	o 305
366.80/305.24	o 304
370.04/307.97	o 303
373.28/310.66	o 302
376.61/313.48	o 301
379.94/316.25	o 300
382.67/318.91	o 299
385.79/321.58	o 298
389.11/324.30	o 297
392.35/327.04	o 296
395.58/329.74	o 295
398.74/332.45	o 294
401.51/335.16	o 293
404.53/337.62	o 292
407.67/340.21	o 291
410.90/342.95	o 290
414.06/345.77	o 289
416.84/348.39	o 288
419.87/350.85	o 287
422.91/353.38	o 286
426.13/356.01	o 285
428.83/358.72	o 284
431.86/361.27	o 283
435.00/363.86	o 282
438.23/366.50	o 281
441.37/369.19	o 280
444.11/371.86	o 279
447.33/374.57	o 278
450.56/377.20	o 277
453.60/379.78	o 276
456.73/382.33	o 275
459.14/384.74	o 274
462.07/387.12	o 273
465.00/389.56	o 272
468.38/392.34	o 271
471.08/395.03	o 270
474.13/397.56	o 269
477.25/400.12	o 268
480.49/402.83	o 267
482.79/405.19	o 266
485.91/407.76	o 265
488.95/410.21	o 264
491.89/412.69	o 263
494.29/415.04	o 262
497.26/417.41	o 261
500.20/419.87	o 260
503.33/422.44	o 259
505.83/424.98	o 258
508.75/427.39	o 257
511.69/429.70	o 256
513.89/431.94	o 255
516.82/434.31	o 254
519.56/436.56	o 253
522.60/439.06	o 252
524.89/441.31	o 251
527.62/443.55	o 250
530.65/446.06	o 249
533.15/448.53	o 248
535.99/450.89	o 247
538.81/453.17	o 246
541.02/455.37	o 245
543.85/457.62	o 244
546.67/459.91	o 243
548.87/462.13	o 242
551.71/464.43	o 241
554.44/466.67	o 240
556.64/468.82	o 239
559.26/470.99	o 238
562.00/473.16	o 237
564.10/475.27	o 236
566.83/477.43	o 235
569.66/479.76	o 234
571.86/481.97	o 233
574.61/484.17	o 232
577.43/486.45	o 231
579.63/488.61	o 230
582.28/490.73	o 229
584.82/492.87	o 228
587.01/494.94	o 227
589.64/497.04	o 226
591.74/499.12	o 225
594.37/501.22	o 224
596.99/503.31	o 223
599.00/505.32	o 222
601.53/507.35	o 221
603.56/509.31	o 220
606.09/511.36	o 219
608.62/513.39	o 218
610.73/515.41	o 217
613.26/517.47	o 216
615.25/519.50	o 215
617.80/521.49	o 214
620.53/523.69	o 213
622.63/525.77	o 212
625.28/527.86	o 211
628.09/530.11	o 210
630.12/532.12	o 209
632.75/534.23	o 208
634.75/536.23	o 207
637.18/538.20	o 206
639.08/540.08	o 205
641.71/542.14	o 204
644.13/544.05	o 203
646.04/545.93	o 202
648.46/547.82	o 201
650.29/549.60	o 200
652.63/551.43	o 199
654.52/553.31	o 198
656.95/555.21	o 197
659.29/557.29	o 196
661.39/559.11	o 195
663.82/561.03	o 194
665.62/562.80	o 193
668.07/564.74	o 192
669.96/566.65	o 191
672.40/568.53	o 190
674.30/570.41	o 189
676.62/572.25	o 188
678.32/573.99	o 187
680.77/575.83	o 186
683.30/577.80	o 185
685.00/579.58	o 184
687.32/581.39	o 183
689.02/583.04	o 182
691.46/584.94	o 181
693.26/586.71	o 180
695.50/588.48	o 179
697.30/590.25	o 178
699.62/592.02	o 177
701.32/593.71	o 176
703.56/595.47	o 175
705.27/597.15	o 174
707.50/598.88	o 173
709.09/600.50	o 172
711.42/602.22	o 171
713.02/603.83	o 170
715.26/605.51	o 169
716.76/607.08	o 168
719.09/608.82	o 167
720.69/610.42	o 166
722.93/612.20	o 165
724.53/613.76	o 164
726.76/615.40	o 163
728.17/616.88	o 162
729.67/618.34	o 161
731.81/619.91	o 160
733.31/621.43	o 159
735.45/623.04	o 158
736.94/624.55	o 157
739.08/626.17	o 156
740.68/627.71	o 155
742.82/629.34	o 154
744.32/630.81	o 153
745.72/632.24	o 152
747.75/633.79	o 151
749.25/635.21	o 150
751.28/636.72	o 149
752.68/638.17	o 148
754.71/639.65	o 147
756.11/641.08	o 146
757.61/642.51	o 145
759.54/643.96	o 144
760.94/645.37	o 143
762.99/646.83	o 142
764.29/648.12	o 141
765.69/649.57	o 140
767.72/651.05	o 139
769.02/652.36	o 138
770.96/653.80	o 137
772.35/655.18	o 136
773.75/656.57	o 135
775.80/658.02	o 134
777.10/659.35	o 133
779.03/660.79	o 132
780.32/662.09	o 131
781.62/663.35	o 130
783.45/664.65	o 129
784.66/665.89	o 128
785.86/667.07	o 127
787.70/668.37	o 126
789.00/669.60	o 125
790.10/670.74	o 124
791.93/672.09	o 123
793.23/673.38	o 122
795.25/674.81	o 121
796.35/675.98	o 120
797.55/677.15	o 119
799.39/678.48	o 118
800.60/679.63	o 117
801.70/680.77	o 116
803.48/682.07	o 115
804.63/683.19	o 114
805.83/684.31	o 113
806.93/685.42	o 112
808.66/686.65	o 111
809.76/687.71	o 110
810.86/688.80	o 109
812.60/690.06	o 108
813.80/691.23	o 107
814.80/692.27	o 106
816.53/693.44	o 105
817.53/694.47	o 104
818.63/695.53	o 103
820.36/696.71	o 102
821.36/697.77	o 101
822.35/698.77	o 100
823.35/699.77	o 99
824.99/700.88	o 98
826.09/701.94	o 97
827.09/702.92	o 96
828.72/704.05	o 95
829.72/705.03	o 94
830.62/705.97	o 93
831.52/706.88	o 92
833.15/707.96	o 91
834.06/708.88	o 90
835.06/709.82	o 89
835.95/710.71	o 88
837.59/711.81	o 87
838.49/712.70	o 86
839.29/713.59	o 85
840.19/714.45	o 84
841.74/715.46	o 83
842.53/716.27	o 82
843.43/717.14	o 81
844.33/718.04	o 80
845.86/719.06	o 79
846.76/719.93	o 78
847.56/720.80	o 77
848.46/721.60	o 76
850.00/722.61	o 75
850.80/723.44	o 74
851.60/724.25	o 73
852.40/725.08	o 72
853.20/725.85	o 71
854.63/726.77	o 70
855.44/727.52	o 69
856.23/728.31	o 68
856.93/729.09	o 67
857.73/729.84	o 66
859.17/730.72	o 65
859.87/731.46	o 64
860.57/732.14	o 63
861.27/732.85	o 62
861.97/733.57	o 61
863.40/734.42	o 60
864.10/735.12	o 59
864.70/735.78	o 58
865.40/736.44	o 57
866.00/737.10	o 56
866.70/737.78	o 55
868.03/738.59	o 54
868.72/739.25	o 53
869.42/739.90	o 52
870.02/740.53	o 51
870.62/741.18	o 50
871.33/741.83	o 49
872.67/742.64	o 48
873.27/743.25	o 47
873.87/743.81	o 46
874.37/744.37	o 45
874.97/744.93	o 44
875.47/745.48	o 43
876.07/746.06	o 42
877.40/746.82	o 41
877.91/747.38	o 40
878.50/747.94	o 39
879.01/748.49	o 38
879.60/749.00	o 37
880.11/749.53	o 36
880.60/750.04	o 35
881.83/750.71	o 34
882.23/751.19	o 33
882.74/751.66	o 32
883.23/752.15	o 31
883.73/752.62	o 30
884.23/753.10	o 29
884.63/753.56	o 28
885.04/753.99	o 27
885.53/754.41	o 26
885.93/754.83	o 25
887.06/755.41	o 24
887.46/755.82	o 23
887.86/756.21	o 22
888.26/756.60	o 21
888.66/757.00	o 20
888.96/757.40	o 19
889.36/757.78	o 18
889.77/758.14	o 17
890.08/758.49	o 16
890.48/758.84	o 15
890.78/759.19	o 14
891.18/759.52	o 13
891.51/759.85	o 12
891.81/760.17	o 11
892.11/760.48	o 10
893.15/760.97	o 9
893.45/761.27	o 8
893.75/761.56	o 7
894.74/762.60	o 6
2400.08/2141.70	s SATISFIABLE
2400.08/2141.71	v <instantiation>
2400.08/2141.71	v 	<list>
2400.08/2141.71	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19]
2400.08/2141.71	v 	</list>
2400.08/2141.71	v 	<values>
2400.08/2141.71	v 		2 4 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 6 6 2 5 6 0 1 1 1 1 1 1 1 2 3 4 5 6 6 6 5 6 3 6 3 5 0 2 2 2 3 4 4 3 3 6 4 3 4 6 5 4 4 2 5 2 3 3 3 4 3 3 6 4 4 4 6 5 4 6 6 3 4 3 5 3 6 3 4 6 4 4 5 6 6 6 6 6 2 2 3 5 4 3 6 2 3 6 6 5 6 6 6 2 3 6 3 2 2 3 5 5 4 4 6 5 4 0 0 6 1 3 4 2 2 2 3 3 3 4 3 5 4 5 5 6 6 3 0 0 6 2 3 2 3 3 4 4 3 5 4 6 4 5 6 4 2 3 1 5 2 0 2 3 0 1 1 1 0 2 0 1 4 5 6 5 6 4 1 0 0 0 2 0 1 3 0 0 2 3 3 3 4 5 6 6 3 5 0 2 0 1 0 2 1 1 2 3 0 2 6 5 4 6 5 3 5 6 2 3 2 3 3 6 1 2 2 1 2 3 2 6 4 6 5 5 3 0 2 3 6 2 2 3 2 3 1 6 1 0 6 4 5 4 6 4 3 1 4 4 5 2 3 1 1 2 6 2 1 2 4 5 5 5 6 4 5 4 3 3 2 2 1 4 6 1 4 3 1 1 1 2 5 6 4 4 6 1 2 3 3 4 6 5 4 0 3 4 6 4 1 2 5 6 5 6 2 4 3 6 4 5 4 3 2 4 2 4 1 3 5 2 5 6 6 5 4 2 0 1 3 0 2 4 1 0 2 2 3 3 4 4 6 5 6 3 4 4 3 4 5 4 0 6 2 3 3 2 1 0 2 1 6 6 5 1 2 0 6 2 1 2 4 3 6 5 3 1 2 1 4 3 
2400.08/2141.71	v 	</values>
2400.08/2141.71	v </instantiation>

Verifier Data 

OK	6

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4249352-1502083115/watcher-4249352-1502083115 -o /tmp/evaluation-result-4249352-1502083115/solver-4249352-1502083115 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502065585-15257 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2017189038 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4249352-1502083115.xml 

pid=18302
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.46 1.50 1.50 3/199 18305
/proc/meminfo: memFree=28088548/32770624 swapFree=0/340480
[pid=18305] ppid=18302 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18305/stat : 18305 (runsolver) D 18302 18305 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 56126788 24240128 106 18446744073709551615 4194304 4338465 140727046155072 140727046152712 140080374244055 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 29171712 140727046156389 140727046156873 140727046156873 140727046160330 0
/proc/18305/statm: 5918 106 53 36 0 2156 0

[startup+0.10011 s]
/proc/loadavg: 1.46 1.50 1.50 3/199 18305
/proc/meminfo: memFree=28088548/32770624 swapFree=0/340480
[pid=18305] ppid=18302 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18305/stat : 18305 (runsolver) D 18302 18305 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 56126788 24240128 106 18446744073709551615 4194304 4338465 140727046155072 140727046152712 140080374244055 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 29171712 140727046156389 140727046156873 140727046156873 140727046160330 0
/proc/18305/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200229 s]
/proc/loadavg: 1.46 1.50 1.50 3/199 18305
/proc/meminfo: memFree=28088548/32770624 swapFree=0/340480
[pid=18305] ppid=18302 vsize=12914512 CPUtime=0.08 cores=1,3,5,7
/proc/18305/stat : 18305 (java) S 18302 18305 25100 0 -1 1077944320 6697 0 0 0 7 1 0 0 20 0 15 0 56126788 13224460288 6867 18446744073709551615 4194304 4196468 140735244277344 140735244259888 139993036779255 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
/proc/18305/statm: 3228628 6867 3367 1 0 3217407 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12914512

[startup+0.300317 s]
/proc/loadavg: 1.46 1.50 1.50 3/199 18305
/proc/meminfo: memFree=28088548/32770624 swapFree=0/340480
[pid=18305] ppid=18302 vsize=12915536 CPUtime=0.24 cores=1,3,5,7
/proc/18305/stat : 18305 (java) S 18302 18305 25100 0 -1 1077944320 10169 0 0 0 21 3 0 0 20 0 15 0 56126788 13225508864 9479 18446744073709551615 4194304 4196468 140735244277344 140735244259888 139993036779255 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
/proc/18305/statm: 3228628 9454 3548 1 0 3217407 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 12915536

[startup+0.700239 s]
/proc/loadavg: 1.46 1.50 1.50 3/199 18305
/proc/meminfo: memFree=28088548/32770624 swapFree=0/340480
[pid=18305] ppid=18302 vsize=12916580 CPUtime=1.17 cores=1,3,5,7
/proc/18305/stat : 18305 (java) S 18302 18305 25100 0 -1 1077944320 15469 0 0 0 110 7 0 0 20 0 15 0 56126788 13226577920 29968 18446744073709551615 4194304 4196468 140735244277344 140735244259888 139993036779255 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
/proc/18305/statm: 3229145 29968 3725 1 0 3217919 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 12916580

[startup+1.50317 s]
/proc/loadavg: 1.46 1.50 1.50 7/214 18320
/proc/meminfo: memFree=27855940/32770624 swapFree=0/340556
[pid=18305] ppid=18302 vsize=12916580 CPUtime=3.71 cores=1,3,5,7
/proc/18305/stat : 18305 (java) S 18302 18305 25100 0 -1 1077944320 17884 0 0 0 354 17 0 0 20 0 15 0 56126788 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 140735244259888 139993036779255 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
/proc/18305/statm: 3229145 83869 3784 1 0 3217919 0
[pid=18305/tid=18307] ppid=18302 vsize=12916580 CPUtime=1.28 cores=1,3,5,7
/proc/18305/task/18307/stat : 18307 (java) R 18302 18305 25100 0 -1 1077944384 10621 0 0 0 122 6 0 0 20 0 15 0 56126799 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139993041014112 139993036789461 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18308] ppid=18302 vsize=12916580 CPUtime=0.05 cores=1,3,5,7
/proc/18305/task/18308/stat : 18308 (java) S 18302 18305 25100 0 -1 1077944384 31 0 0 0 4 1 0 0 20 0 15 0 56126800 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992993745936 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18309] ppid=18302 vsize=12916580 CPUtime=0.07 cores=1,3,5,7
/proc/18305/task/18309/stat : 18309 (java) S 18302 18305 25100 0 -1 1077944384 57 0 0 0 5 2 0 0 20 0 15 0 56126800 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992992693392 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18310] ppid=18302 vsize=12916580 CPUtime=0.04 cores=1,3,5,7
/proc/18305/task/18310/stat : 18310 (java) S 18302 18305 25100 0 -1 1077944384 38 0 0 0 3 1 0 0 20 0 15 0 56126800 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992991640336 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18311] ppid=18302 vsize=12916580 CPUtime=0.05 cores=1,3,5,7
/proc/18305/task/18311/stat : 18311 (java) S 18302 18305 25100 0 -1 1077944384 74 0 0 0 3 2 0 0 20 0 15 0 56126800 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992990587792 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18312] ppid=18302 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18312/stat : 18312 (java) S 18302 18305 25100 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 56126801 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992588204272 139993036790402 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18313] ppid=18302 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18313/stat : 18313 (java) S 18302 18305 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 56126801 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992587150496 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18314] ppid=18302 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18314/stat : 18314 (java) S 18302 18305 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 56126801 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992586097392 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18315] ppid=18302 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18315/stat : 18315 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992585045968 139993036797851 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18316] ppid=18302 vsize=12916580 CPUtime=0.89 cores=1,3,5,7
/proc/18305/task/18316/stat : 18316 (java) R 18302 18305 25100 0 -1 4202560 2426 0 0 0 89 0 0 0 20 0 15 0 56126804 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992583994224 139993020166043 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18317] ppid=18302 vsize=12916580 CPUtime=0.9 cores=1,3,5,7
/proc/18305/task/18317/stat : 18317 (java) R 18302 18305 25100 0 -1 4202560 1851 0 0 0 90 0 0 0 20 0 15 0 56126804 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992582930144 139993036800602 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18318] ppid=18302 vsize=12916580 CPUtime=0.34 cores=1,3,5,7
/proc/18305/task/18318/stat : 18318 (java) R 18302 18305 25100 0 -1 4202560 1332 0 0 0 34 0 0 0 20 0 15 0 56126804 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992581884864 139993036791190 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18319] ppid=18302 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18319/stat : 18319 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992512850784 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18320] ppid=18302 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18320/stat : 18320 (java) S 18302 18305 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56126806 13226577920 83869 18446744073709551615 4194304 4196468 140735244277344 139992511797808 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 12916580

[startup+3.10126 s]
/proc/loadavg: 1.46 1.50 1.50 5/213 18320
/proc/meminfo: memFree=27656632/32770624 swapFree=0/340768
[pid=18305] ppid=18302 vsize=12918628 CPUtime=8.08 cores=1,3,5,7
/proc/18305/stat : 18305 (java) S 18302 18305 25100 0 -1 1077944320 27540 0 0 0 775 33 0 0 20 0 15 0 56126788 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 140735244259888 139993036779255 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
/proc/18305/statm: 3229657 178106 3801 1 0 3218431 0
[pid=18305/tid=18307] ppid=18302 vsize=12918628 CPUtime=2.8 cores=1,3,5,7
/proc/18305/task/18307/stat : 18307 (java) R 18302 18305 25100 0 -1 4202560 13573 0 0 0 268 12 0 0 20 0 15 0 56126799 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139993041014664 139992672865086 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18308] ppid=18302 vsize=12918628 CPUtime=0.12 cores=1,3,5,7
/proc/18305/task/18308/stat : 18308 (java) S 18302 18305 25100 0 -1 1077944384 293 0 0 0 9 3 0 0 20 0 15 0 56126800 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992993745936 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18309] ppid=18302 vsize=12918628 CPUtime=0.13 cores=1,3,5,7
/proc/18305/task/18309/stat : 18309 (java) S 18302 18305 25100 0 -1 1077944384 133 0 0 0 10 3 0 0 20 0 15 0 56126800 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992992693392 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18310] ppid=18302 vsize=12918628 CPUtime=0.12 cores=1,3,5,7
/proc/18305/task/18310/stat : 18310 (java) S 18302 18305 25100 0 -1 1077944384 112 0 0 0 9 3 0 0 20 0 15 0 56126800 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992991640336 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18311] ppid=18302 vsize=12918628 CPUtime=0.11 cores=1,3,5,7
/proc/18305/task/18311/stat : 18311 (java) S 18302 18305 25100 0 -1 1077944384 130 0 0 0 8 3 0 0 20 0 15 0 56126800 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992990587792 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18312] ppid=18302 vsize=12918628 CPUtime=0.01 cores=1,3,5,7
/proc/18305/task/18312/stat : 18312 (java) S 18302 18305 25100 0 -1 1077944384 503 0 0 0 1 0 0 0 20 0 15 0 56126801 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992588204272 139993036790402 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18313] ppid=18302 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18313/stat : 18313 (java) S 18302 18305 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 56126801 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992587150560 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18314] ppid=18302 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18314/stat : 18314 (java) S 18302 18305 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 56126801 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992586097408 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18315] ppid=18302 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18315/stat : 18315 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992585045968 139993036797851 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18316] ppid=18302 vsize=12918628 CPUtime=1.97 cores=1,3,5,7
/proc/18305/task/18316/stat : 18316 (java) R 18302 18305 25100 0 -1 4202560 3612 0 0 0 196 1 0 0 20 0 15 0 56126804 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992583980944 139993022474304 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18317] ppid=18302 vsize=12918628 CPUtime=2.06 cores=1,3,5,7
/proc/18305/task/18317/stat : 18317 (java) R 18302 18305 25100 0 -1 4202560 3812 0 0 0 204 2 0 0 20 0 15 0 56126804 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992582931344 139993021698294 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18318] ppid=18302 vsize=12918628 CPUtime=0.68 cores=1,3,5,7
/proc/18305/task/18318/stat : 18318 (java) S 18302 18305 25100 0 -1 1077944384 4002 0 0 0 67 1 0 0 20 0 15 0 56126804 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992581888496 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18319] ppid=18302 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18319/stat : 18319 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992512850784 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18320] ppid=18302 vsize=12918628 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18320/stat : 18320 (java) S 18302 18305 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 56126806 13228675072 178106 18446744073709551615 4194304 4196468 140735244277344 139992511797808 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
Current children cumulated CPU time (s) 8.08
Current children cumulated vsize (KiB) 12918628

[startup+6.30065 s]
/proc/loadavg: 1.51 1.51 1.51 3/213 18320
/proc/meminfo: memFree=26614656/32770624 swapFree=0/340760
[pid=18305] ppid=18302 vsize=12920676 CPUtime=14.54 cores=1,3,5,7
/proc/18305/stat : 18305 (java) S 18302 18305 25100 0 -1 1077944320 43149 0 0 0 1375 79 0 0 20 0 15 0 56126788 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 140735244259888 139993036779255 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
/proc/18305/statm: 3230169 368055 3801 1 0 3218943 0
[pid=18305/tid=18307] ppid=18302 vsize=12920676 CPUtime=5.66 cores=1,3,5,7
/proc/18305/task/18307/stat : 18307 (java) R 18302 18305 25100 0 -1 4202560 14960 0 0 0 547 19 0 0 20 0 15 0 56126799 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139993041017392 139992673950287 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18308] ppid=18302 vsize=12920676 CPUtime=0.45 cores=1,3,5,7
/proc/18305/task/18308/stat : 18308 (java) S 18302 18305 25100 0 -1 1077944384 1695 0 0 0 33 12 0 0 20 0 15 0 56126800 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992993745936 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18309] ppid=18302 vsize=12920676 CPUtime=0.45 cores=1,3,5,7
/proc/18305/task/18309/stat : 18309 (java) S 18302 18305 25100 0 -1 1077944384 489 0 0 0 33 12 0 0 20 0 15 0 56126800 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992992693392 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18310] ppid=18302 vsize=12920676 CPUtime=0.46 cores=1,3,5,7
/proc/18305/task/18310/stat : 18310 (java) S 18302 18305 25100 0 -1 1077944384 538 0 0 0 33 13 0 0 20 0 15 0 56126800 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992991640336 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18311] ppid=18302 vsize=12920676 CPUtime=0.45 cores=1,3,5,7
/proc/18305/task/18311/stat : 18311 (java) S 18302 18305 25100 0 -1 1077944384 1013 0 0 0 33 12 0 0 20 0 15 0 56126800 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992990587792 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18312] ppid=18302 vsize=12920676 CPUtime=0.01 cores=1,3,5,7
/proc/18305/task/18312/stat : 18312 (java) S 18302 18305 25100 0 -1 1077944384 1244 0 0 0 1 0 0 0 20 0 15 0 56126801 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992588204272 139993036790402 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18313] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18313/stat : 18313 (java) S 18302 18305 25100 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 56126801 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992587150560 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18314] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18314/stat : 18314 (java) S 18302 18305 25100 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 56126801 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992586097408 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18315] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18315/stat : 18315 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992585045968 139993036797851 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18316] ppid=18302 vsize=12920676 CPUtime=3.15 cores=1,3,5,7
/proc/18305/task/18316/stat : 18316 (java) S 18302 18305 25100 0 -1 1077944384 8353 0 0 0 314 1 0 0 20 0 15 0 56126804 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992583994096 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18317] ppid=18302 vsize=12920676 CPUtime=3.04 cores=1,3,5,7
/proc/18305/task/18317/stat : 18317 (java) S 18302 18305 25100 0 -1 1077944384 7829 0 0 0 300 4 0 0 20 0 15 0 56126804 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992582941552 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18318] ppid=18302 vsize=12920676 CPUtime=0.8 cores=1,3,5,7
/proc/18305/task/18318/stat : 18318 (java) S 18302 18305 25100 0 -1 1077944384 5485 0 0 0 78 2 0 0 20 0 15 0 56126804 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992581888496 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18319] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18319/stat : 18319 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992512850784 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18320] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18320/stat : 18320 (java) S 18302 18305 25100 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 56126806 13230772224 368055 18446744073709551615 4194304 4196468 140735244277344 139992511797808 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
Current children cumulated CPU time (s) 14.54
Current children cumulated vsize (KiB) 12920676

[startup+12.7006 s]
/proc/loadavg: 1.47 1.50 1.50 3/214 18322
/proc/meminfo: memFree=24511352/32770624 swapFree=0/340756
[pid=18305] ppid=18302 vsize=12920676 CPUtime=22.66 cores=1,3,5,7
/proc/18305/stat : 18305 (java) S 18302 18305 25100 0 -1 1077944320 49479 0 0 0 2132 134 0 0 20 0 15 0 56126788 13230772224 895943 18446744073709551615 4194304 4196468 140735244277344 140735244259888 139993036779255 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
/proc/18305/statm: 3230169 895943 3801 1 0 3218943 0
[pid=18305/tid=18307] ppid=18302 vsize=12920676 CPUtime=11.78 cores=1,3,5,7
/proc/18305/task/18307/stat : 18307 (java) R 18302 18305 25100 0 -1 4202560 17708 0 0 0 1131 47 0 0 20 0 15 0 56126799 13230772224 895943 18446744073709551615 4194304 4196468 140735244277344 139993041014544 139992668767577 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18308] ppid=18302 vsize=12920676 CPUtime=0.72 cores=1,3,5,7
/proc/18305/task/18308/stat : 18308 (java) S 18302 18305 25100 0 -1 1077944384 1973 0 0 0 53 19 0 0 20 0 15 0 56126800 13230772224 895943 18446744073709551615 4194304 4196468 140735244277344 139992993745936 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18309] ppid=18302 vsize=12920676 CPUtime=0.72 cores=1,3,5,7
/proc/18305/task/18309/stat : 18309 (java) S 18302 18305 25100 0 -1 1077944384 1557 0 0 0 53 19 0 0 20 0 15 0 56126800 13230772224 895943 18446744073709551615 4194304 4196468 140735244277344 139992992693392 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18310] ppid=18302 vsize=12920676 CPUtime=0.72 cores=1,3,5,7
/proc/18305/task/18310/stat : 18310 (java) S 18302 18305 25100 0 -1 1077944384 842 0 0 0 53 19 0 0 20 0 15 0 56126800 13230772224 895943 18446744073709551615 4194304 4196468 140735244277344 139992991640336 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18311] ppid=18302 vsize=12920676 CPUtime=0.71 cores=1,3,5,7
/proc/18305/task/18311/stat : 18311 (java) S 18302 18305 25100 0 -1 1077944384 1498 0 0 0 53 18 0 0 20 0 15 0 56126800 13230772224 895943 18446744073709551615 4194304 4196468 140735244277344 139992990587792 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18312] ppid=18302 vsize=12920676 CPUtime=0.01 cores=1,3,5,7
/proc/18305/task/18312/stat : 18312 (java) S 18302 18305 25100 0 -1 1077944384 1830 0 0 0 1 0 0 0 20 0 15 0 56126801 13230772224 895943 18446744073709551615 4194304 4196468 140735244277344 139992588204272 139993036790402 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18313] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18313/stat : 18313 (java) S 18302 18305 25100 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 56126801 13230772224 895943 18446744073709551615 4194304 4196468 140735244277344 139992587150560 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18314] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18314/stat : 18314 (java) S 18302 18305 25100 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 56126801 13230772224 895943 18446744073709551615 4194304 4196468 140735244277344 139992586097408 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18315] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18315/stat : 18315 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13230772224 895943 18446744073709551615 4194304 4196468 140735244277344 139992585045968 139993036797851 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0

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

/proc/18305/task/18319/stat : 18319 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13230772224 995717 18446744073709551615 4194304 4196468 140735244277344 139992512850784 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18320] ppid=18302 vsize=12920676 CPUtime=1.16 cores=1,3,5,7
/proc/18305/task/18320/stat : 18320 (java) S 18302 18305 25100 0 -1 1077944384 1265 0 0 0 47 69 0 0 20 0 15 0 56126806 13230772224 995717 18446744073709551615 4194304 4196468 140735244277344 139992511797808 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
Current children cumulated CPU time (s) 2139.19
Current children cumulated vsize (KiB) 12920676

[startup+1962.3 s]
/proc/loadavg: 1.89 1.81 1.83 3/213 18518
/proc/meminfo: memFree=23299752/32770624 swapFree=0/341816
[pid=18305] ppid=18302 vsize=12920676 CPUtime=2204.57 cores=1,3,5,7
/proc/18305/stat : 18305 (java) S 18302 18305 25100 0 -1 1077944320 777413 0 0 0 220155 302 0 0 20 0 15 0 56126788 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 140735244259888 139993036779255 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
/proc/18305/statm: 3230169 995617 3819 1 0 3218943 0
[pid=18305/tid=18307] ppid=18302 vsize=12920676 CPUtime=1883.17 cores=1,3,5,7
/proc/18305/task/18307/stat : 18307 (java) R 18302 18305 25100 0 -1 4202560 157845 0 0 0 188248 69 0 0 20 0 15 0 56126799 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139993041017856 139992673332552 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18308] ppid=18302 vsize=12920676 CPUtime=77.64 cores=1,3,5,7
/proc/18305/task/18308/stat : 18308 (java) S 18302 18305 25100 0 -1 1077944384 134064 0 0 0 7723 41 0 0 20 0 15 0 56126800 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992993745936 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18309] ppid=18302 vsize=12920676 CPUtime=77.62 cores=1,3,5,7
/proc/18305/task/18309/stat : 18309 (java) S 18302 18305 25100 0 -1 1077944384 133902 0 0 0 7720 42 0 0 20 0 15 0 56126800 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992992693392 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18310] ppid=18302 vsize=12920676 CPUtime=77.63 cores=1,3,5,7
/proc/18305/task/18310/stat : 18310 (java) S 18302 18305 25100 0 -1 1077944384 128199 0 0 0 7722 41 0 0 20 0 15 0 56126800 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992991640336 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18311] ppid=18302 vsize=12920676 CPUtime=77.61 cores=1,3,5,7
/proc/18305/task/18311/stat : 18311 (java) S 18302 18305 25100 0 -1 1077944384 145387 0 0 0 7721 40 0 0 20 0 15 0 56126800 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992990587792 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18312] ppid=18302 vsize=12920676 CPUtime=0.88 cores=1,3,5,7
/proc/18305/task/18312/stat : 18312 (java) S 18302 18305 25100 0 -1 1077944384 19437 0 0 0 83 5 0 0 20 0 15 0 56126801 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992588204272 139993036790402 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18313] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18313/stat : 18313 (java) S 18302 18305 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 56126801 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992587150560 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18314] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18314/stat : 18314 (java) S 18302 18305 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 56126801 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992586097408 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18315] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18315/stat : 18315 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992585045968 139993036797851 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18316] ppid=18302 vsize=12920676 CPUtime=3.97 cores=1,3,5,7
/proc/18305/task/18316/stat : 18316 (java) S 18302 18305 25100 0 -1 1077944384 20116 0 0 0 394 3 0 0 20 0 15 0 56126804 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992583994096 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18317] ppid=18302 vsize=12920676 CPUtime=3.79 cores=1,3,5,7
/proc/18305/task/18317/stat : 18317 (java) S 18302 18305 25100 0 -1 1077944384 18107 0 0 0 374 5 0 0 20 0 15 0 56126804 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992582941552 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18318] ppid=18302 vsize=12920676 CPUtime=0.94 cores=1,3,5,7
/proc/18305/task/18318/stat : 18318 (java) S 18302 18305 25100 0 -1 1077944384 17642 0 0 0 91 3 0 0 20 0 15 0 56126804 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992581888496 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18319] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18319/stat : 18319 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992512850784 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18320] ppid=18302 vsize=12920676 CPUtime=1.2 cores=1,3,5,7
/proc/18305/task/18320/stat : 18320 (java) S 18302 18305 25100 0 -1 1077944384 1291 0 0 0 49 71 0 0 20 0 15 0 56126806 13230772224 995617 18446744073709551615 4194304 4196468 140735244277344 139992511797808 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
Current children cumulated CPU time (s) 2204.57
Current children cumulated vsize (KiB) 12920676

[startup+2022.3 s]
/proc/loadavg: 1.87 1.84 1.85 3/213 18520
/proc/meminfo: memFree=23296504/32770624 swapFree=0/341796
[pid=18305] ppid=18302 vsize=12920676 CPUtime=2269.94 cores=1,3,5,7
/proc/18305/stat : 18305 (java) S 18302 18305 25100 0 -1 1077944320 786943 0 0 0 226689 305 0 0 20 0 15 0 56126788 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 140735244259888 139993036779255 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
/proc/18305/statm: 3230169 995659 3819 1 0 3218943 0
[pid=18305/tid=18307] ppid=18302 vsize=12920676 CPUtime=1941.38 cores=1,3,5,7
/proc/18305/task/18307/stat : 18307 (java) R 18302 18305 25100 0 -1 4202560 161571 0 0 0 194068 70 0 0 20 0 15 0 56126799 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139993041017856 139992673355600 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18308] ppid=18302 vsize=12920676 CPUtime=79.42 cores=1,3,5,7
/proc/18305/task/18308/stat : 18308 (java) S 18302 18305 25100 0 -1 1077944384 135036 0 0 0 7901 41 0 0 20 0 15 0 56126800 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992993745936 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18309] ppid=18302 vsize=12920676 CPUtime=79.41 cores=1,3,5,7
/proc/18305/task/18309/stat : 18309 (java) S 18302 18305 25100 0 -1 1077944384 137892 0 0 0 7899 42 0 0 20 0 15 0 56126800 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992992693392 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18310] ppid=18302 vsize=12920676 CPUtime=79.41 cores=1,3,5,7
/proc/18305/task/18310/stat : 18310 (java) S 18302 18305 25100 0 -1 1077944384 128370 0 0 0 7900 41 0 0 20 0 15 0 56126800 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992991640336 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18311] ppid=18302 vsize=12920676 CPUtime=79.39 cores=1,3,5,7
/proc/18305/task/18311/stat : 18311 (java) S 18302 18305 25100 0 -1 1077944384 145777 0 0 0 7899 40 0 0 20 0 15 0 56126800 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992990587792 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18312] ppid=18302 vsize=12920676 CPUtime=0.9 cores=1,3,5,7
/proc/18305/task/18312/stat : 18312 (java) S 18302 18305 25100 0 -1 1077944384 19676 0 0 0 84 6 0 0 20 0 15 0 56126801 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992588204272 139993036790402 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18313] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18313/stat : 18313 (java) S 18302 18305 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 56126801 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992587150560 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18314] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18314/stat : 18314 (java) S 18302 18305 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 56126801 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992586097408 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18315] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18315/stat : 18315 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992585045968 139993036797851 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18316] ppid=18302 vsize=12920676 CPUtime=3.97 cores=1,3,5,7
/proc/18305/task/18316/stat : 18316 (java) S 18302 18305 25100 0 -1 1077944384 20119 0 0 0 394 3 0 0 20 0 15 0 56126804 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992583994096 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18317] ppid=18302 vsize=12920676 CPUtime=3.79 cores=1,3,5,7
/proc/18305/task/18317/stat : 18317 (java) S 18302 18305 25100 0 -1 1077944384 18114 0 0 0 374 5 0 0 20 0 15 0 56126804 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992582941552 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18318] ppid=18302 vsize=12920676 CPUtime=0.94 cores=1,3,5,7
/proc/18305/task/18318/stat : 18318 (java) S 18302 18305 25100 0 -1 1077944384 17646 0 0 0 91 3 0 0 20 0 15 0 56126804 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992581888496 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18319] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18319/stat : 18319 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992512850784 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18320] ppid=18302 vsize=12920676 CPUtime=1.24 cores=1,3,5,7
/proc/18305/task/18320/stat : 18320 (java) S 18302 18305 25100 0 -1 1077944384 1319 0 0 0 50 74 0 0 20 0 15 0 56126806 13230772224 995659 18446744073709551615 4194304 4196468 140735244277344 139992511797808 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
Current children cumulated CPU time (s) 2269.94
Current children cumulated vsize (KiB) 12920676

[startup+2082.3 s]
/proc/loadavg: 1.88 1.83 1.84 3/213 18522
/proc/meminfo: memFree=23294616/32770624 swapFree=0/341836
[pid=18305] ppid=18302 vsize=12920676 CPUtime=2335.31 cores=1,3,5,7
/proc/18305/stat : 18305 (java) S 18302 18305 25100 0 -1 1077944320 799785 0 0 0 233223 308 0 0 20 0 15 0 56126788 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 140735244259888 139993036779255 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
/proc/18305/statm: 3230169 995879 3819 1 0 3218943 0
[pid=18305/tid=18307] ppid=18302 vsize=12920676 CPUtime=1999.59 cores=1,3,5,7
/proc/18305/task/18307/stat : 18307 (java) R 18302 18305 25100 0 -1 4202560 165292 0 0 0 199888 71 0 0 20 0 15 0 56126799 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139993041017360 139992673355515 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18308] ppid=18302 vsize=12920676 CPUtime=81.19 cores=1,3,5,7
/proc/18305/task/18308/stat : 18308 (java) S 18302 18305 25100 0 -1 1077944384 137282 0 0 0 8078 41 0 0 20 0 15 0 56126800 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992993745936 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18309] ppid=18302 vsize=12920676 CPUtime=81.18 cores=1,3,5,7
/proc/18305/task/18309/stat : 18309 (java) S 18302 18305 25100 0 -1 1077944384 139880 0 0 0 8076 42 0 0 20 0 15 0 56126800 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992992693392 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18310] ppid=18302 vsize=12920676 CPUtime=81.18 cores=1,3,5,7
/proc/18305/task/18310/stat : 18310 (java) S 18302 18305 25100 0 -1 1077944384 130920 0 0 0 8077 41 0 0 20 0 15 0 56126800 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992991640336 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18311] ppid=18302 vsize=12920676 CPUtime=81.17 cores=1,3,5,7
/proc/18305/task/18311/stat : 18311 (java) S 18302 18305 25100 0 -1 1077944384 147826 0 0 0 8077 40 0 0 20 0 15 0 56126800 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992990587792 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18312] ppid=18302 vsize=12920676 CPUtime=0.91 cores=1,3,5,7
/proc/18305/task/18312/stat : 18312 (java) S 18302 18305 25100 0 -1 1077944384 19932 0 0 0 85 6 0 0 20 0 15 0 56126801 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992588204272 139993036790402 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18313] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18313/stat : 18313 (java) S 18302 18305 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 56126801 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992587150560 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18314] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18314/stat : 18314 (java) S 18302 18305 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 56126801 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992586097408 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18315] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18315/stat : 18315 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992585045968 139993036797851 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18316] ppid=18302 vsize=12920676 CPUtime=3.97 cores=1,3,5,7
/proc/18305/task/18316/stat : 18316 (java) S 18302 18305 25100 0 -1 1077944384 20121 0 0 0 394 3 0 0 20 0 15 0 56126804 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992583994096 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18317] ppid=18302 vsize=12920676 CPUtime=3.79 cores=1,3,5,7
/proc/18305/task/18317/stat : 18317 (java) S 18302 18305 25100 0 -1 1077944384 18116 0 0 0 374 5 0 0 20 0 15 0 56126804 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992582941552 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18318] ppid=18302 vsize=12920676 CPUtime=0.94 cores=1,3,5,7
/proc/18305/task/18318/stat : 18318 (java) S 18302 18305 25100 0 -1 1077944384 17648 0 0 0 91 3 0 0 20 0 15 0 56126804 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992581888496 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18319] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18319/stat : 18319 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992512850784 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18320] ppid=18302 vsize=12920676 CPUtime=1.28 cores=1,3,5,7
/proc/18305/task/18320/stat : 18320 (java) S 18302 18305 25100 0 -1 1077944384 1345 0 0 0 52 76 0 0 20 0 15 0 56126806 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992511797808 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
Current children cumulated CPU time (s) 2335.31
Current children cumulated vsize (KiB) 12920676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2141.7 s]
/proc/loadavg: 2.08 1.91 1.87 3/216 18615
/proc/meminfo: memFree=23221160/32770624 swapFree=0/341868
[pid=18305] ppid=18302 vsize=12920676 CPUtime=2400.08 cores=1,3,5,7
/proc/18305/stat : 18305 (java) S 18302 18305 25100 0 -1 1077944320 810684 0 0 0 239697 311 0 0 20 0 15 0 56126788 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 140735244259888 139993036779255 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
/proc/18305/statm: 3230169 995879 3819 1 0 3218943 0
[pid=18305/tid=18307] ppid=18302 vsize=12920676 CPUtime=2057.19 cores=1,3,5,7
/proc/18305/task/18307/stat : 18307 (java) R 18302 18305 25100 0 -1 4202560 168576 0 0 0 205648 71 0 0 20 0 15 0 56126799 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139993041017744 139992673406380 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18308] ppid=18302 vsize=12920676 CPUtime=82.97 cores=1,3,5,7
/proc/18305/task/18308/stat : 18308 (java) S 18302 18305 25100 0 -1 1077944384 139563 0 0 0 8255 42 0 0 20 0 15 0 56126800 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992993745936 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18309] ppid=18302 vsize=12920676 CPUtime=82.96 cores=1,3,5,7
/proc/18305/task/18309/stat : 18309 (java) S 18302 18305 25100 0 -1 1077944384 140609 0 0 0 8254 42 0 0 20 0 15 0 56126800 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992992693392 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18310] ppid=18302 vsize=12920676 CPUtime=82.97 cores=1,3,5,7
/proc/18305/task/18310/stat : 18310 (java) S 18302 18305 25100 0 -1 1077944384 133169 0 0 0 8256 41 0 0 20 0 15 0 56126800 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992991640336 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18311] ppid=18302 vsize=12920676 CPUtime=82.97 cores=1,3,5,7
/proc/18305/task/18311/stat : 18311 (java) S 18302 18305 25100 0 -1 1077944384 150106 0 0 0 8256 41 0 0 20 0 15 0 56126800 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992990587792 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18312] ppid=18302 vsize=12920676 CPUtime=0.91 cores=1,3,5,7
/proc/18305/task/18312/stat : 18312 (java) S 18302 18305 25100 0 -1 1077944384 19968 0 0 0 85 6 0 0 20 0 15 0 56126801 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992588204272 139993036790402 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18313] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18313/stat : 18313 (java) S 18302 18305 25100 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 56126801 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992587150560 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18314] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18314/stat : 18314 (java) S 18302 18305 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 56126801 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992586097408 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18315] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18315/stat : 18315 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992585045968 139993036797851 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18316] ppid=18302 vsize=12920676 CPUtime=3.97 cores=1,3,5,7
/proc/18305/task/18316/stat : 18316 (java) S 18302 18305 25100 0 -1 1077944384 20124 0 0 0 394 3 0 0 20 0 15 0 56126804 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992583994096 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18317] ppid=18302 vsize=12920676 CPUtime=3.79 cores=1,3,5,7
/proc/18305/task/18317/stat : 18317 (java) S 18302 18305 25100 0 -1 1077944384 18123 0 0 0 374 5 0 0 20 0 15 0 56126804 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992582941552 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18318] ppid=18302 vsize=12920676 CPUtime=0.94 cores=1,3,5,7
/proc/18305/task/18318/stat : 18318 (java) S 18302 18305 25100 0 -1 1077944384 17652 0 0 0 91 3 0 0 20 0 15 0 56126804 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992581888496 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18319] ppid=18302 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/18305/task/18319/stat : 18319 (java) S 18302 18305 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56126804 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992512850784 139993036789461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
[pid=18305/tid=18320] ppid=18302 vsize=12920676 CPUtime=1.31 cores=1,3,5,7
/proc/18305/task/18320/stat : 18320 (java) S 18302 18305 25100 0 -1 1077944384 1371 0 0 0 53 78 0 0 20 0 15 0 56126806 13230772224 995879 18446744073709551615 4194304 4196468 140735244277344 139992511797808 139993036790402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140735244284307 140735244284494 140735244284494 140735244287951 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 12920676

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18305 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2141.74
CPU time (s): 2400.13
CPU user time (s): 2397
CPU system time (s): 3.13434
CPU usage (%): 112.064
Max. virtual memory (cumulated for all children) (KiB): 12920676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397
system time used= 3.13434
maximum resident set size= 3984080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 812252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57220
involuntary context switches= 6866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2896 second user time and 12.172 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-07 07:04:28
IDJOB=4249352
IDBENCH=139735
IDSOLVER=2628
FILE ID=node133/4249352-1502083115
RUNJOBID= node133-1502065585-15257
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-20-20.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249352-1502083115/watcher-4249352-1502083115 -o /tmp/evaluation-result-4249352-1502083115/solver-4249352-1502083115 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502065585-15257 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2017189038 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4249352-1502083115.xml

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

MD5SUM BENCH= 5e484cb090e237f4c9c5d38433c43cc4
RANDOM SEED=2017189038

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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.17
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.17
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.17
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:        28088664 kB
MemAvailable:   28675996 kB
Buffers:          217312 kB
Cached:           660604 kB
SwapCached:            0 kB
Active:          3883972 kB
Inactive:         365400 kB
Active(anon):    3371968 kB
Inactive(anon):    24920 kB
Active(file):     512004 kB
Inactive(file):   340480 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             43892 kB
Writeback:             4 kB
AnonPages:       3371628 kB
Mapped:            55124 kB
Shmem:             25276 kB
Slab:             127880 kB
SReclaimable:     101368 kB
SUnreclaim:        26512 kB
KernelStack:        3488 kB
PageTables:        11492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3930720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3221504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61928 MiB
End job on node133 at 2017-08-07 07:40:10