Trace number 4274326

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)4 2520.0601 2447.73

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-34.xml
MD5SUM778dc3cd7adf307db423468d07378e38
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark2400
Satisfiable
(Un)Satisfiability was proved
Number of variables1156
Number of constraints5984
Number of domains1
Minimum domain size561
Maximum domain size561
Distribution of domain sizes[{"size":561,"count":561}]
Minimum variable degree0
Maximum variable degree33
Distribution of variable degrees[{"degree":0,"count":595},{"degree":33,"count":561}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":5984}]
Number of extensional constraints0
Number of intensional constraints5984
Distribution of constraint types[{"type":"intension","count":5984}]
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.22/0.41	c version: 2017-07-26
0.22/0.41	c seed: 1943938042
0.22/0.41	c timeout: 2520
0.22/0.41	c memlimit: 11000
0.22/0.41	c nbcore: 4
0.40/0.43	c Parsing instance...
4.38/1.72	c Parsing done, starting search...
8.59/4.62	o 560
12.13/7.57	o 559
15.41/10.65	o 558
18.38/13.52	o 557
21.34/16.44	o 556
24.19/19.28	o 555
27.14/22.12	o 554
29.98/24.94	o 553
32.92/27.77	o 552
35.76/30.57	o 551
38.61/33.31	o 550
41.37/36.03	o 549
44.12/38.77	o 548
46.99/41.58	o 547
49.73/44.29	o 546
52.51/46.99	o 545
55.25/49.69	o 544
58.12/52.40	o 543
60.81/55.08	o 542
63.61/57.74	o 541
66.39/60.41	o 540
69.08/63.09	o 539
71.81/65.79	o 538
74.59/68.43	o 537
77.28/71.06	o 536
79.95/73.70	o 535
82.73/76.34	o 534
85.40/79.00	o 533
88.18/81.65	o 532
90.96/84.32	o 531
93.64/86.98	o 530
96.42/89.62	o 529
99.36/92.54	o 528
102.29/95.38	o 527
105.26/98.20	o 526
108.19/101.05	o 525
111.06/103.85	o 524
113.93/106.62	o 523
116.81/109.41	o 522
119.59/112.17	o 521
122.45/114.95	o 520
125.34/117.70	o 519
128.13/120.46	o 518
131.01/123.20	o 517
133.79/125.94	o 516
136.63/128.71	o 515
139.40/131.46	o 514
142.19/134.15	o 513
144.96/136.84	o 512
147.74/139.50	o 511
150.42/142.13	o 510
153.10/144.78	o 509
155.88/147.44	o 508
158.62/150.11	o 507
161.29/152.77	o 506
164.01/155.37	o 505
166.69/157.96	o 504
169.33/160.57	o 503
172.02/163.16	o 502
174.59/165.68	o 501
177.26/168.20	o 500
179.74/170.69	o 499
182.35/173.18	o 498
185.00/175.65	o 497
187.55/178.15	o 496
190.12/180.60	o 495
192.61/183.04	o 494
195.18/185.51	o 493
197.66/187.94	o 492
200.10/190.39	o 491
202.68/192.83	o 490
205.16/195.26	o 489
207.70/197.70	o 488
210.09/200.11	o 487
212.66/202.52	o 486
215.18/204.92	o 485
217.66/207.35	o 484
220.11/209.74	o 483
222.60/212.16	o 482
225.03/214.52	o 481
227.40/216.87	o 480
229.80/219.15	o 479
232.16/221.43	o 478
234.50/223.76	o 477
236.89/226.01	o 476
239.12/228.29	o 475
241.50/230.57	o 474
243.78/232.79	o 473
246.16/235.01	o 472
248.40/237.27	o 471
250.66/239.46	o 470
252.92/241.66	o 469
255.38/243.89	o 468
257.62/246.05	o 467
259.80/248.18	o 466
261.95/250.28	o 465
264.09/252.40	o 464
266.26/254.48	o 463
268.45/256.59	o 462
270.72/258.73	o 461
272.79/260.77	o 460
274.94/262.84	o 459
277.11/264.90	o 458
279.15/266.95	o 457
281.35/269.04	o 456
283.38/271.09	o 455
285.55/273.17	o 454
287.63/275.19	o 453
289.75/277.22	o 452
291.82/279.24	o 451
293.86/281.27	o 450
295.93/283.26	o 449
297.97/285.27	o 448
300.04/287.20	o 447
301.99/289.16	o 446
304.07/291.13	o 445
306.10/293.11	o 444
308.04/295.04	o 443
310.01/296.93	o 442
311.95/298.82	o 441
313.92/300.71	o 440
315.76/302.59	o 439
317.74/304.43	o 438
319.68/306.31	o 437
321.53/308.13	o 436
323.39/309.93	o 435
325.23/311.74	o 434
327.07/313.51	o 433
328.94/315.33	o 432
330.79/317.13	o 431
332.66/318.95	o 430
334.60/320.81	o 429
336.44/322.66	o 428
338.27/324.46	o 427
340.11/326.22	o 426
341.85/327.96	o 425
343.72/329.77	o 424
345.46/331.49	o 423
347.34/333.22	o 422
349.19/335.03	o 421
351.02/336.80	o 420
352.76/338.53	o 419
354.50/340.22	o 418
356.14/341.88	o 417
357.91/343.55	o 416
359.65/345.22	o 415
361.29/346.86	o 414
363.20/348.57	o 413
364.95/350.21	o 412
366.52/351.80	o 411
368.27/353.42	o 410
369.98/355.13	o 409
371.63/356.75	o 408
373.29/358.31	o 407
374.95/359.94	o 406
376.65/361.60	o 405
378.22/363.13	o 404
379.77/364.66	o 403
381.43/366.27	o 402
383.13/367.92	o 401
384.69/369.42	o 400
386.25/370.96	o 399
387.90/372.57	o 398
389.51/374.17	o 397
391.07/375.65	o 396
392.63/377.11	o 395
394.18/378.63	o 394
395.69/380.20	o 393
397.24/381.63	o 392
398.81/383.15	o 391
400.30/384.68	o 390
401.77/386.10	o 389
403.32/387.56	o 388
404.83/389.07	o 387
406.37/390.50	o 386
407.74/391.88	o 385
409.30/393.33	o 384
410.80/394.81	o 383
412.17/396.18	o 382
413.66/397.63	o 381
415.13/399.02	o 380
416.52/400.45	o 379
417.88/401.76	o 378
419.29/403.17	o 377
420.65/404.49	o 376
422.11/405.86	o 375
423.51/407.27	o 374
424.86/408.55	o 373
426.27/409.94	o 372
427.72/411.31	o 371
428.98/412.58	o 370
430.44/413.93	o 369
431.74/415.28	o 368
433.10/416.51	o 367
434.41/417.86	o 366
435.77/419.19	o 365
437.16/420.54	o 364
438.51/421.86	o 363
439.85/423.18	o 362
441.17/424.49	o 361
442.53/425.74	o 360
443.84/427.02	o 359
445.08/428.22	o 358
446.28/429.48	o 357
447.54/430.64	o 356
448.74/431.88	o 355
450.01/433.04	o 354
451.25/434.21	o 353
452.45/435.44	o 352
453.61/436.55	o 351
454.82/437.76	o 350
455.98/438.86	o 349
457.19/440.04	o 348
458.35/441.14	o 347
459.54/442.32	o 346
460.70/443.43	o 345
461.80/444.59	o 344
463.06/445.71	o 343
464.16/446.86	o 342
465.32/447.98	o 341
466.53/449.13	o 340
467.68/450.23	o 339
468.78/451.34	o 338
469.93/452.40	o 337
471.03/453.50	o 336
472.09/454.53	o 335
473.19/455.63	o 334
474.25/456.62	o 333
475.35/457.72	o 332
476.41/458.78	o 331
477.51/459.84	o 330
478.56/460.83	o 329
479.56/461.88	o 328
480.62/462.85	o 327
481.62/463.88	o 326
482.69/464.84	o 325
483.69/465.85	o 324
484.75/466.86	o 323
485.75/467.87	o 322
486.75/468.89	o 321
487.81/469.81	o 320
488.81/470.81	o 319
489.78/471.72	o 318
490.68/472.69	o 317
491.63/473.60	o 316
492.63/474.56	o 315
493.59/475.46	o 314
494.60/476.41	o 313
495.50/477.37	o 312
496.55/478.31	o 311
497.45/479.25	o 310
498.42/480.11	o 309
499.32/481.03	o 308
500.28/481.92	o 307
501.18/482.82	o 306
502.08/483.74	o 305
503.04/484.63	o 304
503.94/485.52	o 303
504.80/486.33	o 302
505.70/487.21	o 301
506.57/488.01	o 300
507.36/488.87	o 299
508.32/489.73	o 298
509.12/490.59	o 297
510.02/491.44	o 296
510.82/492.28	o 295
511.69/493.09	o 294
512.58/493.92	o 293
513.38/494.74	o 292
514.23/495.52	o 291
515.03/496.33	o 290
515.84/497.14	o 289
516.69/497.94	o 288
517.49/498.74	o 287
518.35/499.53	o 286
519.15/500.31	o 285
519.86/501.09	o 284
520.71/501.83	o 283
521.41/502.59	o 282
522.21/503.35	o 281
522.98/504.05	o 280
523.67/504.79	o 279
524.47/505.54	o 278
525.23/506.23	o 277
525.94/506.96	o 276
526.69/507.66	o 275
527.40/508.38	o 274
528.10/509.10	o 273
528.95/509.81	o 272
529.65/510.52	o 271
530.35/511.22	o 270
531.11/511.93	o 269
531.81/512.62	o 268
532.51/513.30	o 267
533.11/513.99	o 266
533.87/514.66	o 265
534.57/515.33	o 264
535.19/515.99	o 263
535.93/516.64	o 262
536.63/517.30	o 261
537.23/517.94	o 260
537.88/518.55	o 259
538.49/519.18	o 258
539.18/519.81	o 257
539.81/520.44	o 256
540.45/521.06	o 255
541.04/521.68	o 254
541.64/522.29	o 253
542.31/522.86	o 252
542.91/523.46	o 251
543.51/524.06	o 250
544.17/524.65	o 249
544.77/525.24	o 248
545.37/525.83	o 247
545.97/526.41	o 246
546.47/526.99	o 245
547.13/527.56	o 244
547.74/528.14	o 243
548.33/528.70	o 242
548.85/529.27	o 241
549.48/529.82	o 240
549.98/530.37	o 239
550.58/530.91	o 238
551.14/531.45	o 237
551.64/531.99	o 236
552.24/532.52	o 235
552.75/533.05	o 234
553.30/533.57	o 233
553.81/534.09	o 232
554.40/534.61	o 231
554.91/535.11	o 230
555.46/535.61	o 229
555.97/536.11	o 228
556.46/536.61	o 227
556.97/537.11	o 226
557.42/537.58	o 225
557.93/538.07	o 224
558.42/538.56	o 223
558.93/539.04	o 222
559.42/539.52	o 221
560.44/540.14	o 220
560.93/540.61	o 219
561.34/541.07	o 218
561.83/541.54	o 217
562.23/541.99	o 216
562.73/542.44	o 215
563.16/542.89	o 214
563.66/543.33	o 213
564.06/543.77	o 212
564.57/544.21	o 211
564.97/544.64	o 210
565.38/545.08	o 209
565.91/545.50	o 208
566.31/545.92	o 207
566.71/546.34	o 206
567.11/546.76	o 205
567.52/547.18	o 204
567.91/547.59	o 203
568.34/548.00	o 202
568.84/548.40	o 201
569.24/548.80	o 200
569.55/549.19	o 199
569.94/549.59	o 198
570.39/549.96	o 197
570.79/550.34	o 196
571.19/550.72	o 195
571.50/551.10	o 194
571.89/551.47	o 193
572.29/551.84	o 192
572.73/552.20	o 191
573.03/552.56	o 190
573.43/552.92	o 189
573.73/553.27	o 188
574.13/553.63	o 187
574.43/553.98	o 186
574.87/554.32	o 185
575.17/554.66	o 184
575.47/555.01	o 183
575.87/555.34	o 182
576.17/555.68	o 181
576.58/556.01	o 180
576.91/556.33	o 179
577.21/556.66	o 178
577.51/556.98	o 177
577.92/557.30	o 176
578.22/557.62	o 175
578.52/557.93	o 174
578.86/558.24	o 173
579.16/558.55	o 172
579.46/558.86	o 171
579.77/559.16	o 170
580.06/559.46	o 169
580.36/559.76	o 168
580.71/560.06	o 167
581.00/560.35	o 166
581.30/560.65	o 165
581.60/560.94	o 164
581.90/561.23	o 163
582.20/561.51	o 162
582.40/561.80	o 161
582.75/562.07	o 160
583.05/562.35	o 159
583.35/562.62	o 158
583.55/562.88	o 157
583.86/563.15	o 156
584.15/563.41	o 155
584.38/563.69	o 154
584.68/563.95	o 153
584.98/564.20	o 152
585.18/564.46	o 151
585.49/564.71	o 150
585.69/564.96	o 149
586.03/565.20	o 148
586.23/565.44	o 147
586.43/565.69	o 146
586.73/565.93	o 145
586.94/566.16	o 144
587.23/566.40	o 143
587.47/566.63	o 142
587.67/566.86	o 141
587.87/567.09	o 140
588.17/567.32	o 139
588.37/567.54	o 138
588.57/567.77	o 137
588.77/567.99	o 136
589.10/568.21	o 135
589.30/568.43	o 134
589.50/568.65	o 133
589.70/568.86	o 132
589.91/569.07	o 131
590.10/569.28	o 130
590.30/569.50	o 129
590.64/569.70	o 128
590.84/569.90	o 127
590.95/570.11	o 126
591.24/570.30	o 125
591.44/570.50	o 124
591.54/570.69	o 123
591.74/570.89	o 122
591.99/571.09	o 121
592.18/571.28	o 120
592.38/571.46	o 119
592.58/571.65	o 118
592.78/571.83	o 117
592.99/572.02	o 116
593.22/572.21	o 115
593.32/572.38	o 114
593.52/572.56	o 113
593.72/572.73	o 112
593.92/572.91	o 111
594.03/573.08	o 110
594.22/573.24	o 109
594.42/573.41	o 108
594.56/573.58	o 107
594.76/573.75	o 106
594.96/573.92	o 105
595.07/574.08	o 104
595.26/574.24	o 103
595.46/574.40	o 102
595.56/574.56	o 101
595.76/574.71	o 100
595.86/574.87	o 99
596.13/575.04	o 98
596.23/575.19	o 97
596.42/575.34	o 96
596.52/575.48	o 95
596.72/575.63	o 94
596.82/575.77	o 93
597.02/575.92	o 92
597.13/576.06	o 91
597.32/576.20	o 90
597.42/576.34	o 89
597.52/576.48	o 88
597.72/576.62	o 87
597.82/576.75	o 86
598.06/576.90	o 85
598.17/577.03	o 84
598.27/577.16	o 83
598.36/577.29	o 82
598.56/577.42	o 81
598.67/577.55	o 80
598.77/577.68	o 79
598.97/577.80	o 78
599.07/577.93	o 77
599.18/578.05	o 76
599.28/578.17	o 75
599.37/578.29	o 74
599.57/578.41	o 73
599.67/578.53	o 72
599.77/578.65	o 71
599.87/578.76	o 70
599.97/578.87	o 69
600.07/578.99	o 68
600.18/579.10	o 67
600.42/579.23	o 66
600.51/579.34	o 65
600.61/579.45	o 64
600.71/579.56	o 63
600.81/579.67	o 62
600.91/579.77	o 61
601.01/579.88	o 60
601.11/579.98	o 59
601.22/580.08	o 58
601.32/580.18	o 57
601.41/580.29	o 56
601.51/580.39	o 55
601.61/580.49	o 54
601.71/580.59	o 53
601.81/580.69	o 52
601.91/580.78	o 51
602.01/580.88	o 50
602.11/580.97	o 49
602.23/581.07	o 48
602.33/581.16	o 47
602.42/581.25	o 46
602.52/581.34	o 45
602.62/581.43	o 44
602.72/581.52	o 43
602.86/581.62	o 42
602.96/581.71	o 41
602.96/581.79	o 40
603.06/581.88	o 39
603.16/581.96	o 38
603.27/582.05	o 37
603.37/582.13	o 36
603.46/582.21	o 35
603.46/582.29	o 34
603.56/582.37	o 33
603.66/582.45	o 32
603.76/582.53	o 31
603.86/582.61	o 30
603.86/582.69	o 29
603.96/582.76	o 28
604.06/582.84	o 27
604.16/582.91	o 26
604.16/582.98	o 25
604.26/583.06	o 24
604.37/583.13	o 23
604.46/583.20	o 22
604.46/583.27	o 21
604.56/583.34	o 20
604.66/583.41	o 19
604.66/583.48	o 18
604.76/583.55	o 17
604.86/583.62	o 16
604.86/583.68	o 15
604.96/583.75	o 14
605.06/583.81	o 13
605.06/583.87	o 12
605.16/583.94	o 11
605.16/584.00	o 10
605.27/584.06	o 9
605.37/584.13	o 8
605.37/584.19	o 7
605.46/584.25	o 6
605.74/584.32	o 5
872.58/843.35	o 4
2520.02/2447.70	s SATISFIABLE
2520.02/2447.71	v <instantiation>
2520.02/2447.71	v 	<list>
2520.02/2447.71	v 		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[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] 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[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] 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[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] 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[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] 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[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] 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[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] 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[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] 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[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] 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[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] 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[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] 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[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] 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[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][30] x[29][31] x[29][32] x[29][33] x[30][31] x[30][32] x[30][33] x[31][32] x[31][33] x[32][33]
2520.02/2447.71	v 	</list>
2520.02/2447.71	v 	<values>
2520.02/2447.71	v 		4 2 3 4 1 1 3 3 1 4 4 3 4 2 0 0 0 4 2 0 0 0 2 3 1 0 0 2 3 2 2 2 2 3 1 3 2 4 3 3 1 2 3 3 0 0 0 0 4 1 0 0 4 4 1 2 0 0 2 3 3 2 2 2 2 3 4 3 1 2 4 3 1 2 4 0 1 4 0 2 4 0 0 4 0 0 1 0 0 3 0 2 3 3 3 3 4 4 3 1 4 2 3 3 2 0 4 1 0 3 4 2 1 4 0 0 2 1 0 0 3 1 1 0 0 1 1 4 4 1 4 1 2 2 0 0 0 0 0 0 1 2 2 3 4 2 4 3 1 0 0 3 3 3 3 3 4 3 2 4 3 2 1 0 1 4 4 1 0 1 1 3 4 0 0 0 4 3 0 1 0 0 1 2 2 2 4 4 1 2 0 3 4 1 2 0 1 0 1 3 0 0 0 3 2 0 3 3 3 3 1 3 2 4 2 1 1 3 1 0 4 0 4 0 2 0 1 2 0 1 0 0 3 3 3 3 3 4 4 2 3 0 1 4 0 0 2 1 1 2 0 0 4 1 0 1 0 3 3 3 3 3 2 4 0 2 0 4 0 0 4 1 4 2 3 0 2 1 0 3 0 2 2 2 2 2 4 2 2 1 1 0 0 4 3 0 3 0 0 1 1 0 1 0 3 3 3 3 4 3 0 3 0 0 2 1 0 0 1 2 4 1 4 0 2 4 3 3 3 3 1 0 0 0 2 3 1 4 0 3 4 1 0 0 0 2 0 3 3 3 3 3 2 3 1 3 2 3 0 3 2 3 1 3 2 4 3 2 2 2 4 3 2 3 1 3 2 3 0 3 2 3 1 3 4 2 4 4 4 4 3 2 3 1 3 2 3 0 3 2 3 1 4 3 4 4 4 4 3 2 3 1 3 2 3 0 3 2 3 4 1 4 4 4 4 3 2 3 1 3 2 3 0 3 2 4 3 4 4 4 4 3 2 3 1 3 2 3 0 3 4 2 4 4 4 4 3 2 3 1 3 2 3 0 4 3 4 4 4 4 3 2 3 1 3 2 3 3 0 4 4 4 4 3 2 3 1 3 2 4 3 3 3 3 4 3 2 3 1 3 4 2 4 4 4 4 3 2 3 1 4 3 4 4 4 4 3 2 3 4 1 4 4 4 4 3 2 4 3 4 4 4 4 3 4 2 4 4 4 4 4 3 4 4 4 4 4 3 3 3 3 4 4 4 4 0 1 0 1 1 0 
2520.02/2447.71	v 	</values>
2520.02/2447.71	v </instantiation>

Verifier Data 

OK	4

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274326-1502864392/watcher-4274326-1502864392 -o /tmp/evaluation-result-4274326-1502864392/solver-4274326-1502864392 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6258 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1943938042 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274326-1502864392.xml 

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

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

solver pid=9282, runsolver pid=9279

[startup+0.100025 s]*
/proc/loadavg: 1.77 1.60 1.47 3/199 9283
/proc/meminfo: memFree=27887368/32770624 swapFree=67108860/67108860
[pid=9282] ppid=9279 vsize=13356344 memory=10696 CPUtime=0 cores=0,2,4,6
/proc/9282/stat : 9282 (java) S 9279 9282 8289 0 -1 1077944320 2492 0 0 0 0 0 0 0 20 0 6 0 134254402 13676896256 2674 18446744073709551615 4194304 4196468 140720581276832 140720581259376 139733733678839 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
/proc/9282/statm: 3339086 2674 1213 1 0 3329056 0
[pid=9282/tid=9284] ppid=9279 vsize=13356344 memory=-8035107114825123821 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9284/stat : 9284 (java) R 9279 9282 8289 0 -1 4202560 1230 0 0 0 0 0 0 0 20 0 6 0 134254412 13676896256 2740 18446744073709551615 4194304 4196468 140720581276832 139733737919800 139733719553920 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9285] ppid=9279 vsize=13356344 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9285/stat : 9285 (java) S 9279 9282 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 134254413 13676896256 2740 18446744073709551615 4194304 4196468 140720581276832 139733675625360 139733733689045 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9286] ppid=9279 vsize=13356344 memory=140611468699264 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9286/stat : 9286 (java) S 9279 9282 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 134254413 13676896256 2740 18446744073709551615 4194304 4196468 140720581276832 139733332663056 139733733689045 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9287] ppid=9279 vsize=13356344 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9287/stat : 9287 (java) S 9279 9282 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 134254413 13676896256 2740 18446744073709551615 4194304 4196468 140720581276832 139733331610768 139733733689045 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9288] ppid=9279 vsize=13356344 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9288/stat : 9288 (java) S 9279 9282 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 134254413 13676896256 2740 18446744073709551615 4194304 4196468 140720581276832 139733330557968 139733733689045 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13356344 KiB
Current children cumulated memory: 10696 KiB

[startup+0.216974 s]*
/proc/loadavg: 1.77 1.60 1.47 3/213 9297
/proc/meminfo: memFree=27876368/32770624 swapFree=67108860/67108860
[pid=9282] ppid=9279 vsize=13975920 memory=27956 CPUtime=0.07 cores=0,2,4,6
/proc/9282/stat : 9282 (java) S 9279 9282 8289 0 -1 1077944320 6820 0 0 0 6 1 0 0 20 0 15 0 134254402 14311342080 6989 18446744073709551615 4194304 4196468 140720581276832 140720581259376 139733733678839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
/proc/9282/statm: 3493980 6989 3213 1 0 3482759 0
[pid=9282/tid=9284] ppid=9279 vsize=13975920 memory=7078076838863583850 CPUtime=0.05 cores=0,2,4,6
/proc/9282/task/9284/stat : 9284 (java) R 9279 9282 8289 0 -1 4202560 4986 0 0 0 5 0 0 0 20 0 15 0 134254412 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733737908216 139733356305687 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9285] ppid=9279 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9285/stat : 9285 (java) S 9279 9282 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134254413 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733675625360 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9286] ppid=9279 vsize=13975920 memory=140611468699264 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9286/stat : 9286 (java) S 9279 9282 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134254413 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733332663056 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9287] ppid=9279 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9287/stat : 9287 (java) S 9279 9282 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134254413 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733331610768 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9288] ppid=9279 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9288/stat : 9288 (java) S 9279 9282 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134254413 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733330557968 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9289] ppid=9279 vsize=13975920 memory=140611468699264 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9289/stat : 9289 (java) S 9279 9282 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134254414 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733280053360 139733733689986 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9290] ppid=9279 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9290/stat : 9290 (java) S 9279 9282 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134254415 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733278999328 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9291] ppid=9279 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9291/stat : 9291 (java) S 9279 9282 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134254415 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733277946992 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9292] ppid=9279 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9292/stat : 9292 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254417 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733276895312 139733733697435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9293] ppid=9279 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9293/stat : 9293 (java) S 9279 9282 8289 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 134254417 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733275843184 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9294] ppid=9279 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9294/stat : 9294 (java) S 9279 9282 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 134254417 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733274790384 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9295] ppid=9279 vsize=13975920 memory=140611468699264 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9295/stat : 9295 (java) R 9279 9282 8289 0 -1 4202560 239 0 0 0 0 0 0 0 20 0 15 0 134254417 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733273738096 139733712260240 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9296] ppid=9279 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9296/stat : 9296 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254418 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733272685536 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9297] ppid=9279 vsize=13975920 memory=140611468699264 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9297/stat : 9297 (java) S 9279 9282 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134254423 14311342080 7055 18446744073709551615 4194304 4196468 140720581276832 139733204199856 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27956 KiB

[startup+0.310281 s]*
/proc/loadavg: 1.77 1.60 1.47 4/213 9297
/proc/meminfo: memFree=27862788/32770624 swapFree=67108860/67108860
[pid=9282] ppid=9279 vsize=13975920 memory=39980 CPUtime=0.22 cores=0,2,4,6
/proc/9282/stat : 9282 (java) S 9279 9282 8289 0 -1 1077944320 10275 0 0 0 20 2 0 0 20 0 15 0 134254402 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 140720581259376 139733733678839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
/proc/9282/statm: 3493980 9995 3498 1 0 3482759 0
[pid=9282/tid=9284] ppid=9279 vsize=13975920 memory=7680170660397595203 CPUtime=0.15 cores=0,2,4,6
/proc/9282/task/9284/stat : 9284 (java) R 9279 9282 8289 0 -1 4202560 8009 0 0 0 13 2 0 0 20 0 15 0 134254412 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733737899216 139733733700186 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9285] ppid=9279 vsize=13975920 memory=-6733704525061579059 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9285/stat : 9285 (java) S 9279 9282 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134254413 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733675625360 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9286] ppid=9279 vsize=13975920 memory=140611468706257 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9286/stat : 9286 (java) S 9279 9282 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134254413 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733332663056 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9287] ppid=9279 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9287/stat : 9287 (java) S 9279 9282 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134254413 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733331610768 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9288] ppid=9279 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9288/stat : 9288 (java) S 9279 9282 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134254413 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733330557968 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9289] ppid=9279 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9289/stat : 9289 (java) S 9279 9282 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 134254414 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733280053360 139733733689986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9290] ppid=9279 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9290/stat : 9290 (java) S 9279 9282 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134254415 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733278999328 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9291] ppid=9279 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9291/stat : 9291 (java) S 9279 9282 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134254415 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733277946992 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9292] ppid=9279 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9292/stat : 9292 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254417 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733276895312 139733733697435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9293] ppid=9279 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9282/task/9293/stat : 9293 (java) S 9279 9282 8289 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 15 0 134254417 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733275843184 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9294] ppid=9279 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9294/stat : 9294 (java) S 9279 9282 8289 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 134254417 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733274790384 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9295] ppid=9279 vsize=13975920 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9282/task/9295/stat : 9295 (java) S 9279 9282 8289 0 -1 1077944384 389 0 0 0 4 0 0 0 20 0 15 0 134254417 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733273738096 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9296] ppid=9279 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9296/stat : 9296 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254418 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733272685536 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9297] ppid=9279 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9297/stat : 9297 (java) S 9279 9282 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134254423 14311342080 9995 18446744073709551615 4194304 4196468 140720581276832 139733204199856 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39980 KiB

[startup+0.700698 s]
/proc/loadavg: 1.77 1.60 1.47 3/213 9297
/proc/meminfo: memFree=27849312/32770624 swapFree=67108860/67108860
[pid=9282] ppid=9279 vsize=13977988 memory=72360 CPUtime=1.04 cores=0,2,4,6
/proc/9282/stat : 9282 (java) S 9279 9282 8289 0 -1 1077944320 13814 0 0 0 101 3 0 0 20 0 15 0 134254402 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 140720581259376 139733733678839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
/proc/9282/statm: 3494497 18090 3729 1 0 3483271 0
[pid=9282/tid=9284] ppid=9279 vsize=13977988 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/9282/task/9284/stat : 9284 (java) R 9279 9282 8289 0 -1 4202560 10308 0 0 0 50 3 0 0 20 0 15 0 134254412 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733737914288 139733715894016 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9285] ppid=9279 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9285/stat : 9285 (java) S 9279 9282 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134254413 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733675625360 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9286] ppid=9279 vsize=13977988 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9286/stat : 9286 (java) S 9279 9282 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134254413 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733332663056 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9287] ppid=9279 vsize=13977988 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9287/stat : 9287 (java) S 9279 9282 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134254413 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733331610768 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9288] ppid=9279 vsize=13977988 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9288/stat : 9288 (java) S 9279 9282 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134254413 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733330557968 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9289] ppid=9279 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9289/stat : 9289 (java) S 9279 9282 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 134254414 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733280053360 139733733689986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9290] ppid=9279 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9290/stat : 9290 (java) S 9279 9282 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134254415 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733278999328 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9291] ppid=9279 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9291/stat : 9291 (java) S 9279 9282 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134254415 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733277946992 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9292] ppid=9279 vsize=13977988 memory=19265 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9292/stat : 9292 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254417 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733276895312 139733733697435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9293] ppid=9279 vsize=13977988 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/9282/task/9293/stat : 9293 (java) R 9279 9282 8289 0 -1 4202560 917 0 0 0 16 0 0 0 20 0 15 0 134254417 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733275834160 139733733700186 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9294] ppid=9279 vsize=13977988 memory=7524860340579717849 CPUtime=0.13 cores=0,2,4,6
/proc/9282/task/9294/stat : 9294 (java) R 9279 9282 8289 0 -1 1077944384 422 0 0 0 13 0 0 0 20 0 15 0 134254417 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733274790384 139733733689986 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9295] ppid=9279 vsize=13977988 memory=6944656592387989600 CPUtime=0.2 cores=0,2,4,6
/proc/9282/task/9295/stat : 9295 (java) R 9279 9282 8289 0 -1 4202560 786 0 0 0 20 0 0 0 20 0 15 0 134254417 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733273733856 139733733690774 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9296] ppid=9279 vsize=13977988 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9296/stat : 9296 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254418 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733272685536 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9297] ppid=9279 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9297/stat : 9297 (java) S 9279 9282 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134254423 14313459712 18090 18446744073709551615 4194304 4196468 140720581276832 139733204199856 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 72360 KiB

[startup+1.50247 s]
/proc/loadavg: 1.77 1.60 1.47 6/213 9297
/proc/meminfo: memFree=27764496/32770624 swapFree=67108860/67108860
[pid=9282] ppid=9279 vsize=13980036 memory=217784 CPUtime=3.69 cores=0,2,4,6
/proc/9282/stat : 9282 (java) S 9279 9282 8289 0 -1 1077944320 27177 0 0 0 361 8 0 0 20 0 15 0 134254402 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 140720581259376 139733733678839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
/proc/9282/statm: 3495009 54446 3790 1 0 3483783 0
[pid=9282/tid=9284] ppid=9279 vsize=13980036 memory=5859297938650132075 CPUtime=1.31 cores=0,2,4,6
/proc/9282/task/9284/stat : 9284 (java) R 9279 9282 8289 0 -1 4202560 12043 0 0 0 127 4 0 0 20 0 15 0 134254412 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733737907488 139733733700765 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9285] ppid=9279 vsize=13980036 memory=5859297938650132075 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9285/stat : 9285 (java) S 9279 9282 8289 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 134254413 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733675625360 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9286] ppid=9279 vsize=13980036 memory=281222647633920 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9286/stat : 9286 (java) S 9279 9282 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 134254413 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733332663056 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9287] ppid=9279 vsize=13980036 memory=7234866115339906153 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9287/stat : 9287 (java) S 9279 9282 8289 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 134254413 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733331610768 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9288] ppid=9279 vsize=13980036 memory=8242832241811678803 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9288/stat : 9288 (java) S 9279 9282 8289 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 134254413 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733330557968 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9289] ppid=9279 vsize=13980036 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9289/stat : 9289 (java) S 9279 9282 8289 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 134254414 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733280053360 139733733689986 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9290] ppid=9279 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9290/stat : 9290 (java) S 9279 9282 8289 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 134254415 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733278999328 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9291] ppid=9279 vsize=13980036 memory=140611323927616 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9291/stat : 9291 (java) S 9279 9282 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 134254415 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733277946992 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9292] ppid=9279 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9292/stat : 9292 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254417 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733276895312 139733733697435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9293] ppid=9279 vsize=13980036 memory=7680170660397595203 CPUtime=0.91 cores=0,2,4,6
/proc/9282/task/9293/stat : 9293 (java) R 9279 9282 8289 0 -1 4202560 4331 0 0 0 91 0 0 0 20 0 15 0 134254417 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733275825776 139733718556923 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9294] ppid=9279 vsize=13980036 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/9282/task/9294/stat : 9294 (java) R 9279 9282 8289 0 -1 4202560 4375 0 0 0 88 0 0 0 20 0 15 0 134254417 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733274781712 139733713867434 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9295] ppid=9279 vsize=13980036 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/9282/task/9295/stat : 9295 (java) S 9279 9282 8289 0 -1 1077944384 3942 0 0 0 50 0 0 0 20 0 15 0 134254417 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733273738096 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9296] ppid=9279 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9296/stat : 9296 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254418 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733272685536 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9297] ppid=9279 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9297/stat : 9297 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254423 14315556864 54446 18446744073709551615 4194304 4196468 140720581276832 139733204199856 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
Current children cumulated CPU time: 3.69 s
Current children cumulated vsize: 13980036 KiB

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

/proc/9282/task/9284/stat : 9284 (java) R 9279 9282 8289 0 -1 4202560 150784 0 0 0 235751 72 0 0 20 0 15 0 134254412 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733737917248 139733364708247 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9285] ppid=9279 vsize=13982084 memory=1748532 CPUtime=21.15 cores=0,2,4,6
/proc/9282/task/9285/stat : 9285 (java) S 9279 9282 8289 0 -1 1077944384 31720 0 0 0 2088 27 0 0 20 0 15 0 134254413 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733675625360 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9286] ppid=9279 vsize=13982084 memory=1748532 CPUtime=21.18 cores=0,2,4,6
/proc/9282/task/9286/stat : 9286 (java) S 9279 9282 8289 0 -1 1077944384 30893 0 0 0 2093 25 0 0 20 0 15 0 134254413 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733332663056 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9287] ppid=9279 vsize=13982084 memory=1745452 CPUtime=21.14 cores=0,2,4,6
/proc/9282/task/9287/stat : 9287 (java) S 9279 9282 8289 0 -1 1077944384 37317 0 0 0 2089 25 0 0 20 0 15 0 134254413 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733331610768 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9288] ppid=9279 vsize=13982084 memory=1742376 CPUtime=21.17 cores=0,2,4,6
/proc/9282/task/9288/stat : 9288 (java) S 9279 9282 8289 0 -1 1077944384 36299 0 0 0 2090 27 0 0 20 0 15 0 134254413 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733330557968 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9289] ppid=9279 vsize=13982084 memory=1742376 CPUtime=1.65 cores=0,2,4,6
/proc/9282/task/9289/stat : 9289 (java) S 9279 9282 8289 0 -1 1077944384 63073 0 0 0 133 32 0 0 20 0 15 0 134254414 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733280053360 139733733689986 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9290] ppid=9279 vsize=13982084 memory=1742376 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9290/stat : 9290 (java) S 9279 9282 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 134254415 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733278999392 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9291] ppid=9279 vsize=13982084 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9291/stat : 9291 (java) S 9279 9282 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 134254415 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733277947008 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9292] ppid=9279 vsize=13982084 memory=1742376 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9292/stat : 9292 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254417 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733276895312 139733733697435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9293] ppid=9279 vsize=13982084 memory=39930310960433 CPUtime=2.94 cores=0,2,4,6
/proc/9282/task/9293/stat : 9293 (java) S 9279 9282 8289 0 -1 1077944384 18240 0 0 0 291 3 0 0 20 0 15 0 134254417 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733275843184 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9294] ppid=9279 vsize=13982084 memory=2101 CPUtime=3 cores=0,2,4,6
/proc/9282/task/9294/stat : 9294 (java) S 9279 9282 8289 0 -1 1077944384 17417 0 0 0 298 2 0 0 20 0 15 0 134254417 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733274790384 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9295] ppid=9279 vsize=13982084 memory=1742376 CPUtime=0.93 cores=0,2,4,6
/proc/9282/task/9295/stat : 9295 (java) S 9279 9282 8289 0 -1 1077944384 19332 0 0 0 90 3 0 0 20 0 15 0 134254417 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733273738096 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9296] ppid=9279 vsize=13982084 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9296/stat : 9296 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254418 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733272685536 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9297] ppid=9279 vsize=13982084 memory=1742376 CPUtime=1.41 cores=0,2,4,6
/proc/9282/task/9297/stat : 9297 (java) S 9279 9282 8289 0 -1 1077944384 1643 0 0 0 71 70 0 0 20 0 15 0 134254423 14317654016 435337 18446744073709551615 4194304 4196468 140720581276832 139733204199856 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
Current children cumulated CPU time: 2452.9 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1741348 KiB

[startup+2442.3 s]
/proc/loadavg: 1.70 1.51 1.47 3/212 9524
/proc/meminfo: memFree=25376228/32770624 swapFree=67108860/67108860
[pid=9282] ppid=9279 vsize=13982084 memory=1694152 CPUtime=2514.49 cores=0,2,4,6
/proc/9282/stat : 9282 (java) S 9279 9282 8289 0 -1 1077944320 411210 0 0 0 251179 270 0 0 20 0 15 0 134254402 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 140720581259376 139733733678839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
/proc/9282/statm: 3495521 423538 3816 1 0 3484295 0
[pid=9282/tid=9284] ppid=9279 vsize=13982084 memory=1697232 CPUtime=2417.63 cores=0,2,4,6
/proc/9282/task/9284/stat : 9284 (java) R 9279 9282 8289 0 -1 4202560 151838 0 0 0 241690 73 0 0 20 0 15 0 134254412 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733737917456 139733364156711 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9285] ppid=9279 vsize=13982084 memory=1008 CPUtime=21.68 cores=0,2,4,6
/proc/9282/task/9285/stat : 9285 (java) S 9279 9282 8289 0 -1 1077944384 32011 0 0 0 2141 27 0 0 20 0 15 0 134254413 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733675625360 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9286] ppid=9279 vsize=13982084 memory=1730064 CPUtime=21.71 cores=0,2,4,6
/proc/9282/task/9286/stat : 9286 (java) S 9279 9282 8289 0 -1 1077944384 31272 0 0 0 2145 26 0 0 20 0 15 0 134254413 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733332663056 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9287] ppid=9279 vsize=13982084 memory=1711596 CPUtime=21.67 cores=0,2,4,6
/proc/9282/task/9287/stat : 9287 (java) S 9279 9282 8289 0 -1 1077944384 37621 0 0 0 2142 25 0 0 20 0 15 0 134254413 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733331610768 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9288] ppid=9279 vsize=13982084 memory=1702360 CPUtime=21.7 cores=0,2,4,6
/proc/9282/task/9288/stat : 9288 (java) S 9279 9282 8289 0 -1 1077944384 37048 0 0 0 2143 27 0 0 20 0 15 0 134254413 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733330557968 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9289] ppid=9279 vsize=13982084 memory=1699284 CPUtime=1.69 cores=0,2,4,6
/proc/9282/task/9289/stat : 9289 (java) S 9279 9282 8289 0 -1 1077944384 63322 0 0 0 137 32 0 0 20 0 15 0 134254414 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733280053360 139733733689986 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9290] ppid=9279 vsize=13982084 memory=1695180 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9290/stat : 9290 (java) S 9279 9282 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 134254415 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733278999392 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9291] ppid=9279 vsize=13982084 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9291/stat : 9291 (java) S 9279 9282 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 134254415 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733277947008 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9292] ppid=9279 vsize=13982084 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9292/stat : 9292 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254417 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733276895312 139733733697435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9293] ppid=9279 vsize=13982084 memory=1697232 CPUtime=2.94 cores=0,2,4,6
/proc/9282/task/9293/stat : 9293 (java) S 9279 9282 8289 0 -1 1077944384 18242 0 0 0 291 3 0 0 20 0 15 0 134254417 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733275843184 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9294] ppid=9279 vsize=13982084 memory=1697232 CPUtime=3 cores=0,2,4,6
/proc/9282/task/9294/stat : 9294 (java) S 9279 9282 8289 0 -1 1077944384 17419 0 0 0 298 2 0 0 20 0 15 0 134254417 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733274790384 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9295] ppid=9279 vsize=13982084 memory=1694152 CPUtime=0.93 cores=0,2,4,6
/proc/9282/task/9295/stat : 9295 (java) S 9279 9282 8289 0 -1 1077944384 19334 0 0 0 90 3 0 0 20 0 15 0 134254417 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733273738096 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9296] ppid=9279 vsize=13982084 memory=1699284 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9296/stat : 9296 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254418 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733272685536 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9297] ppid=9279 vsize=13982084 memory=7680170660397595203 CPUtime=1.45 cores=0,2,4,6
/proc/9282/task/9297/stat : 9297 (java) S 9279 9282 8289 0 -1 1077944384 1665 0 0 0 73 72 0 0 20 0 15 0 134254423 14317654016 423538 18446744073709551615 4194304 4196468 140720581276832 139733204199856 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
Current children cumulated CPU time: 2514.49 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1694152 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2447.7 s]
/proc/loadavg: 1.64 1.50 1.47 3/212 9524
/proc/meminfo: memFree=25389236/32770624 swapFree=67108860/67108860
[pid=9282] ppid=9279 vsize=13982084 memory=1691076 CPUtime=2520.02 cores=0,2,4,6
/proc/9282/stat : 9282 (java) S 9279 9282 8289 0 -1 1077944320 411421 0 0 0 251732 270 0 0 20 0 15 0 134254402 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 140720581259376 139733733678839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
/proc/9282/statm: 3495521 422769 3816 1 0 3484295 0
[pid=9282/tid=9284] ppid=9279 vsize=13982084 memory=1691076 CPUtime=2422.98 cores=0,2,4,6
/proc/9282/task/9284/stat : 9284 (java) R 9279 9282 8289 0 -1 4202560 152035 0 0 0 242225 73 0 0 20 0 15 0 134254412 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733737916848 139733363947848 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9285] ppid=9279 vsize=13982084 memory=1691076 CPUtime=21.72 cores=0,2,4,6
/proc/9282/task/9285/stat : 9285 (java) S 9279 9282 8289 0 -1 1077944384 32016 0 0 0 2145 27 0 0 20 0 15 0 134254413 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733675625360 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9286] ppid=9279 vsize=13982084 memory=1692100 CPUtime=21.76 cores=0,2,4,6
/proc/9282/task/9286/stat : 9286 (java) S 9279 9282 8289 0 -1 1077944384 31274 0 0 0 2150 26 0 0 20 0 15 0 134254413 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733332663056 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9287] ppid=9279 vsize=13982084 memory=1702360 CPUtime=21.71 cores=0,2,4,6
/proc/9282/task/9287/stat : 9287 (java) S 9279 9282 8289 0 -1 1077944384 37628 0 0 0 2146 25 0 0 20 0 15 0 134254413 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733331610768 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9288] ppid=9279 vsize=13982084 memory=1711596 CPUtime=21.74 cores=0,2,4,6
/proc/9282/task/9288/stat : 9288 (java) S 9279 9282 8289 0 -1 1077944384 37048 0 0 0 2147 27 0 0 20 0 15 0 134254413 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733330557968 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9289] ppid=9279 vsize=13982084 memory=1730064 CPUtime=1.69 cores=0,2,4,6
/proc/9282/task/9289/stat : 9289 (java) S 9279 9282 8289 0 -1 1077944384 63322 0 0 0 137 32 0 0 20 0 15 0 134254414 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733280053360 139733733689986 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9290] ppid=9279 vsize=13982084 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9290/stat : 9290 (java) S 9279 9282 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 134254415 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733278999392 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9291] ppid=9279 vsize=13982084 memory=1697232 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9291/stat : 9291 (java) S 9279 9282 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 134254415 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733277947008 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9292] ppid=9279 vsize=13982084 memory=1692100 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9292/stat : 9292 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254417 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733276895312 139733733697435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9293] ppid=9279 vsize=13982084 memory=1691076 CPUtime=2.94 cores=0,2,4,6
/proc/9282/task/9293/stat : 9293 (java) S 9279 9282 8289 0 -1 1077944384 18242 0 0 0 291 3 0 0 20 0 15 0 134254417 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733275843184 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9294] ppid=9279 vsize=13982084 memory=1691076 CPUtime=3 cores=0,2,4,6
/proc/9282/task/9294/stat : 9294 (java) S 9279 9282 8289 0 -1 1077944384 17419 0 0 0 298 2 0 0 20 0 15 0 134254417 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733274790384 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9295] ppid=9279 vsize=13982084 memory=1692100 CPUtime=0.93 cores=0,2,4,6
/proc/9282/task/9295/stat : 9295 (java) S 9279 9282 8289 0 -1 1077944384 19334 0 0 0 90 3 0 0 20 0 15 0 134254417 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733273738096 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9296] ppid=9279 vsize=13982084 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9296/stat : 9296 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254418 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733272685536 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9297] ppid=9279 vsize=13982084 memory=65596 CPUtime=1.45 cores=0,2,4,6
/proc/9282/task/9297/stat : 9297 (java) S 9279 9282 8289 0 -1 1077944384 1665 0 0 0 73 72 0 0 20 0 15 0 134254423 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733204199856 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1691076 KiB

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

[startup+2447.73 s]
# the end of solver process 9282 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.35 s, system=2.71762 s

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

[startup+2447.7 s]
/proc/loadavg: 1.64 1.50 1.47 3/212 9524
/proc/meminfo: memFree=25389236/32770624 swapFree=67108860/67108860
[pid=9282] ppid=9279 vsize=13982084 memory=1691076 CPUtime=2520.02 cores=0,2,4,6
/proc/9282/stat : 9282 (java) S 9279 9282 8289 0 -1 1077944320 411421 0 0 0 251732 270 0 0 20 0 15 0 134254402 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 140720581259376 139733733678839 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
/proc/9282/statm: 3495521 422769 3816 1 0 3484295 0
[pid=9282/tid=9284] ppid=9279 vsize=13982084 memory=1691076 CPUtime=2422.98 cores=0,2,4,6
/proc/9282/task/9284/stat : 9284 (java) R 9279 9282 8289 0 -1 4202560 152035 0 0 0 242225 73 0 0 20 0 15 0 134254412 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733737916848 139733363947848 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9285] ppid=9279 vsize=13982084 memory=1691076 CPUtime=21.72 cores=0,2,4,6
/proc/9282/task/9285/stat : 9285 (java) S 9279 9282 8289 0 -1 1077944384 32016 0 0 0 2145 27 0 0 20 0 15 0 134254413 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733675625360 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9286] ppid=9279 vsize=13982084 memory=1692100 CPUtime=21.76 cores=0,2,4,6
/proc/9282/task/9286/stat : 9286 (java) S 9279 9282 8289 0 -1 1077944384 31274 0 0 0 2150 26 0 0 20 0 15 0 134254413 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733332663056 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9287] ppid=9279 vsize=13982084 memory=1702360 CPUtime=21.71 cores=0,2,4,6
/proc/9282/task/9287/stat : 9287 (java) S 9279 9282 8289 0 -1 1077944384 37628 0 0 0 2146 25 0 0 20 0 15 0 134254413 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733331610768 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9288] ppid=9279 vsize=13982084 memory=1711596 CPUtime=21.74 cores=0,2,4,6
/proc/9282/task/9288/stat : 9288 (java) S 9279 9282 8289 0 -1 1077944384 37048 0 0 0 2147 27 0 0 20 0 15 0 134254413 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733330557968 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9289] ppid=9279 vsize=13982084 memory=1730064 CPUtime=1.69 cores=0,2,4,6
/proc/9282/task/9289/stat : 9289 (java) S 9279 9282 8289 0 -1 1077944384 63322 0 0 0 137 32 0 0 20 0 15 0 134254414 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733280053360 139733733689986 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9290] ppid=9279 vsize=13982084 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9290/stat : 9290 (java) S 9279 9282 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 134254415 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733278999392 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9291] ppid=9279 vsize=13982084 memory=1697232 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9291/stat : 9291 (java) S 9279 9282 8289 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 134254415 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733277947008 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9292] ppid=9279 vsize=13982084 memory=1692100 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9292/stat : 9292 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254417 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733276895312 139733733697435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9293] ppid=9279 vsize=13982084 memory=1691076 CPUtime=2.94 cores=0,2,4,6
/proc/9282/task/9293/stat : 9293 (java) S 9279 9282 8289 0 -1 1077944384 18242 0 0 0 291 3 0 0 20 0 15 0 134254417 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733275843184 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9294] ppid=9279 vsize=13982084 memory=1691076 CPUtime=3 cores=0,2,4,6
/proc/9282/task/9294/stat : 9294 (java) S 9279 9282 8289 0 -1 1077944384 17419 0 0 0 298 2 0 0 20 0 15 0 134254417 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733274790384 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9295] ppid=9279 vsize=13982084 memory=1692100 CPUtime=0.93 cores=0,2,4,6
/proc/9282/task/9295/stat : 9295 (java) S 9279 9282 8289 0 -1 1077944384 19334 0 0 0 90 3 0 0 20 0 15 0 134254417 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733273738096 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9296] ppid=9279 vsize=13982084 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/9282/task/9296/stat : 9296 (java) S 9279 9282 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134254418 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733272685536 139733733689045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
[pid=9282/tid=9297] ppid=9279 vsize=13982084 memory=65596 CPUtime=1.45 cores=0,2,4,6
/proc/9282/task/9297/stat : 9297 (java) S 9279 9282 8289 0 -1 1077944384 1665 0 0 0 73 72 0 0 20 0 15 0 134254423 14317654016 422769 18446744073709551615 4194304 4196468 140720581276832 139733204199856 139733733689986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140720581280110 140720581280297 140720581280297 140720581283791 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1691076 KiB

Child status: 143
Real time (s): 2447.73
CPU time (s): 2520.06
CPU user time (s): 2517.35
CPU system time (s): 2.71762
CPU usage (%): 102.955
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3851596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.35
system time used= 2.71762
maximum resident set size= 3853736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412948
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88872
involuntary context switches= 6447


# summary of solver processes directly reported to runsolver:
#   pid: 9282
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2517.35
#   total CPU system time (s): 2.71762

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7286 second user time and 24.1283 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-16 08:05:44
IDJOB=4274326
IDBENCH=140579
IDSOLVER=2666
FILE ID=node133/4274326-1502864392
RUNJOBID= node133-1502652501-6258
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-34.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-4274326-1502864392/watcher-4274326-1502864392 -o /tmp/evaluation-result-4274326-1502864392/solver-4274326-1502864392 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6258 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1943938042 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274326-1502864392.xml

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

MD5SUM BENCH= 778dc3cd7adf307db423468d07378e38
RANDOM SEED=1943938042

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:        27888192 kB
MemAvailable:   28698388 kB
Buffers:          283012 kB
Cached:           827652 kB
SwapCached:            0 kB
Active:          4127920 kB
Inactive:         290568 kB
Active(anon):    3248828 kB
Inactive(anon):   108944 kB
Active(file):     879092 kB
Inactive(file):   181624 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42500 kB
Writeback:             0 kB
AnonPages:       3307716 kB
Mapped:            77148 kB
Shmem:             49852 kB
Slab:             158004 kB
SReclaimable:     130632 kB
SUnreclaim:        27372 kB
KernelStack:        3488 kB
PageTables:        12696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3928736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3170304 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= 61948 MiB
End job on node133 at 2017-08-16 08:46:32