Trace number 4274284

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 - Conflict Ordering 2017-07-26SAT (TO)6 2520.0801 2276.9399

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.39	c version: 2017-07-26
0.24/0.39	c seed: 1567089446
0.24/0.40	c timeout: 2520
0.24/0.40	c memlimit: 11000
0.24/0.40	c nbcore: 4
0.42/0.42	c Parsing instance...
7.77/3.23	c Parsing done, starting search...
16.53/8.52	o 399
20.77/11.71	o 398
23.48/14.17	o 397
26.68/16.94	o 396
30.62/20.21	o 395
34.70/23.64	o 394
39.01/27.40	o 393
42.74/30.58	o 392
47.18/34.49	o 391
51.06/37.71	o 390
58.73/42.96	o 389
63.07/46.75	o 388
68.44/51.06	o 387
72.78/54.85	o 386
76.93/58.41	o 385
81.37/62.32	o 384
85.51/65.97	o 383
89.84/69.71	o 382
93.26/73.11	o 381
97.09/76.46	o 380
100.92/79.78	o 379
104.77/83.09	o 378
108.68/86.44	o 377
112.41/89.64	o 376
116.05/92.73	o 375
119.78/95.90	o 374
123.61/99.24	o 373
127.63/102.70	o 372
131.58/106.16	o 371
135.40/109.47	o 370
139.63/113.15	o 369
143.02/116.51	o 368
146.85/119.85	o 367
150.69/123.17	o 366
154.40/126.37	o 365
158.03/129.40	o 364
161.84/132.72	o 363
165.56/135.90	o 362
169.38/139.24	o 361
173.22/142.54	o 360
177.09/145.87	o 359
179.99/148.77	o 358
183.81/152.05	o 357
187.44/155.13	o 356
191.06/158.27	o 355
194.68/161.37	o 354
198.20/164.31	o 353
201.95/167.59	o 352
205.98/171.09	o 351
210.01/174.57	o 350
213.11/177.66	o 349
216.75/180.75	o 348
220.28/183.79	o 347
223.79/186.76	o 346
227.33/189.78	o 345
231.07/192.91	o 344
234.80/196.14	o 343
237.89/199.22	o 342
241.33/202.19	o 341
244.65/205.00	o 340
248.09/207.89	o 339
251.72/211.00	o 338
255.66/214.37	o 337
258.96/217.69	o 336
262.47/220.65	o 335
265.90/223.54	o 334
269.33/226.42	o 333
272.87/229.48	o 332
276.60/232.60	o 331
279.60/235.68	o 330
283.02/238.54	o 329
286.35/241.36	o 328
289.77/244.21	o 327
293.50/247.43	o 326
296.40/250.33	o 325
299.93/253.33	o 324
303.27/256.17	o 323
306.60/258.96	o 322
310.03/261.80	o 321
312.95/264.71	o 320
316.28/267.53	o 319
319.60/270.36	o 318
322.85/273.10	o 317
326.58/276.26	o 316
329.39/279.08	o 315
332.70/281.84	o 314
335.94/284.50	o 313
339.27/287.35	o 312
341.87/289.94	o 311
345.09/292.68	o 310
348.52/295.54	o 309
351.95/298.48	o 308
355.60/301.52	o 307
358.50/304.45	o 306
361.63/307.05	o 305
365.06/309.95	o 304
368.50/312.83	o 303
371.30/315.61	o 302
374.63/318.43	o 301
377.77/321.06	o 300
381.03/323.78	o 299
383.73/326.43	o 298
386.97/329.19	o 297
390.28/331.94	o 296
393.52/334.69	o 295
396.12/337.24	o 294
399.23/339.88	o 293
402.27/342.39	o 292
404.98/345.03	o 291
408.30/347.87	o 290
411.42/350.44	o 289
414.66/353.12	o 288
417.16/355.63	o 287
420.20/358.16	o 286
423.31/360.70	o 285
426.01/363.41	o 284
429.26/366.13	o 283
432.37/368.71	o 282
435.60/371.44	o 281
438.10/374.00	o 280
441.36/376.63	o 279
444.61/379.34	o 278
447.94/382.17	o 277
450.54/384.77	o 276
453.47/387.15	o 275
456.50/389.65	o 274
458.91/392.07	o 273
461.84/394.45	o 272
465.13/397.14	o 271
467.82/399.84	o 270
470.85/402.38	o 269
473.97/404.97	o 268
477.14/407.78	o 267
479.72/410.15	o 266
482.74/412.67	o 265
485.98/415.31	o 264
488.38/417.72	o 263
491.23/420.06	o 262
493.66/422.43	o 261
496.80/425.09	o 260
499.83/427.51	o 259
503.06/430.22	o 258
505.46/432.67	o 257
508.29/434.96	o 256
510.59/437.20	o 255
513.41/439.57	o 254
516.24/441.86	o 253
518.65/444.22	o 252
521.36/446.45	o 251
524.30/448.84	o 250
526.70/451.24	o 249
529.63/453.69	o 248
532.77/456.24	o 247
534.97/458.48	o 246
537.82/460.71	o 245
540.02/462.94	o 244
542.75/465.19	o 243
545.68/467.54	o 242
547.98/469.81	o 241
550.71/472.03	o 240
552.81/474.18	o 239
555.53/476.32	o 238
558.27/478.58	o 237
560.37/480.70	o 236
563.19/482.90	o 235
565.40/485.16	o 234
568.11/487.36	o 233
570.91/489.74	o 232
573.25/491.93	o 231
575.99/494.15	o 230
578.08/496.26	o 229
580.60/498.26	o 228
582.70/500.33	o 227
585.32/502.41	o 226
587.42/504.50	o 225
590.16/506.73	o 224
592.79/508.83	o 223
594.79/510.85	o 222
597.43/512.90	o 221
599.35/514.87	o 220
601.87/516.88	o 219
603.77/518.79	o 218
606.40/520.83	o 217
608.40/522.86	o 216
611.04/524.92	o 215
612.95/526.86	o 214
615.68/529.08	o 213
618.41/531.26	o 212
620.51/533.34	o 211
623.13/535.45	o 210
625.13/537.47	o 209
627.76/539.54	o 208
629.77/541.54	o 207
632.28/543.53	o 206
634.18/545.40	o 205
636.61/547.39	o 204
638.42/549.19	o 203
640.94/551.15	o 202
642.73/553.00	o 201
645.28/554.90	o 200
646.98/556.70	o 199
649.49/558.66	o 198
651.39/560.52	o 197
653.91/562.55	o 196
655.71/564.36	o 195
658.24/566.32	o 194
660.05/568.11	o 193
662.47/570.09	o 192
664.93/572.19	o 191
667.01/574.04	o 190
669.52/576.08	o 189
671.32/577.85	o 188
673.02/579.59	o 187
675.46/581.43	o 186
677.26/583.27	o 185
679.70/585.14	o 184
681.40/586.84	o 183
683.63/588.57	o 182
685.43/590.36	o 181
687.75/592.18	o 180
689.45/593.87	o 179
691.88/595.70	o 178
693.58/597.40	o 177
695.81/599.16	o 176
697.50/600.86	o 175
699.84/602.65	o 174
701.54/604.33	o 173
703.88/606.12	o 172
705.47/607.78	o 171
707.07/609.39	o 170
709.30/611.07	o 169
710.89/612.64	o 168
713.13/614.37	o 167
714.73/615.97	o 166
717.06/617.76	o 165
718.66/619.32	o 164
720.16/620.81	o 163
722.19/622.38	o 162
723.69/623.85	o 161
725.81/625.44	o 160
727.31/626.96	o 159
728.91/628.50	o 158
731.06/630.11	o 157
732.55/631.64	o 156
734.68/633.27	o 155
736.18/634.76	o 154
737.69/636.24	o 153
739.71/637.79	o 152
741.21/639.23	o 151
743.24/640.77	o 150
744.74/642.21	o 149
746.15/643.66	o 148
748.10/645.07	o 147
749.59/646.50	o 146
751.72/648.11	o 145
753.00/649.48	o 144
754.42/650.89	o 143
756.44/652.35	o 142
757.73/653.64	o 141
759.14/655.09	o 140
761.17/656.58	o 139
762.47/657.88	o 138
763.87/659.20	o 137
765.80/660.67	o 136
767.21/662.05	o 135
769.00/663.59	o 134
770.62/664.92	o 133
771.92/666.22	o 132
773.86/667.67	o 131
775.16/668.93	o 130
776.37/670.12	o 129
778.29/671.52	o 128
779.50/672.70	o 127
780.60/673.89	o 126
781.91/675.13	o 125
783.73/676.43	o 124
784.93/677.67	o 123
786.24/678.97	o 122
788.16/680.35	o 121
789.36/681.51	o 120
790.46/682.68	o 119
792.30/683.97	o 118
793.51/685.12	o 117
794.60/686.26	o 116
796.43/687.52	o 115
797.53/688.64	o 114
798.64/689.77	o 113
799.74/690.88	o 112
801.47/692.09	o 111
802.57/693.15	o 110
803.66/694.24	o 109
805.48/695.50	o 108
806.58/696.67	o 107
807.68/697.72	o 106
808.68/698.78	o 105
810.40/699.95	o 104
811.51/701.01	o 103
812.51/702.04	o 102
814.23/703.26	o 101
815.24/704.26	o 100
816.24/705.26	o 99
817.24/706.24	o 98
818.95/707.43	o 97
819.95/708.40	o 96
820.94/709.40	o 95
821.84/710.38	o 94
823.48/711.46	o 93
824.38/712.37	o 92
825.38/713.32	o 91
826.28/714.24	o 90
827.90/715.35	o 89
828.81/716.23	o 88
829.72/717.20	o 87
830.62/718.09	o 86
831.52/718.98	o 85
833.05/719.98	o 84
833.95/720.86	o 83
834.75/721.67	o 82
835.65/722.53	o 81
837.18/723.59	o 80
838.08/724.48	o 79
838.98/725.34	o 78
839.88/726.21	o 77
840.69/727.01	o 76
842.22/728.02	o 75
843.01/728.85	o 74
843.81/729.66	o 73
844.61/730.49	o 72
845.41/731.26	o 71
846.85/732.17	o 70
847.64/732.92	o 69
848.44/733.72	o 68
849.24/734.50	o 67
849.94/735.25	o 66
850.64/735.96	o 65
852.06/736.87	o 64
852.77/737.56	o 63
853.47/738.27	o 62
854.17/738.99	o 61
854.87/739.69	o 60
856.29/740.55	o 59
857.00/741.21	o 58
857.60/741.88	o 57
858.30/742.53	o 56
859.00/743.21	o 55
859.60/743.85	o 54
860.30/744.51	o 53
861.63/745.32	o 52
862.23/745.95	o 51
862.84/746.60	o 50
863.54/747.25	o 49
864.14/747.88	o 48
864.74/748.49	o 47
865.34/749.06	o 46
866.57/749.78	o 45
867.17/750.34	o 44
867.67/750.89	o 43
868.27/751.46	o 42
868.88/752.05	o 41
869.47/752.61	o 40
869.98/753.16	o 39
870.57/753.72	o 38
871.70/754.39	o 37
872.30/754.93	o 36
872.80/755.44	o 35
873.30/755.93	o 34
873.80/756.41	o 33
874.20/756.89	o 32
874.70/757.37	o 31
875.20/757.84	o 30
875.70/758.32	o 29
876.10/758.78	o 28
877.22/759.38	o 27
877.62/759.79	o 26
878.12/760.22	o 25
878.52/760.62	o 24
878.93/761.03	o 23
879.33/761.42	o 22
879.72/761.81	o 21
880.12/762.21	o 20
880.52/762.61	o 19
880.83/762.99	o 18
881.23/763.35	o 17
881.63/763.70	o 16
881.94/764.05	o 15
882.23/764.39	o 14
883.36/764.90	o 13
883.69/765.23	o 12
883.99/765.55	o 11
884.29/765.85	o 10
884.60/766.16	o 9
884.89/766.45	o 8
885.19/766.75	o 7
886.19/767.78	o 6
2520.02/2276.90	s SATISFIABLE
2520.02/2276.91	v <instantiation>
2520.02/2276.91	v 	<list>
2520.02/2276.91	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]
2520.02/2276.91	v 	</list>
2520.02/2276.91	v 	<values>
2520.02/2276.91	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 
2520.02/2276.91	v 	</values>
2520.02/2276.91	v </instantiation>

Verifier Data 

OK	6

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274284-1502850839/watcher-4274284-1502850839 -o /tmp/evaluation-result-4274284-1502850839/solver-4274284-1502850839 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1567089446 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274284-1502850839.xml 

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

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


[startup+0.100084 s]*
/proc/loadavg: 1.33 1.38 1.50 3/196 16293
/proc/meminfo: memFree=30803488/32770624 swapFree=67105588/67108860
[pid=16291] ppid=16288 vsize=13356344 memory=11240 CPUtime=0 cores=1,3,5,7
/proc/16291/stat : 16291 (java) S 16288 16291 12560 0 -1 1077944320 2649 0 0 0 0 0 0 0 20 0 6 0 87279240 13676896256 2810 18446744073709551615 4194304 4196468 140731422085616 140731422068160 140687275806455 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
/proc/16291/statm: 3339638 2810 1317 1 0 3329135 0
[pid=16291/tid=16293] ppid=16288 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16293/stat : 16293 (java) R 16288 16291 12560 0 -1 4202560 1433 0 0 0 0 0 0 0 20 0 6 0 87279250 13679157248 2941 18446744073709551615 4194304 4196468 140731422085616 140687280042576 140687236787779 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16294] ppid=16288 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16294/stat : 16294 (java) S 16288 16291 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 87279251 13679157248 2941 18446744073709551615 4194304 4196468 140731422085616 140687232772880 140687275816661 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16295] ppid=16288 vsize=13358552 memory=140289109653120 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16295/stat : 16295 (java) S 16288 16291 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 87279251 13679157248 2941 18446744073709551615 4194304 4196468 140731422085616 140687231720336 140687275816661 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16296] ppid=16288 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16296/stat : 16296 (java) S 16288 16291 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 87279251 13679157248 2941 18446744073709551615 4194304 4196468 140731422085616 140687230667792 140687275816661 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16297] ppid=16288 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16297/stat : 16297 (java) S 16288 16291 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 87279251 13679157248 2941 18446744073709551615 4194304 4196468 140731422085616 140687229615248 140687275816661 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13356344 KiB
Current children cumulated memory: 11240 KiB

[startup+0.214758 s]*
/proc/loadavg: 1.33 1.38 1.50 4/209 16306
/proc/meminfo: memFree=30790428/32770624 swapFree=67105588/67108860
[pid=16291] ppid=16288 vsize=13975920 memory=30540 CPUtime=0.09 cores=1,3,5,7
/proc/16291/stat : 16291 (java) S 16288 16291 12560 0 -1 1077944320 6931 0 0 0 8 1 0 0 20 0 15 0 87279240 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140731422068160 140687275806455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
/proc/16291/statm: 3493980 7635 3367 1 0 3482759 0
[pid=16291/tid=16293] ppid=16288 vsize=13975920 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/16291/task/16293/stat : 16293 (java) R 16288 16291 12560 0 -1 4202560 4961 0 0 0 6 1 0 0 20 0 15 0 87279250 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140687280039720 140687259886942 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16294] ppid=16288 vsize=13975920 memory=328 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16294/stat : 16294 (java) S 16288 16291 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87279251 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140687232772880 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16295] ppid=16288 vsize=13975920 memory=140289109668784 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16295/stat : 16295 (java) S 16288 16291 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87279251 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140687231720336 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16296] ppid=16288 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16296/stat : 16296 (java) S 16288 16291 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 87279251 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140687230667792 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16297] ppid=16288 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16297/stat : 16297 (java) S 16288 16291 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 87279251 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140687229615248 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16298] ppid=16288 vsize=13975920 memory=140289109653120 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16298/stat : 16298 (java) S 16288 16291 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 87279252 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140686754047984 140687275817602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16299] ppid=16288 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16299/stat : 16299 (java) S 16288 16291 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 87279253 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140686752994208 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16300] ppid=16288 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16300/stat : 16300 (java) S 16288 16291 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 87279253 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140686751941616 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16301] ppid=16288 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16301/stat : 16301 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140686750890192 140687275825051 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16302] ppid=16288 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16302/stat : 16302 (java) S 16288 16291 12560 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 87279255 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140686749837808 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16303] ppid=16288 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16303/stat : 16303 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140686748785264 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16304] ppid=16288 vsize=13975920 memory=140289109653120 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16304/stat : 16304 (java) R 16288 16291 12560 0 -1 4202560 286 0 0 0 0 0 0 0 20 0 15 0 87279255 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140686747732720 140687275818390 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16305] ppid=16288 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16305/stat : 16305 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140686746680416 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16306] ppid=16288 vsize=13975920 memory=140289109653120 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16306/stat : 16306 (java) S 16288 16291 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87279260 14311342080 7635 18446744073709551615 4194304 4196468 140731422085616 140686745626928 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30540 KiB

[startup+0.312753 s]*
/proc/loadavg: 1.33 1.38 1.50 3/209 16306
/proc/meminfo: memFree=30778120/32770624 swapFree=67105588/67108860
[pid=16291] ppid=16288 vsize=13975920 memory=39868 CPUtime=0.24 cores=1,3,5,7
/proc/16291/stat : 16291 (java) S 16288 16291 12560 0 -1 1077944320 10188 0 0 0 22 2 0 0 20 0 15 0 87279240 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140731422068160 140687275806455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
/proc/16291/statm: 3493980 9967 3538 1 0 3482759 0
[pid=16291/tid=16293] ppid=16288 vsize=13975920 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/16291/task/16293/stat : 16293 (java) R 16288 16291 12560 0 -1 4202560 7929 0 0 0 15 2 0 0 20 0 15 0 87279250 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140687280028400 140687275828381 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16294] ppid=16288 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16294/stat : 16294 (java) S 16288 16291 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87279251 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140687232772880 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16295] ppid=16288 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16295/stat : 16295 (java) S 16288 16291 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87279251 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140687231720336 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16296] ppid=16288 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16296/stat : 16296 (java) S 16288 16291 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 87279251 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140687230667792 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16297] ppid=16288 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16297/stat : 16297 (java) S 16288 16291 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 87279251 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140687229615248 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16298] ppid=16288 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16298/stat : 16298 (java) S 16288 16291 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 87279252 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140686754047984 140687275817602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16299] ppid=16288 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16299/stat : 16299 (java) S 16288 16291 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 87279253 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140686752994208 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16300] ppid=16288 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16300/stat : 16300 (java) S 16288 16291 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 87279253 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140686751941616 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16301] ppid=16288 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16301/stat : 16301 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140686750890192 140687275825051 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16302] ppid=16288 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16291/task/16302/stat : 16302 (java) S 16288 16291 12560 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 15 0 87279255 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140686749837808 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16303] ppid=16288 vsize=13975920 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16291/task/16303/stat : 16303 (java) S 16288 16291 12560 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 15 0 87279255 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140686748785264 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16304] ppid=16288 vsize=13975920 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/16291/task/16304/stat : 16304 (java) R 16288 16291 12560 0 -1 4202560 365 0 0 0 4 0 0 0 20 0 15 0 87279255 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140686747732720 140687275818390 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16305] ppid=16288 vsize=13975920 memory=140289109653120 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16305/stat : 16305 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140686746680416 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16306] ppid=16288 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16306/stat : 16306 (java) S 16288 16291 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87279260 14311342080 9967 18446744073709551615 4194304 4196468 140731422085616 140686745626928 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39868 KiB

[startup+0.702754 s]
/proc/loadavg: 1.33 1.38 1.50 3/209 16306
/proc/meminfo: memFree=30765340/32770624 swapFree=67105588/67108860
[pid=16291] ppid=16288 vsize=13975940 memory=121288 CPUtime=1.11 cores=1,3,5,7
/proc/16291/stat : 16291 (java) S 16288 16291 12560 0 -1 1077944320 15237 0 0 0 107 4 0 0 20 0 15 0 87279240 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140731422068160 140687275806455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
/proc/16291/statm: 3493985 30322 3725 1 0 3482759 0
[pid=16291/tid=16293] ppid=16288 vsize=13975940 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/16291/task/16293/stat : 16293 (java) R 16288 16291 12560 0 -1 4202560 10109 0 0 0 51 3 0 0 20 0 15 0 87279250 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140687280027072 140687275828381 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16294] ppid=16288 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16294/stat : 16294 (java) S 16288 16291 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87279251 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140687232772880 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16295] ppid=16288 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16295/stat : 16295 (java) S 16288 16291 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87279251 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140687231720336 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16296] ppid=16288 vsize=13975940 memory=1238 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16296/stat : 16296 (java) S 16288 16291 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 87279251 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140687230667792 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16297] ppid=16288 vsize=13975940 memory=4529 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16297/stat : 16297 (java) S 16288 16291 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 87279251 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140687229615248 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16298] ppid=16288 vsize=13975940 memory=140289000102720 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16298/stat : 16298 (java) S 16288 16291 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 87279252 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140686754047984 140687275817602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16299] ppid=16288 vsize=13975940 memory=3472468568047760192 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16299/stat : 16299 (java) S 16288 16291 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 87279253 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140686752994208 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16300] ppid=16288 vsize=13975940 memory=85 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16300/stat : 16300 (java) S 16288 16291 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 87279253 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140686751941616 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16301] ppid=16288 vsize=13975940 memory=290 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16301/stat : 16301 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140686750890192 140687275825051 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16302] ppid=16288 vsize=13975940 memory=566 CPUtime=0.19 cores=1,3,5,7
/proc/16291/task/16302/stat : 16302 (java) R 16288 16291 12560 0 -1 4202560 1479 0 0 0 19 0 0 0 20 0 15 0 87279255 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140686749830832 140687268095909 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16303] ppid=16288 vsize=13975940 memory=396 CPUtime=0.18 cores=1,3,5,7
/proc/16291/task/16303/stat : 16303 (java) R 16288 16291 12560 0 -1 4202560 1456 0 0 0 18 0 0 0 20 0 15 0 87279255 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140686748771144 140687257334280 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16304] ppid=16288 vsize=13975940 memory=155 CPUtime=0.17 cores=1,3,5,7
/proc/16291/task/16304/stat : 16304 (java) S 16288 16291 12560 0 -1 1077944384 810 0 0 0 17 0 0 0 20 0 15 0 87279255 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140686747732720 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16305] ppid=16288 vsize=13975940 memory=2976 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16305/stat : 16305 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140686746680416 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16306] ppid=16288 vsize=13975940 memory=334 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16306/stat : 16306 (java) S 16288 16291 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87279260 14311362560 30322 18446744073709551615 4194304 4196468 140731422085616 140686745626928 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13975940 KiB
Current children cumulated memory: 121288 KiB

[startup+1.50078 s]
/proc/loadavg: 1.33 1.38 1.50 6/209 16306
/proc/meminfo: memFree=30593260/32770624 swapFree=67105588/67108860
[pid=16291] ppid=16288 vsize=13977988 memory=326744 CPUtime=3.46 cores=1,3,5,7
/proc/16291/stat : 16291 (java) S 16288 16291 12560 0 -1 1077944320 17270 0 0 0 330 16 0 0 20 0 15 0 87279240 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140731422068160 140687275806455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
/proc/16291/statm: 3494497 81686 3782 1 0 3483271 0
[pid=16291/tid=16293] ppid=16288 vsize=13977988 memory=288 CPUtime=1.26 cores=1,3,5,7
/proc/16291/task/16293/stat : 16293 (java) R 16288 16291 12560 0 -1 4202560 10516 0 0 0 121 5 0 0 20 0 15 0 87279250 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140687280039200 140686909527846 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16294] ppid=16288 vsize=13977988 memory=106 CPUtime=0.04 cores=1,3,5,7
/proc/16291/task/16294/stat : 16294 (java) S 16288 16291 12560 0 -1 1077944384 56 0 0 0 2 2 0 0 20 0 15 0 87279251 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140687232772880 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16295] ppid=16288 vsize=13977988 memory=4 CPUtime=0.06 cores=1,3,5,7
/proc/16291/task/16295/stat : 16295 (java) S 16288 16291 12560 0 -1 1077944384 84 0 0 0 4 2 0 0 20 0 15 0 87279251 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140687231720336 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16296] ppid=16288 vsize=13977988 memory=6 CPUtime=0.07 cores=1,3,5,7
/proc/16291/task/16296/stat : 16296 (java) S 16288 16291 12560 0 -1 1077944384 132 0 0 0 4 3 0 0 20 0 15 0 87279251 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140687230667792 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16297] ppid=16288 vsize=13977988 memory=85 CPUtime=0.06 cores=1,3,5,7
/proc/16291/task/16297/stat : 16297 (java) S 16288 16291 12560 0 -1 1077944384 64 0 0 0 4 2 0 0 20 0 15 0 87279251 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140687229615248 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16298] ppid=16288 vsize=13977988 memory=290 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16298/stat : 16298 (java) S 16288 16291 12560 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 87279252 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140686754047984 140687275817602 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16299] ppid=16288 vsize=13977988 memory=566 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16299/stat : 16299 (java) S 16288 16291 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 87279253 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140686752994208 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16300] ppid=16288 vsize=13977988 memory=396 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16300/stat : 16300 (java) S 16288 16291 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 87279253 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140686751941616 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16301] ppid=16288 vsize=13977988 memory=155 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16301/stat : 16301 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140686750890192 140687275825051 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16302] ppid=16288 vsize=13977988 memory=2976 CPUtime=0.8 cores=1,3,5,7
/proc/16291/task/16302/stat : 16302 (java) R 16288 16291 12560 0 -1 4202560 2135 0 0 0 80 0 0 0 20 0 15 0 87279255 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140686749827520 140686905049209 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16303] ppid=16288 vsize=13977988 memory=334 CPUtime=0.78 cores=1,3,5,7
/proc/16291/task/16303/stat : 16303 (java) R 16288 16291 12560 0 -1 4202560 1699 0 0 0 78 0 0 0 20 0 15 0 87279255 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140686748772944 140687261870401 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16304] ppid=16288 vsize=13977988 memory=19031000092388 CPUtime=0.33 cores=1,3,5,7
/proc/16291/task/16304/stat : 16304 (java) S 16288 16291 12560 0 -1 1077944384 1127 0 0 0 33 0 0 0 20 0 15 0 87279255 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140686747732720 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16305] ppid=16288 vsize=13977988 memory=3054156605112197152 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16305/stat : 16305 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140686746680416 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16306] ppid=16288 vsize=13977988 memory=-9106937485548952949 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16306/stat : 16306 (java) S 16288 16291 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87279260 14313459712 81686 18446744073709551615 4194304 4196468 140731422085616 140686745626928 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
Current children cumulated CPU time: 3.46 s
Current children cumulated vsize: 13977988 KiB

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

/proc/16291/task/16293/stat : 16293 (java) R 16288 16291 12560 0 -1 4202560 192186 0 0 0 212367 71 0 0 20 0 15 0 87279250 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140687280044832 140686914627250 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16294] ppid=16288 vsize=13982084 memory=4333576 CPUtime=76.15 cores=1,3,5,7
/proc/16291/task/16294/stat : 16294 (java) S 16288 16291 12560 0 -1 1077944384 120507 0 0 0 7576 39 0 0 20 0 15 0 87279251 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140687232772880 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16295] ppid=16288 vsize=13982084 memory=4332664 CPUtime=76.29 cores=1,3,5,7
/proc/16291/task/16295/stat : 16295 (java) S 16288 16291 12560 0 -1 1077944384 114242 0 0 0 7586 43 0 0 20 0 15 0 87279251 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140687231720336 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16296] ppid=16288 vsize=13982084 memory=4332664 CPUtime=76.23 cores=1,3,5,7
/proc/16291/task/16296/stat : 16296 (java) S 16288 16291 12560 0 -1 1077944384 120715 0 0 0 7584 39 0 0 20 0 15 0 87279251 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140687230667792 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16297] ppid=16288 vsize=13982084 memory=4332684 CPUtime=76.27 cores=1,3,5,7
/proc/16291/task/16297/stat : 16297 (java) S 16288 16291 12560 0 -1 1077944384 114204 0 0 0 7587 40 0 0 20 0 15 0 87279251 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140687229615248 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16298] ppid=16288 vsize=13982084 memory=4332684 CPUtime=0.65 cores=1,3,5,7
/proc/16291/task/16298/stat : 16298 (java) S 16288 16291 12560 0 -1 1077944384 18520 0 0 0 59 6 0 0 20 0 15 0 87279252 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140686754047984 140687275817602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16299] ppid=16288 vsize=13982084 memory=4332684 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16299/stat : 16299 (java) S 16288 16291 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 87279253 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140686752994272 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16300] ppid=16288 vsize=13982084 memory=4332684 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16300/stat : 16300 (java) S 16288 16291 12560 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 87279253 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140686751941632 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16301] ppid=16288 vsize=13982084 memory=4332664 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16301/stat : 16301 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140686750890192 140687275825051 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16302] ppid=16288 vsize=13982084 memory=4144 CPUtime=3.58 cores=1,3,5,7
/proc/16291/task/16302/stat : 16302 (java) S 16288 16291 12560 0 -1 1077944384 14934 0 0 0 356 2 0 0 20 0 15 0 87279255 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140686749837808 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16303] ppid=16288 vsize=13982084 memory=4333576 CPUtime=3.62 cores=1,3,5,7
/proc/16291/task/16303/stat : 16303 (java) S 16288 16291 12560 0 -1 1077944384 20799 0 0 0 360 2 0 0 20 0 15 0 87279255 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140686748785264 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16304] ppid=16288 vsize=13982084 memory=280578000005456 CPUtime=0.94 cores=1,3,5,7
/proc/16291/task/16304/stat : 16304 (java) S 16288 16291 12560 0 -1 1077944384 21355 0 0 0 92 2 0 0 20 0 15 0 87279255 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140686747732720 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16305] ppid=16288 vsize=13982084 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16305/stat : 16305 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140686746680416 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16306] ppid=16288 vsize=13982084 memory=4333576 CPUtime=1.32 cores=1,3,5,7
/proc/16291/task/16306/stat : 16306 (java) S 16288 16291 12560 0 -1 1077944384 1793 0 0 0 52 80 0 0 20 0 15 0 87279260 14317654016 1083171 18446744073709551615 4194304 4196468 140731422085616 140686745626928 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
Current children cumulated CPU time: 2439.54 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4332684 KiB

[startup+2262.3 s]
/proc/loadavg: 2.14 1.99 1.90 3/209 16594
/proc/meminfo: memFree=22556272/32770624 swapFree=67105588/67108860
[pid=16291] ppid=16288 vsize=13982084 memory=4333080 CPUtime=2504.44 cores=1,3,5,7
/proc/16291/stat : 16291 (java) S 16288 16291 12560 0 -1 1077944320 754689 0 0 0 250134 310 0 0 20 0 15 0 87279240 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140731422068160 140687275806455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
/proc/16291/statm: 3495521 1083270 3820 1 0 3484295 0
[pid=16291/tid=16293] ppid=16288 vsize=13982084 memory=4332984 CPUtime=2182.73 cores=1,3,5,7
/proc/16291/task/16293/stat : 16293 (java) R 16288 16291 12560 0 -1 4202560 196131 0 0 0 218201 72 0 0 20 0 15 0 87279250 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140687280044832 140686916346739 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16294] ppid=16288 vsize=13982084 memory=4332984 CPUtime=77.78 cores=1,3,5,7
/proc/16291/task/16294/stat : 16294 (java) S 16288 16291 12560 0 -1 1077944384 122944 0 0 0 7739 39 0 0 20 0 15 0 87279251 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140687232772880 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16295] ppid=16288 vsize=13982084 memory=4332784 CPUtime=77.92 cores=1,3,5,7
/proc/16291/task/16295/stat : 16295 (java) S 16288 16291 12560 0 -1 1077944384 116364 0 0 0 7749 43 0 0 20 0 15 0 87279251 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140687231720336 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16296] ppid=16288 vsize=13982084 memory=4332784 CPUtime=77.86 cores=1,3,5,7
/proc/16291/task/16296/stat : 16296 (java) S 16288 16291 12560 0 -1 1077944384 122893 0 0 0 7746 40 0 0 20 0 15 0 87279251 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140687230667792 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16297] ppid=16288 vsize=13982084 memory=4332984 CPUtime=77.9 cores=1,3,5,7
/proc/16291/task/16297/stat : 16297 (java) S 16288 16291 12560 0 -1 1077944384 117254 0 0 0 7750 40 0 0 20 0 15 0 87279251 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140687229615248 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16298] ppid=16288 vsize=13982084 memory=4333080 CPUtime=0.67 cores=1,3,5,7
/proc/16291/task/16298/stat : 16298 (java) S 16288 16291 12560 0 -1 1077944384 18769 0 0 0 60 7 0 0 20 0 15 0 87279252 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140686754047984 140687275817602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16299] ppid=16288 vsize=13982084 memory=56 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16299/stat : 16299 (java) S 16288 16291 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 87279253 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140686752994272 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16300] ppid=16288 vsize=13982084 memory=4333080 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16300/stat : 16300 (java) S 16288 16291 12560 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 87279253 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140686751941632 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16301] ppid=16288 vsize=13982084 memory=14244 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16301/stat : 16301 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140686750890192 140687275825051 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16302] ppid=16288 vsize=13982084 memory=4332984 CPUtime=3.58 cores=1,3,5,7
/proc/16291/task/16302/stat : 16302 (java) S 16288 16291 12560 0 -1 1077944384 14936 0 0 0 356 2 0 0 20 0 15 0 87279255 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140686749837808 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16303] ppid=16288 vsize=13982084 memory=4333080 CPUtime=3.62 cores=1,3,5,7
/proc/16291/task/16303/stat : 16303 (java) S 16288 16291 12560 0 -1 1077944384 20801 0 0 0 360 2 0 0 20 0 15 0 87279255 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140686748785264 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16304] ppid=16288 vsize=13982084 memory=4144 CPUtime=0.94 cores=1,3,5,7
/proc/16291/task/16304/stat : 16304 (java) S 16288 16291 12560 0 -1 1077944384 21357 0 0 0 92 2 0 0 20 0 15 0 87279255 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140686747732720 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16305] ppid=16288 vsize=13982084 memory=4332984 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16305/stat : 16305 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140686746680416 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16306] ppid=16288 vsize=13982084 memory=4332984 CPUtime=1.35 cores=1,3,5,7
/proc/16291/task/16306/stat : 16306 (java) S 16288 16291 12560 0 -1 1077944384 1817 0 0 0 53 82 0 0 20 0 15 0 87279260 14317654016 1083270 18446744073709551615 4194304 4196468 140731422085616 140686745626928 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
Current children cumulated CPU time: 2504.44 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4333080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2276.9 s]
/proc/loadavg: 1.67 1.89 1.87 3/209 16595
/proc/meminfo: memFree=22536884/32770624 swapFree=67105588/67108860
[pid=16291] ppid=16288 vsize=13982084 memory=4333268 CPUtime=2520.02 cores=1,3,5,7
/proc/16291/stat : 16291 (java) S 16288 16291 12560 0 -1 1077944320 758749 0 0 0 251692 310 0 0 20 0 15 0 87279240 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140731422068160 140687275806455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
/proc/16291/statm: 3495521 1083317 3820 1 0 3484295 0
[pid=16291/tid=16293] ppid=16288 vsize=13982084 memory=4333268 CPUtime=2197 cores=1,3,5,7
/proc/16291/task/16293/stat : 16293 (java) R 16288 16291 12560 0 -1 4202560 196490 0 0 0 219628 72 0 0 20 0 15 0 87279250 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140687280044512 140686907876492 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16294] ppid=16288 vsize=13982084 memory=4333268 CPUtime=78.11 cores=1,3,5,7
/proc/16291/task/16294/stat : 16294 (java) S 16288 16291 12560 0 -1 1077944384 124773 0 0 0 7772 39 0 0 20 0 15 0 87279251 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140687232772880 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16295] ppid=16288 vsize=13982084 memory=4333268 CPUtime=78.24 cores=1,3,5,7
/proc/16291/task/16295/stat : 16295 (java) S 16288 16291 12560 0 -1 1077944384 118210 0 0 0 7781 43 0 0 20 0 15 0 87279251 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140687231720336 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16296] ppid=16288 vsize=13982084 memory=4333204 CPUtime=78.19 cores=1,3,5,7
/proc/16291/task/16296/stat : 16296 (java) S 16288 16291 12560 0 -1 1077944384 122908 0 0 0 7779 40 0 0 20 0 15 0 87279251 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140687230667792 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16297] ppid=16288 vsize=13982084 memory=4333080 CPUtime=78.22 cores=1,3,5,7
/proc/16291/task/16297/stat : 16297 (java) S 16288 16291 12560 0 -1 1077944384 117262 0 0 0 7782 40 0 0 20 0 15 0 87279251 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140687229615248 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16298] ppid=16288 vsize=13982084 memory=4332784 CPUtime=0.67 cores=1,3,5,7
/proc/16291/task/16298/stat : 16298 (java) S 16288 16291 12560 0 -1 1077944384 18772 0 0 0 60 7 0 0 20 0 15 0 87279252 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686754047984 140687275817602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16299] ppid=16288 vsize=13982084 memory=4332784 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16299/stat : 16299 (java) S 16288 16291 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 87279253 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686752994272 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16300] ppid=16288 vsize=13982084 memory=4333268 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16300/stat : 16300 (java) S 16288 16291 12560 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 87279253 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686751941632 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16301] ppid=16288 vsize=13982084 memory=5791726317272852569 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16301/stat : 16301 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686750890192 140687275825051 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16302] ppid=16288 vsize=13982084 memory=4333080 CPUtime=3.58 cores=1,3,5,7
/proc/16291/task/16302/stat : 16302 (java) S 16288 16291 12560 0 -1 1077944384 14936 0 0 0 356 2 0 0 20 0 15 0 87279255 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686749837808 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16303] ppid=16288 vsize=13982084 memory=-8774313645642428999 CPUtime=3.62 cores=1,3,5,7
/proc/16291/task/16303/stat : 16303 (java) S 16288 16291 12560 0 -1 1077944384 20801 0 0 0 360 2 0 0 20 0 15 0 87279255 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686748785264 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16304] ppid=16288 vsize=13982084 memory=4333268 CPUtime=0.94 cores=1,3,5,7
/proc/16291/task/16304/stat : 16304 (java) S 16288 16291 12560 0 -1 1077944384 21357 0 0 0 92 2 0 0 20 0 15 0 87279255 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686747732720 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16305] ppid=16288 vsize=13982084 memory=4333080 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16305/stat : 16305 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686746680416 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16306] ppid=16288 vsize=13982084 memory=56 CPUtime=1.36 cores=1,3,5,7
/proc/16291/task/16306/stat : 16306 (java) S 16288 16291 12560 0 -1 1077944384 1817 0 0 0 54 82 0 0 20 0 15 0 87279260 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686745626928 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4333268 KiB

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

[startup+2276.94 s]
# the end of solver process 16291 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.94 s, system=3.13368 s

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

[startup+2276.9 s]
/proc/loadavg: 1.67 1.89 1.87 3/209 16595
/proc/meminfo: memFree=22536884/32770624 swapFree=67105588/67108860
[pid=16291] ppid=16288 vsize=13982084 memory=4333268 CPUtime=2520.02 cores=1,3,5,7
/proc/16291/stat : 16291 (java) S 16288 16291 12560 0 -1 1077944320 758749 0 0 0 251692 310 0 0 20 0 15 0 87279240 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140731422068160 140687275806455 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
/proc/16291/statm: 3495521 1083317 3820 1 0 3484295 0
[pid=16291/tid=16293] ppid=16288 vsize=13982084 memory=4333268 CPUtime=2197 cores=1,3,5,7
/proc/16291/task/16293/stat : 16293 (java) R 16288 16291 12560 0 -1 4202560 196490 0 0 0 219628 72 0 0 20 0 15 0 87279250 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140687280044512 140686907876492 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16294] ppid=16288 vsize=13982084 memory=4333268 CPUtime=78.11 cores=1,3,5,7
/proc/16291/task/16294/stat : 16294 (java) S 16288 16291 12560 0 -1 1077944384 124773 0 0 0 7772 39 0 0 20 0 15 0 87279251 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140687232772880 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16295] ppid=16288 vsize=13982084 memory=4333268 CPUtime=78.24 cores=1,3,5,7
/proc/16291/task/16295/stat : 16295 (java) S 16288 16291 12560 0 -1 1077944384 118210 0 0 0 7781 43 0 0 20 0 15 0 87279251 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140687231720336 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16296] ppid=16288 vsize=13982084 memory=4333204 CPUtime=78.19 cores=1,3,5,7
/proc/16291/task/16296/stat : 16296 (java) S 16288 16291 12560 0 -1 1077944384 122908 0 0 0 7779 40 0 0 20 0 15 0 87279251 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140687230667792 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16297] ppid=16288 vsize=13982084 memory=4333080 CPUtime=78.22 cores=1,3,5,7
/proc/16291/task/16297/stat : 16297 (java) S 16288 16291 12560 0 -1 1077944384 117262 0 0 0 7782 40 0 0 20 0 15 0 87279251 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140687229615248 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16298] ppid=16288 vsize=13982084 memory=4332784 CPUtime=0.67 cores=1,3,5,7
/proc/16291/task/16298/stat : 16298 (java) S 16288 16291 12560 0 -1 1077944384 18772 0 0 0 60 7 0 0 20 0 15 0 87279252 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686754047984 140687275817602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16299] ppid=16288 vsize=13982084 memory=4332784 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16299/stat : 16299 (java) S 16288 16291 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 87279253 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686752994272 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16300] ppid=16288 vsize=13982084 memory=4333268 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16300/stat : 16300 (java) S 16288 16291 12560 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 87279253 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686751941632 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16301] ppid=16288 vsize=13982084 memory=5791726317272852569 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16301/stat : 16301 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686750890192 140687275825051 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16302] ppid=16288 vsize=13982084 memory=4333080 CPUtime=3.58 cores=1,3,5,7
/proc/16291/task/16302/stat : 16302 (java) S 16288 16291 12560 0 -1 1077944384 14936 0 0 0 356 2 0 0 20 0 15 0 87279255 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686749837808 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16303] ppid=16288 vsize=13982084 memory=-8774313645642428999 CPUtime=3.62 cores=1,3,5,7
/proc/16291/task/16303/stat : 16303 (java) S 16288 16291 12560 0 -1 1077944384 20801 0 0 0 360 2 0 0 20 0 15 0 87279255 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686748785264 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16304] ppid=16288 vsize=13982084 memory=4333268 CPUtime=0.94 cores=1,3,5,7
/proc/16291/task/16304/stat : 16304 (java) S 16288 16291 12560 0 -1 1077944384 21357 0 0 0 92 2 0 0 20 0 15 0 87279255 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686747732720 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16305] ppid=16288 vsize=13982084 memory=4333080 CPUtime=0 cores=1,3,5,7
/proc/16291/task/16305/stat : 16305 (java) S 16288 16291 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87279255 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686746680416 140687275816661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
[pid=16291/tid=16306] ppid=16288 vsize=13982084 memory=56 CPUtime=1.36 cores=1,3,5,7
/proc/16291/task/16306/stat : 16306 (java) S 16288 16291 12560 0 -1 1077944384 1817 0 0 0 54 82 0 0 20 0 15 0 87279260 14317654016 1083317 18446744073709551615 4194304 4196468 140731422085616 140686745626928 140687275817602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140731422093678 140731422093865 140731422093865 140731422097359 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4333268 KiB

Child status: 143
Real time (s): 2276.94
CPU time (s): 2520.08
CPU user time (s): 2516.94
CPU system time (s): 3.13368
CPU usage (%): 110.678
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 4333620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.94
system time used= 3.13368
maximum resident set size= 4334064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 760366
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59812
involuntary context switches= 7679


# summary of solver processes directly reported to runsolver:
#   pid: 16291
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.94
#   total CPU system time (s): 3.13368

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7418 second user time and 17.8542 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-16 04:19:57
IDJOB=4274284
IDBENCH=139735
IDSOLVER=2666
FILE ID=node126/4274284-1502850839
RUNJOBID= node126-1502662832-10388
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-20-20.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274284-1502850839/watcher-4274284-1502850839 -o /tmp/evaluation-result-4274284-1502850839/solver-4274284-1502850839 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1567089446 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274284-1502850839.xml

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

MD5SUM BENCH= 5e484cb090e237f4c9c5d38433c43cc4
RANDOM SEED=1567089446

node126.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.81
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.81
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.81
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.81
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:        30804572 kB
MemAvailable:   31214716 kB
Buffers:          243296 kB
Cached:           448156 kB
SwapCached:          524 kB
Active:          1212596 kB
Inactive:         280344 kB
Active(anon):     753856 kB
Inactive(anon):    89000 kB
Active(file):     458740 kB
Inactive(file):   191344 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             44204 kB
Writeback:             0 kB
AnonPages:        800736 kB
Mapped:            64756 kB
Shmem:             41632 kB
Slab:             178060 kB
SReclaimable:     151792 kB
SUnreclaim:        26268 kB
KernelStack:        3408 kB
PageTables:         6704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1716536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    739328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61936 MiB
End job on node126 at 2017-08-16 04:57:54