Trace number 4262765

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)5 2520.1001 2453.9299

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 

3.33/2.22	c Concrete v3.4 running
35.21/15.77	o 560
38.15/17.09	o 559
39.51/18.20	o 558
40.67/19.32	o 557
42.13/20.49	o 556
43.37/21.62	o 555
44.80/22.76	o 554
45.82/23.73	o 553
46.95/24.83	o 552
48.09/25.82	o 551
49.34/26.81	o 550
50.58/27.91	o 549
51.75/28.88	o 548
52.87/29.96	o 547
53.98/31.05	o 546
55.10/32.16	o 545
56.23/33.25	o 544
57.33/34.33	o 543
58.43/35.43	o 542
59.57/36.51	o 541
60.49/37.47	o 540
61.59/38.57	o 539
62.62/39.53	o 538
63.72/40.61	o 537
64.63/41.56	o 536
65.74/42.63	o 535
66.65/43.58	o 534
67.75/44.65	o 533
68.85/45.75	o 532
69.96/46.88	o 531
71.08/47.95	o 530
72.18/49.03	o 529
73.28/50.12	o 528
74.28/51.20	o 527
75.28/52.15	o 526
76.38/53.23	o 525
77.28/54.19	o 524
78.32/55.15	o 523
79.33/56.11	o 522
80.33/57.17	o 521
81.43/58.24	o 520
82.33/59.18	o 519
83.43/60.26	o 518
84.54/61.34	o 517
85.54/62.31	o 516
86.54/63.39	o 515
87.54/64.38	o 514
88.67/65.46	o 513
89.80/66.54	o 512
90.90/67.61	o 511
91.91/68.69	o 510
93.02/69.76	o 509
94.02/70.70	o 508
94.93/71.64	o 507
96.03/72.72	o 506
96.92/73.67	o 505
98.07/74.78	o 504
99.07/75.74	o 503
100.17/76.82	o 502
101.17/77.89	o 501
102.17/78.83	o 500
103.27/79.91	o 499
104.27/80.99	o 498
105.28/81.94	o 497
106.18/82.88	o 496
107.28/83.95	o 495
108.41/85.06	o 494
109.32/85.99	o 493
110.43/87.07	o 492
111.53/88.15	o 491
112.64/89.23	o 490
113.53/90.18	o 489
114.63/91.25	o 488
115.73/92.31	o 487
116.63/93.26	o 486
117.73/94.32	o 485
118.86/95.40	o 484
119.86/96.48	o 483
120.86/97.43	o 482
121.96/98.51	o 481
122.86/99.45	o 480
123.96/100.53	o 479
125.06/101.60	o 478
125.96/102.53	o 477
127.07/103.60	o 476
128.08/104.67	o 475
129.11/105.66	o 474
130.21/106.74	o 473
131.11/107.68	o 472
132.11/108.62	o 471
133.12/109.68	o 470
134.22/110.79	o 469
135.32/111.87	o 468
136.42/112.96	o 467
137.42/113.92	o 466
138.42/114.99	o 465
139.53/116.07	o 464
140.65/117.16	o 463
141.65/118.10	o 462
142.65/119.18	o 461
143.66/120.13	o 460
144.66/121.19	o 459
145.76/122.27	o 458
146.87/123.34	o 457
147.97/124.41	o 456
148.87/125.36	o 455
149.97/126.44	o 454
150.87/127.39	o 453
151.89/128.36	o 452
152.99/129.44	o 451
153.89/130.39	o 450
155.00/131.46	o 449
156.10/132.54	o 448
157.00/133.48	o 447
158.10/134.55	o 446
159.01/135.49	o 445
160.11/136.57	o 444
161.12/137.51	o 443
162.01/138.46	o 442
163.04/139.42	o 441
164.04/140.48	o 440
165.14/141.55	o 439
166.25/142.61	o 438
167.26/143.67	o 437
168.36/144.75	o 436
169.46/145.82	o 435
170.46/146.89	o 434
171.46/147.84	o 433
172.57/148.92	o 432
173.67/150.01	o 431
174.59/150.97	o 430
175.69/152.05	o 429
176.70/153.00	o 428
177.59/153.95	o 427
178.70/155.03	o 426
179.60/155.98	o 425
180.70/157.06	o 424
181.80/158.15	o 423
182.82/159.11	o 422
183.82/160.19	o 421
184.95/161.29	o 420
186.05/162.37	o 419
187.06/163.31	o 418
188.06/164.39	o 417
189.16/165.45	o 416
190.16/166.40	o 415
191.06/167.34	o 414
191.96/168.28	o 413
193.06/169.35	o 412
194.16/170.42	o 411
195.28/171.52	o 410
196.18/172.47	o 409
197.18/173.41	o 408
198.18/174.49	o 407
199.28/175.57	o 406
200.38/176.65	o 405
201.38/177.60	o 404
202.28/178.55	o 403
203.38/179.63	o 402
204.51/180.71	o 401
205.51/181.79	o 400
206.61/182.86	o 399
207.62/183.82	o 398
208.72/184.91	o 397
209.72/185.98	o 396
210.82/187.05	o 395
211.71/187.99	o 394
212.81/189.06	o 393
213.95/190.15	o 392
215.05/191.22	o 391
216.05/192.29	o 390
217.15/193.36	o 389
218.25/194.43	o 388
219.35/195.50	o 387
220.35/196.57	o 386
221.46/197.65	o 385
222.48/198.62	o 384
223.48/199.69	o 383
224.58/200.77	o 382
225.68/201.83	o 381
226.58/202.78	o 380
227.68/203.85	o 379
228.58/204.79	o 378
229.69/205.86	o 377
230.82/206.94	o 376
231.92/208.02	o 375
232.92/209.09	o 374
234.03/210.18	o 373
235.02/211.12	o 372
236.12/212.20	o 371
237.02/213.14	o 370
238.15/214.24	o 369
239.25/215.31	o 368
240.25/216.39	o 367
241.25/217.34	o 366
242.35/218.40	o 365
243.35/219.48	o 364
244.35/220.43	o 363
245.35/221.49	o 362
246.48/222.58	o 361
247.58/223.65	o 360
248.58/224.60	o 359
249.59/225.67	o 358
250.69/226.75	o 357
251.58/227.70	o 356
252.68/228.79	o 355
253.81/229.87	o 354
254.81/230.83	o 353
255.71/231.77	o 352
256.71/232.71	o 351
257.61/233.65	o 350
258.71/234.73	o 349
259.85/235.82	o 348
260.75/236.76	o 347
261.65/237.69	o 346
262.65/238.63	o 345
263.65/239.69	o 344
264.75/240.77	o 343
265.75/241.72	o 342
266.88/242.80	o 341
267.88/243.86	o 340
268.98/244.94	o 339
270.08/246.01	o 338
270.98/246.96	o 337
271.98/247.91	o 336
273.12/249.00	o 335
274.02/249.95	o 334
274.92/250.90	o 333
276.02/251.97	o 332
277.12/253.05	o 331
278.12/254.00	o 330
279.14/255.09	o 329
280.14/256.04	o 328
281.24/257.12	o 327
282.14/258.05	o 326
283.04/258.98	o 325
284.15/260.06	o 324
285.17/261.00	o 323
286.17/262.07	o 322
287.29/263.14	o 321
288.39/264.20	o 320
289.30/265.13	o 319
290.40/266.20	o 318
291.32/267.15	o 317
292.22/268.09	o 316
293.32/269.15	o 315
294.42/270.22	o 314
295.52/271.30	o 313
296.55/272.38	o 312
297.61/273.32	o 311
298.70/274.40	o 310
299.61/275.35	o 309
300.71/276.42	o 308
301.83/277.51	o 307
302.83/278.58	o 306
303.85/279.53	o 305
304.74/280.46	o 304
305.85/281.54	o 303
306.77/282.48	o 302
307.87/283.56	o 301
308.97/284.63	o 300
310.07/285.70	o 299
311.09/286.78	o 298
312.20/287.87	o 297
313.20/288.82	o 296
314.20/289.89	o 295
315.33/290.98	o 294
316.32/291.93	o 293
317.23/292.88	o 292
318.33/293.96	o 291
319.43/295.04	o 290
320.35/295.99	o 289
321.45/297.07	o 288
322.45/298.02	o 287
323.55/299.10	o 286
324.47/300.05	o 285
325.57/301.12	o 284
326.47/302.06	o 283
327.57/303.14	o 282
328.60/304.11	o 281
329.50/305.05	o 280
330.60/306.12	o 279
331.60/307.19	o 278
332.72/308.26	o 277
333.82/309.33	o 276
334.92/310.40	o 275
335.84/311.35	o 274
336.94/312.43	o 273
337.84/313.37	o 272
338.94/314.45	o 271
340.06/315.50	o 270
341.06/316.57	o 269
342.16/317.65	o 268
343.28/318.72	o 267
344.19/319.66	o 266
345.09/320.59	o 265
346.20/321.67	o 264
347.30/322.73	o 263
348.40/323.80	o 262
349.33/324.75	o 261
350.24/325.70	o 260
351.34/326.77	o 259
352.36/327.73	o 258
353.46/328.80	o 257
354.47/329.88	o 256
355.49/330.84	o 255
356.39/331.77	o 254
357.49/332.85	o 253
358.52/333.80	o 252
359.52/334.87	o 251
360.52/335.82	o 250
361.67/336.90	o 249
362.57/337.85	o 248
363.70/338.94	o 247
364.81/340.01	o 246
365.70/340.96	o 245
366.74/341.91	o 244
367.64/342.85	o 243
368.68/343.80	o 242
369.68/344.88	o 241
370.78/345.96	o 240
371.91/347.05	o 239
372.82/347.99	o 238
373.96/349.07	o 237
374.96/350.02	o 236
376.08/351.11	o 235
376.99/352.05	o 234
378.13/353.14	o 233
379.23/354.22	o 232
380.17/355.18	o 231
381.28/356.23	o 230
382.43/357.32	o 229
383.33/358.28	o 228
384.37/359.24	o 227
385.27/360.18	o 226
386.42/361.27	o 225
387.52/362.35	o 224
388.55/363.31	o 223
389.46/364.25	o 222
390.60/365.34	o 221
391.73/366.43	o 220
392.62/367.37	o 219
393.65/368.32	o 218
394.65/369.39	o 217
395.78/370.47	o 216
396.81/371.43	o 215
397.91/372.50	o 214
398.94/373.58	o 213
399.97/374.53	o 212
400.97/375.59	o 211
402.10/376.67	o 210
403.23/377.75	o 209
404.26/378.70	o 208
405.17/379.64	o 207
406.29/380.73	o 206
407.21/381.68	o 205
408.23/382.63	o 204
409.36/383.70	o 203
410.26/384.65	o 202
411.38/385.72	o 201
412.50/386.80	o 200
413.52/387.88	o 199
414.64/388.96	o 198
415.77/390.05	o 197
416.79/391.00	o 196
417.81/392.08	o 195
418.83/393.04	o 194
419.95/394.12	o 193
421.07/395.21	o 192
422.19/396.30	o 191
423.11/397.26	o 190
424.27/398.34	o 189
425.16/399.29	o 188
426.29/400.37	o 187
427.31/401.31	o 186
428.33/402.38	o 185
429.35/403.34	o 184
430.47/404.42	o 183
431.39/405.36	o 182
432.51/406.45	o 181
433.63/407.53	o 180
434.55/408.49	o 179
435.57/409.43	o 178
436.71/410.50	o 177
437.64/411.45	o 176
438.66/412.40	o 175
439.69/413.47	o 174
440.82/414.56	o 173
441.82/415.52	o 172
442.96/416.60	o 171
443.99/417.69	o 170
445.12/418.77	o 169
446.22/419.86	o 168
447.36/420.93	o 167
448.50/422.02	o 166
449.50/423.09	o 165
450.53/424.05	o 164
451.43/424.99	o 163
452.46/425.94	o 162
453.59/427.03	o 161
454.69/428.10	o 160
455.83/429.20	o 159
456.73/430.14	o 158
457.66/431.08	o 157
458.70/432.03	o 156
459.80/433.10	o 155
460.74/434.06	o 154
461.89/435.16	o 153
462.99/436.23	o 152
464.13/437.33	o 151
465.03/438.29	o 150
466.16/439.36	o 149
467.30/440.46	o 148
468.30/441.41	o 147
469.33/442.37	o 146
470.43/443.45	o 145
471.57/444.53	o 144
472.67/445.60	o 143
473.61/446.55	o 142
474.71/447.63	o 141
475.88/448.70	o 140
476.93/449.79	o 139
477.92/450.74	o 138
478.95/451.70	o 137
479.97/452.77	o 136
481.11/453.85	o 135
482.25/454.94	o 134
483.15/455.88	o 133
484.28/456.97	o 132
485.39/458.05	o 131
486.52/459.13	o 130
487.45/460.08	o 129
488.55/461.15	o 128
489.48/462.09	o 127
490.51/463.02	o 126
491.51/464.06	o 125
492.64/465.13	o 124
493.77/466.20	o 123
494.67/467.13	o 122
495.80/468.20	o 121
496.83/469.26	o 120
497.97/470.32	o 119
498.87/471.25	o 118
499.79/472.18	o 117
500.82/473.12	o 116
501.82/474.18	o 115
502.94/475.26	o 114
504.06/476.34	o 113
504.99/477.28	o 112
506.11/478.35	o 111
507.01/479.29	o 110
508.13/480.36	o 109
509.25/481.42	o 108
510.27/482.48	o 107
511.39/483.54	o 106
512.51/484.61	o 105
513.43/485.55	o 104
514.56/486.62	o 103
515.48/487.55	o 102
516.60/488.61	o 101
517.63/489.68	o 100
518.77/490.77	o 99
519.90/491.83	o 98
520.92/492.89	o 97
521.94/493.84	o 96
523.06/494.91	o 95
523.96/495.82	o 94
524.88/496.75	o 93
526.00/497.81	o 92
526.92/498.75	o 91
528.04/499.82	o 90
529.07/500.88	o 89
530.19/501.95	o 88
531.12/502.89	o 87
532.14/503.82	o 86
533.16/504.89	o 85
534.18/505.83	o 84
535.21/506.89	o 83
536.35/507.95	o 82
537.48/509.02	o 81
538.48/510.09	o 80
539.62/511.14	o 79
540.56/512.09	o 78
541.61/513.03	o 77
542.61/514.09	o 76
543.75/515.16	o 75
544.84/516.25	o 74
546.00/517.31	o 73
547.05/518.37	o 72
548.15/519.44	o 71
549.11/520.39	o 70
550.21/521.45	o 69
551.34/522.52	o 68
552.24/523.45	o 67
553.14/524.39	o 66
554.31/525.45	o 65
555.44/526.53	o 64
556.42/527.48	o 63
557.43/528.41	o 62
558.37/529.35	o 61
559.47/530.41	o 60
560.41/531.35	o 59
561.51/532.42	o 58
562.44/533.35	o 57
563.57/534.43	o 56
564.57/535.49	o 55
565.71/536.56	o 54
566.71/537.50	o 53
567.64/538.44	o 52
568.54/539.36	o 51
569.67/540.44	o 50
570.81/541.50	o 49
571.83/542.56	o 48
572.86/543.51	o 47
573.76/544.44	o 46
574.78/545.49	o 45
575.90/546.57	o 44
576.90/547.51	o 43
577.82/548.46	o 42
578.94/549.53	o 41
580.06/550.61	o 40
581.07/551.67	o 39
582.20/552.74	o 38
583.32/553.81	o 37
584.24/554.76	o 36
585.37/555.83	o 35
586.47/556.90	o 34
587.39/557.85	o 33
588.31/558.79	o 32
589.43/559.86	o 31
590.55/560.93	o 30
591.58/562.00	o 29
592.70/563.07	o 28
593.83/564.15	o 27
594.73/565.09	o 26
595.87/566.16	o 25
596.99/567.24	o 24
597.91/568.18	o 23
599.04/569.25	o 22
600.17/570.33	o 21
601.09/571.28	o 20
602.21/572.36	o 19
603.33/573.43	o 18
604.26/574.37	o 17
605.39/575.44	o 16
606.52/576.52	o 15
607.55/577.60	o 14
608.67/578.68	o 13
609.72/579.63	o 12
610.62/580.57	o 11
611.75/581.64	o 10
612.90/582.72	o 9
613.90/583.78	o 8
615.05/584.87	o 7
616.11/585.83	o 6
617.32/587.03	o 5
2520.05/2453.90	java.util.concurrent.TimeoutException
2520.05/2453.90		at concrete.MAC.mac(MAC.scala:74)
2520.05/2453.90		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.05/2453.90		at scala.util.Try$.apply(Try.scala:209)
2520.05/2453.90		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2453.90		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2453.90		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2453.90		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2453.90		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.05/2453.90		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2453.90		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2453.90		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2453.90		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2453.90		at concrete.MAC.oneRun(MAC.scala:146)
2520.05/2453.90		at concrete.MAC.nextSolution(MAC.scala:166)
2520.05/2453.90		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.05/2453.90		at concrete.ProblemState.map(ProblemState.scala:203)
2520.05/2453.90		at concrete.ProblemState.map(ProblemState.scala:188)
2520.05/2453.90		at concrete.MAC.nextSolution(MAC.scala:195)
2520.05/2453.90		at concrete.Solver.hasNext(Solver.scala:202)
2520.05/2453.90		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.05/2453.90		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.05/2453.90		at concrete.Solver.toStream(Solver.scala:73)
2520.05/2453.90		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.05/2453.90		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.05/2453.90		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.05/2453.90		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.05/2453.90		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.05/2453.90		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2453.90		at scala.util.Success.map(Try.scala:209)
2520.05/2453.90		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.05/2453.90		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.05/2453.90		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.05/2453.90		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.05/2453.90		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.05/2453.90		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2453.90		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2453.90		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2453.90		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2453.90		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2453.90		at scala.App.main(App.scala:76)
2520.05/2453.90		at scala.App.main$(App.scala:74)
2520.05/2453.90		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.05/2453.90		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2453.91	v <instantiation cost="5">
2520.05/2453.91	v       <list>
2520.05/2453.91	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.05/2453.91	v       </list>
2520.05/2453.91	v       <values>
2520.05/2453.91	v         4 3 2 3 3 5 2 5 2 4 4 3 5 3 1 4 3 2 5 4 5 4 0 4 5 5 4 5 5 1 5 1 5 3 4 4 5 2 4 1 3 3 3 4 3 2 5 3 2 5 4 2 4 3 5 5 1 5 2 4 4 5 1 2 4 3 2 2 5 4 5 0 2 4 1 5 5 1 1 2 5 4 3 4 4 3 4 5 3 4 3 5 4 5 3 5 2 4 4 5 5 1 4 4 3 2 3 2 3 3 4 5 2 3 4 2 3 5 5 4 5 5 2 5 2 2 4 2 5 5 4 4 4 5 3 2 5 3 4 2 2 4 5 4 5 3 3 5 3 2 1 1 5 3 3 5 2 4 3 3 3 2 5 4 3 4 5 3 5 2 0 3 4 4 2 2 5 5 5 4 1 3 3 5 3 3 5 3 3 4 3 4 4 4 1 1 4 4 5 5 5 2 4 1 3 2 4 2 5 3 4 4 4 3 1 4 3 3 4 5 5 0 4 2 1 3 3 4 0 5 3 2 5 3 4 5 5 2 0 1 3 2 1 3 2 2 3 2 4 4 2 5 3 4 5 2 3 2 4 3 1 2 1 5 2 5 4 1 3 5 5 2 4 0 3 3 5 5 4 4 4 4 5 5 2 2 2 5 4 5 2 5 5 3 1 1 2 4 3 3 5 5 4 4 4 4 1 5 1 4 4 2 5 5 5 3 3 3 1 5 5 1 5 3 4 2 5 4 2 5 5 2 3 4 2 3 1 4 2 5 4 4 3 1 4 5 5 5 4 3 5 3 3 5 3 4 4 0 1 2 4 4 2 2 4 3 4 1 3 5 4 5 2 4 3 4 4 5 5 5 5 4 3 1 5 3 3 2 4 4 2 2 4 5 3 3 2 4 4 5 3 2 2 5 3 4 5 4 1 4 5 3 2 1 3 1 5 3 1 5 5 3 5 2 4 4 3 5 5 5 4 4 5 3 4 4 4 3 4 3 2 3 4 5 5 3 3 4 4 3 5 2 1 3 4 2 5 2 5 5 5 2 4 2 3 2 5 4 1 3 2 3 0 3 3 5 5 4 5 1 2 5 3 3 4 2 3 2 5 3 3 5 1 4 3 3 2 4 3 3 4 2 2 5 4 4 2 4 4 5 1 3 1 2 1 3 4 4 2 1 3 3 5 4 2 3 5 2 4 4 4 2 1 4 4 4 2 3 2 4 3 3 3 5 4 1 2 0 2 5 2 0 3 4 1 5 5 4 4 3 5
2520.05/2453.91	v       </values>
2520.05/2453.91	v     </instantiation>
2520.05/2453.91	s SATISFIABLE

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262765-1502490617/watcher-4262765-1502490617 -o /tmp/evaluation-result-4262765-1502490617/solver-4262765-1502490617 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580 bin/concrete HOME/instance-4262765-1502490617.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.59 1.63 1.52 3/197 26636
/proc/meminfo: memFree=26769708/32770624 swapFree=0/459144
[pid=26636] ppid=26633 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26636/stat : 26636 (runsolver) D 26633 26636 4896 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 148714602 24240128 106 18446744073709551615 4194304 4338465 140728120264496 140728120262136 140349219787479 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 11939840 140728120266961 140728120267337 140728120267337 140728120270794 0
/proc/26636/statm: 5918 106 53 36 0 2156 0

[startup+0.100122 s]
/proc/loadavg: 1.59 1.63 1.52 3/197 26636
/proc/meminfo: memFree=26769708/32770624 swapFree=0/459144
[pid=26636] ppid=26633 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/26636/stat : 26636 (bash) R 26633 26636 4896 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 148714602 9736192 352 18446744073709551615 4194304 5098028 140731776886688 140731776884328 139775580990464 0 0 5 65536 0 0 0 17 7 0 0 9 0 0 7196144 7232144 11145216 140731776893460 140731776893545 140731776893545 140731776897002 0
/proc/26636/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200327 s]
/proc/loadavg: 1.59 1.63 1.52 3/197 26636
/proc/meminfo: memFree=26769708/32770624 swapFree=0/459144
[pid=26636] ppid=26633 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/26636/stat : 26636 (bash) S 26633 26636 4896 0 -1 4202496 898 6475 0 0 0 0 0 1 20 0 1 0 148714602 9867264 377 18446744073709551615 4194304 5098028 140731776886688 140731776880696 139775580990464 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 9 0 0 7196144 7232144 11145216 140731776893460 140731776893545 140731776893545 140731776897002 0
/proc/26636/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300327 s]
/proc/loadavg: 1.59 1.63 1.52 3/197 26636
/proc/meminfo: memFree=26769708/32770624 swapFree=0/459144
[pid=26636] ppid=26633 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/26636/stat : 26636 (java) S 26633 26636 4896 0 -1 1077944320 5816 12490 0 0 5 1 5 2 20 0 14 0 148714602 14241083392 5500 18446744073709551615 4194304 4196468 140720509941760 140720509924304 140329853841143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
/proc/26636/statm: 3476827 5500 2566 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.706115 s]
/proc/loadavg: 1.59 1.63 1.52 3/197 26636
/proc/meminfo: memFree=26769708/32770624 swapFree=0/459144
[pid=26636] ppid=26633 vsize=13974784 CPUtime=0.67 cores=1,3,5,7
/proc/26636/stat : 26636 (java) S 26633 26636 4896 0 -1 1077944320 13828 12490 0 0 56 4 5 2 20 0 15 0 148714602 14310178816 14255 18446744073709551615 4194304 4196468 140720509941760 140720509924304 140329853841143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
/proc/26636/statm: 3493696 14255 3119 1 0 3482965 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13974784

[startup+1.50072 s]
/proc/loadavg: 1.59 1.63 1.52 3/212 26699
/proc/meminfo: memFree=26677004/32770624 swapFree=0/459176
[pid=26636] ppid=26633 vsize=13985408 CPUtime=1.88 cores=1,3,5,7
/proc/26636/stat : 26636 (java) S 26633 26636 4896 0 -1 1077944320 27598 12490 0 0 174 7 5 2 20 0 15 0 148714602 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140720509924304 140329853841143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
/proc/26636/statm: 3496352 33906 3340 1 0 3485525 0
[pid=26636/tid=26686] ppid=26633 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/26636/task/26686/stat : 26686 (java) R 26633 26636 4896 0 -1 4202560 22044 12490 0 0 116 5 5 2 20 0 15 0 148714624 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329858059104 140329853863069 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26687] ppid=26633 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26687/stat : 26687 (java) S 26633 26636 4896 0 -1 1077944384 1 12490 0 0 0 0 5 2 20 0 15 0 148714625 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329810807440 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26688] ppid=26633 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26688/stat : 26688 (java) S 26633 26636 4896 0 -1 1077944384 1 12490 0 0 0 0 5 2 20 0 15 0 148714625 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329809754640 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26689] ppid=26633 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26689/stat : 26689 (java) S 26633 26636 4896 0 -1 1077944384 1 12490 0 0 0 0 5 2 20 0 15 0 148714625 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329808701840 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26690] ppid=26633 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26690/stat : 26690 (java) S 26633 26636 4896 0 -1 1077944384 2 12490 0 0 0 0 5 2 20 0 15 0 148714625 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329807649040 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26691] ppid=26633 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26691/stat : 26691 (java) S 26633 26636 4896 0 -1 1077944384 5 12490 0 0 0 0 5 2 20 0 15 0 148714626 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329332239216 140329853852290 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26692] ppid=26633 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26692/stat : 26692 (java) S 26633 26636 4896 0 -1 1077944384 33 12490 0 0 0 0 5 2 20 0 15 0 148714627 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329331185184 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26693] ppid=26633 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26693/stat : 26693 (java) S 26633 26636 4896 0 -1 1077944384 21 12490 0 0 0 0 5 2 20 0 15 0 148714627 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329330132336 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26694] ppid=26633 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26694/stat : 26694 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714629 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329329080656 140329853859739 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26695] ppid=26633 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/26636/task/26695/stat : 26695 (java) S 26633 26636 4896 0 -1 1077944384 1264 12490 0 0 17 0 5 2 20 0 15 0 148714629 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329328028016 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26696] ppid=26633 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/26636/task/26696/stat : 26696 (java) S 26633 26636 4896 0 -1 1077944384 706 12490 0 0 16 0 5 2 20 0 15 0 148714629 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329326975216 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26697] ppid=26633 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/26636/task/26697/stat : 26697 (java) R 26633 26636 4896 0 -1 4202560 1350 12490 0 0 23 0 5 2 20 0 15 0 148714630 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329325922416 140329846078270 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26698] ppid=26633 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26698/stat : 26698 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714630 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329324869856 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26699] ppid=26633 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26699/stat : 26699 (java) S 26633 26636 4896 0 -1 1077944384 10 12490 0 0 0 0 5 2 20 0 15 0 148714635 14321057792 33906 18446744073709551615 4194304 4196468 140720509941760 140329323818160 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13985408

[startup+3.10439 s]
/proc/loadavg: 1.62 1.64 1.53 3/212 26699
/proc/meminfo: memFree=26602120/32770624 swapFree=0/459176
[pid=26636] ppid=26633 vsize=13995836 CPUtime=6.05 cores=1,3,5,7
/proc/26636/stat : 26636 (java) S 26633 26636 4896 0 -1 1077944320 41387 12490 0 0 582 16 5 2 20 0 15 0 148714602 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140720509924304 140329853841143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
/proc/26636/statm: 3498959 70510 3465 1 0 3487573 0
[pid=26636/tid=26686] ppid=26633 vsize=13995836 CPUtime=2.83 cores=1,3,5,7
/proc/26636/task/26686/stat : 26686 (java) R 26633 26636 4896 0 -1 4202560 26757 12490 0 0 268 8 5 2 20 0 15 0 148714624 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329858072592 140329493361642 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26687] ppid=26633 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/26636/task/26687/stat : 26687 (java) S 26633 26636 4896 0 -1 1077944384 282 12490 0 0 2 0 5 2 20 0 15 0 148714625 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329810807440 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26688] ppid=26633 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/26636/task/26688/stat : 26688 (java) S 26633 26636 4896 0 -1 1077944384 76 12490 0 0 2 0 5 2 20 0 15 0 148714625 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329809754640 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26689] ppid=26633 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/26636/task/26689/stat : 26689 (java) S 26633 26636 4896 0 -1 1077944384 52 12490 0 0 1 0 5 2 20 0 15 0 148714625 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329808701840 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26690] ppid=26633 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/26636/task/26690/stat : 26690 (java) S 26633 26636 4896 0 -1 1077944384 77 12490 0 0 1 0 5 2 20 0 15 0 148714625 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329807649040 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26691] ppid=26633 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/26636/task/26691/stat : 26691 (java) S 26633 26636 4896 0 -1 1077944384 1724 12490 0 0 1 0 5 2 20 0 15 0 148714626 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329332239216 140329853852290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26692] ppid=26633 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26692/stat : 26692 (java) S 26633 26636 4896 0 -1 1077944384 55 12490 0 0 0 0 5 2 20 0 15 0 148714627 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329331185248 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26693] ppid=26633 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26693/stat : 26693 (java) S 26633 26636 4896 0 -1 1077944384 43 12490 0 0 0 0 5 2 20 0 15 0 148714627 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329330132352 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26694] ppid=26633 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26694/stat : 26694 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714629 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329329080656 140329853859739 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26695] ppid=26633 vsize=13995836 CPUtime=1.13 cores=1,3,5,7
/proc/26636/task/26695/stat : 26695 (java) R 26633 26636 4896 0 -1 4202560 2831 12490 0 0 105 1 5 2 20 0 15 0 148714629 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329328014800 140329833561202 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26696] ppid=26633 vsize=13995836 CPUtime=1.04 cores=1,3,5,7
/proc/26636/task/26696/stat : 26696 (java) R 26633 26636 4896 0 -1 4202560 2711 12490 0 0 96 1 5 2 20 0 15 0 148714629 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329326960208 140329834477103 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26697] ppid=26633 vsize=13995836 CPUtime=1.1 cores=1,3,5,7
/proc/26636/task/26697/stat : 26697 (java) S 26633 26636 4896 0 -1 1077944384 4605 12490 0 0 102 1 5 2 20 0 15 0 148714630 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329325922416 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26698] ppid=26633 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26698/stat : 26698 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714630 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329324869856 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26699] ppid=26633 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26699/stat : 26699 (java) S 26633 26636 4896 0 -1 1077944384 13 12490 0 0 0 0 5 2 20 0 15 0 148714635 14331736064 70510 18446744073709551615 4194304 4196468 140720509941760 140329323818160 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 13995836

[startup+6.30068 s]
/proc/loadavg: 1.62 1.64 1.53 5/212 26699
/proc/meminfo: memFree=26322584/32770624 swapFree=0/459172
[pid=26636] ppid=26633 vsize=13997884 CPUtime=14.82 cores=1,3,5,7
/proc/26636/stat : 26636 (java) S 26633 26636 4896 0 -1 1077944320 60692 12490 0 0 1443 32 5 2 20 0 15 0 148714602 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140720509924304 140329853841143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
/proc/26636/statm: 3499471 137382 3475 1 0 3488085 0
[pid=26636/tid=26686] ppid=26633 vsize=13997884 CPUtime=5.85 cores=1,3,5,7
/proc/26636/task/26686/stat : 26686 (java) R 26633 26636 4896 0 -1 4202560 29734 12490 0 0 568 10 5 2 20 0 15 0 148714624 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329858071656 140329497360039 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26687] ppid=26633 vsize=13997884 CPUtime=0.22 cores=1,3,5,7
/proc/26636/task/26687/stat : 26687 (java) S 26633 26636 4896 0 -1 1077944384 550 12490 0 0 12 3 5 2 20 0 15 0 148714625 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329810807440 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26688] ppid=26633 vsize=13997884 CPUtime=0.22 cores=1,3,5,7
/proc/26636/task/26688/stat : 26688 (java) S 26633 26636 4896 0 -1 1077944384 449 12490 0 0 12 3 5 2 20 0 15 0 148714625 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329809754640 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26689] ppid=26633 vsize=13997884 CPUtime=0.21 cores=1,3,5,7
/proc/26636/task/26689/stat : 26689 (java) S 26633 26636 4896 0 -1 1077944384 240 12490 0 0 11 3 5 2 20 0 15 0 148714625 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329808701840 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26690] ppid=26633 vsize=13997884 CPUtime=0.22 cores=1,3,5,7
/proc/26636/task/26690/stat : 26690 (java) S 26633 26636 4896 0 -1 1077944384 625 12490 0 0 12 3 5 2 20 0 15 0 148714625 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329807649040 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26691] ppid=26633 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/26636/task/26691/stat : 26691 (java) S 26633 26636 4896 0 -1 1077944384 1954 12490 0 0 2 0 5 2 20 0 15 0 148714626 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329332239216 140329853852290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26692] ppid=26633 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26692/stat : 26692 (java) S 26633 26636 4896 0 -1 1077944384 55 12490 0 0 0 0 5 2 20 0 15 0 148714627 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329331185248 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26693] ppid=26633 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26693/stat : 26693 (java) S 26633 26636 4896 0 -1 1077944384 43 12490 0 0 0 0 5 2 20 0 15 0 148714627 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329330132352 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26694] ppid=26633 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26694/stat : 26694 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714629 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329329080656 140329853859739 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26695] ppid=26633 vsize=13997884 CPUtime=3.42 cores=1,3,5,7
/proc/26636/task/26695/stat : 26695 (java) S 26633 26636 4896 0 -1 1077944384 7419 12490 0 0 334 1 5 2 20 0 15 0 148714629 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329328028016 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26696] ppid=26633 vsize=13997884 CPUtime=3.41 cores=1,3,5,7
/proc/26636/task/26696/stat : 26696 (java) S 26633 26636 4896 0 -1 1077944384 8853 12490 0 0 333 1 5 2 20 0 15 0 148714629 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329326975216 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26697] ppid=26633 vsize=13997884 CPUtime=1.64 cores=1,3,5,7
/proc/26636/task/26697/stat : 26697 (java) S 26633 26636 4896 0 -1 1077944384 8505 12490 0 0 154 3 5 2 20 0 15 0 148714630 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329325922416 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26698] ppid=26633 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26698/stat : 26698 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714630 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329324869856 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26699] ppid=26633 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26699/stat : 26699 (java) S 26633 26636 4896 0 -1 1077944384 104 12490 0 0 0 0 5 2 20 0 15 0 148714635 14333833216 137382 18446744073709551615 4194304 4196468 140720509941760 140329323818160 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
Current children cumulated CPU time (s) 14.82
Current children cumulated vsize (KiB) 13997884

[startup+12.7005 s]
/proc/loadavg: 1.91 1.70 1.55 3/212 26699
/proc/meminfo: memFree=25846516/32770624 swapFree=0/459172
[pid=26636] ppid=26633 vsize=14001980 CPUtime=28.04 cores=1,3,5,7
/proc/26636/stat : 26636 (java) S 26633 26636 4896 0 -1 1077944320 90856 12490 0 0 2745 52 5 2 20 0 15 0 148714602 14338027520 233432 18446744073709551615 4194304 4196468 140720509941760 140720509924304 140329853841143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
/proc/26636/statm: 3500495 233432 3480 1 0 3489109 0
[pid=26636/tid=26686] ppid=26633 vsize=14001980 CPUtime=11.9 cores=1,3,5,7
/proc/26636/task/26686/stat : 26686 (java) R 26633 26636 4896 0 -1 4202560 44785 12490 0 0 1167 16 5 2 20 0 15 0 148714624 14338027520 233432 18446744073709551615 4194304 4196468 140720509941760 140329858075832 140329498920183 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26687] ppid=26633 vsize=14001980 CPUtime=0.5 cores=1,3,5,7
/proc/26636/task/26687/stat : 26687 (java) S 26633 26636 4896 0 -1 1077944384 853 12490 0 0 37 6 5 2 20 0 15 0 148714625 14338027520 233432 18446744073709551615 4194304 4196468 140720509941760 140329810807440 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26688] ppid=26633 vsize=14001980 CPUtime=0.51 cores=1,3,5,7
/proc/26636/task/26688/stat : 26688 (java) S 26633 26636 4896 0 -1 1077944384 670 12490 0 0 38 6 5 2 20 0 15 0 148714625 14338027520 233432 18446744073709551615 4194304 4196468 140720509941760 140329809754640 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26689] ppid=26633 vsize=14001980 CPUtime=0.47 cores=1,3,5,7
/proc/26636/task/26689/stat : 26689 (java) S 26633 26636 4896 0 -1 1077944384 621 12490 0 0 35 5 5 2 20 0 15 0 148714625 14338027520 233432 18446744073709551615 4194304 4196468 140720509941760 140329808701840 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26690] ppid=26633 vsize=14001980 CPUtime=0.5 cores=1,3,5,7
/proc/26636/task/26690/stat : 26690 (java) S 26633 26636 4896 0 -1 1077944384 1290 12490 0 0 38 5 5 2 20 0 15 0 148714625 14338027520 233432 18446744073709551615 4194304 4196468 140720509941760 140329807649040 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26691] ppid=26633 vsize=14001980 CPUtime=0.14 cores=1,3,5,7
/proc/26636/task/26691/stat : 26691 (java) S 26633 26636 4896 0 -1 1077944384 5430 12490 0 0 7 0 5 2 20 0 15 0 148714626 14338027520 233432 18446744073709551615 4194304 4196468 140720509941760 140329332239216 140329853852290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26692] ppid=26633 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26692/stat : 26692 (java) S 26633 26636 4896 0 -1 1077944384 60 12490 0 0 0 0 5 2 20 0 15 0 148714627 14338027520 233432 18446744073709551615 4194304 4196468 140720509941760 140329331185248 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26693] ppid=26633 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26693/stat : 26693 (java) S 26633 26636 4896 0 -1 1077944384 52 12490 0 0 0 0 5 2 20 0 15 0 148714627 14338027520 233432 18446744073709551615 4194304 4196468 140720509941760 140329330132352 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26694] ppid=26633 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26694/stat : 26694 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714629 14338027520 233432 18446744073709551615 4194304 4196468 140720509941760 140329329080656 140329853859739 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0

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

/proc/26636/task/26698/stat : 26698 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714630 14340124672 404412 18446744073709551615 4194304 4196468 140720509941760 140329324869856 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26699] ppid=26633 vsize=14004028 CPUtime=1.33 cores=1,3,5,7
/proc/26636/task/26699/stat : 26699 (java) S 26633 26636 4896 0 -1 1077944384 1793 12490 0 0 57 69 5 2 20 0 15 0 148714635 14340124672 404412 18446744073709551615 4194304 4196468 140720509941760 140329323818160 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
Current children cumulated CPU time (s) 2385.81
Current children cumulated vsize (KiB) 14004028

[startup+2382.3 s]
/proc/loadavg: 1.71 1.68 1.66 3/214 26979
/proc/meminfo: memFree=24953396/32770624 swapFree=0/459544
[pid=26636] ppid=26633 vsize=14004028 CPUtime=2447.04 cores=1,3,5,7
/proc/26636/stat : 26636 (java) S 26633 26636 4896 0 -1 1077944320 422683 12490 0 0 244353 344 5 2 20 0 15 0 148714602 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140720509924304 140329853841143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
/proc/26636/statm: 3501007 405184 3503 1 0 3489621 0
[pid=26636/tid=26686] ppid=26633 vsize=14004028 CPUtime=2360.07 cores=1,3,5,7
/proc/26636/task/26686/stat : 26686 (java) R 26633 26636 4896 0 -1 4202560 137597 12490 0 0 235928 72 5 2 20 0 15 0 148714624 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329858075424 140329501087808 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26687] ppid=26633 vsize=14004028 CPUtime=14.9 cores=1,3,5,7
/proc/26636/task/26687/stat : 26687 (java) S 26633 26636 4896 0 -1 1077944384 39011 12490 0 0 1438 45 5 2 20 0 15 0 148714625 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329810807440 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26688] ppid=26633 vsize=14004028 CPUtime=14.95 cores=1,3,5,7
/proc/26636/task/26688/stat : 26688 (java) S 26633 26636 4896 0 -1 1077944384 34327 12490 0 0 1442 46 5 2 20 0 15 0 148714625 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329809754640 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26689] ppid=26633 vsize=14004028 CPUtime=14.88 cores=1,3,5,7
/proc/26636/task/26689/stat : 26689 (java) S 26633 26636 4896 0 -1 1077944384 31562 12490 0 0 1437 44 5 2 20 0 15 0 148714625 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329808701840 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26690] ppid=26633 vsize=14004028 CPUtime=14.94 cores=1,3,5,7
/proc/26636/task/26690/stat : 26690 (java) S 26633 26636 4896 0 -1 1077944384 37929 12490 0 0 1443 44 5 2 20 0 15 0 148714625 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329807649040 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26691] ppid=26633 vsize=14004028 CPUtime=5.5 cores=1,3,5,7
/proc/26636/task/26691/stat : 26691 (java) S 26633 26636 4896 0 -1 1077944384 28328 12490 0 0 507 36 5 2 20 0 15 0 148714626 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329332239216 140329853852290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26692] ppid=26633 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/26636/task/26692/stat : 26692 (java) S 26633 26636 4896 0 -1 1077944384 144 12490 0 0 1 0 5 2 20 0 15 0 148714627 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329331185248 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26693] ppid=26633 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26693/stat : 26693 (java) S 26633 26636 4896 0 -1 1077944384 52 12490 0 0 0 0 5 2 20 0 15 0 148714627 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329330132352 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26694] ppid=26633 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26694/stat : 26694 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714629 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329329080656 140329853859739 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26695] ppid=26633 vsize=14004028 CPUtime=9.07 cores=1,3,5,7
/proc/26636/task/26695/stat : 26695 (java) S 26633 26636 4896 0 -1 1077944384 35360 12490 0 0 895 5 5 2 20 0 15 0 148714629 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329328028016 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26696] ppid=26633 vsize=14004028 CPUtime=9.02 cores=1,3,5,7
/proc/26636/task/26696/stat : 26696 (java) S 26633 26636 4896 0 -1 1077944384 31102 12490 0 0 891 4 5 2 20 0 15 0 148714629 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329326975216 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26697] ppid=26633 vsize=14004028 CPUtime=2.87 cores=1,3,5,7
/proc/26636/task/26697/stat : 26697 (java) S 26633 26636 4896 0 -1 1077944384 43298 12490 0 0 273 7 5 2 20 0 15 0 148714630 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329325922416 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26698] ppid=26633 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26698/stat : 26698 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714630 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329324869856 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26699] ppid=26633 vsize=14004028 CPUtime=1.36 cores=1,3,5,7
/proc/26636/task/26699/stat : 26699 (java) S 26633 26636 4896 0 -1 1077944384 1812 12490 0 0 58 71 5 2 20 0 15 0 148714635 14340124672 405184 18446744073709551615 4194304 4196468 140720509941760 140329323818160 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
Current children cumulated CPU time (s) 2447.04
Current children cumulated vsize (KiB) 14004028

[startup+2442.3 s]
/proc/loadavg: 1.29 1.56 1.62 3/214 26981
/proc/meminfo: memFree=24909560/32770624 swapFree=0/459560
[pid=26636] ppid=26633 vsize=14004028 CPUtime=2508.2 cores=1,3,5,7
/proc/26636/stat : 26636 (java) S 26633 26636 4896 0 -1 1077944320 425321 12490 0 0 250464 349 5 2 20 0 15 0 148714602 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140720509924304 140329853841143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
/proc/26636/statm: 3501007 402877 3503 1 0 3489621 0
[pid=26636/tid=26686] ppid=26633 vsize=14004028 CPUtime=2419.43 cores=1,3,5,7
/proc/26636/task/26686/stat : 26686 (java) R 26633 26636 4896 0 -1 4202560 138418 12490 0 0 241864 72 5 2 20 0 15 0 148714624 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329858075424 140329491513831 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26687] ppid=26633 vsize=14004028 CPUtime=15.3 cores=1,3,5,7
/proc/26636/task/26687/stat : 26687 (java) S 26633 26636 4896 0 -1 1077944384 39303 12490 0 0 1477 46 5 2 20 0 15 0 148714625 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329810807440 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26688] ppid=26633 vsize=14004028 CPUtime=15.35 cores=1,3,5,7
/proc/26636/task/26688/stat : 26688 (java) S 26633 26636 4896 0 -1 1077944384 34705 12490 0 0 1481 47 5 2 20 0 15 0 148714625 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329809754640 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26689] ppid=26633 vsize=14004028 CPUtime=15.26 cores=1,3,5,7
/proc/26636/task/26689/stat : 26689 (java) S 26633 26636 4896 0 -1 1077944384 31907 12490 0 0 1475 44 5 2 20 0 15 0 148714625 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329808701840 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26690] ppid=26633 vsize=14004028 CPUtime=15.34 cores=1,3,5,7
/proc/26636/task/26690/stat : 26690 (java) S 26633 26636 4896 0 -1 1077944384 38312 12490 0 0 1482 45 5 2 20 0 15 0 148714625 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329807649040 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26691] ppid=26633 vsize=14004028 CPUtime=5.67 cores=1,3,5,7
/proc/26636/task/26691/stat : 26691 (java) S 26633 26636 4896 0 -1 1077944384 28711 12490 0 0 523 37 5 2 20 0 15 0 148714626 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329332239216 140329853852290 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26692] ppid=26633 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/26636/task/26692/stat : 26692 (java) S 26633 26636 4896 0 -1 1077944384 144 12490 0 0 1 0 5 2 20 0 15 0 148714627 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329331185248 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26693] ppid=26633 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26693/stat : 26693 (java) S 26633 26636 4896 0 -1 1077944384 52 12490 0 0 0 0 5 2 20 0 15 0 148714627 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329330132352 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26694] ppid=26633 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26694/stat : 26694 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714629 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329329080656 140329853859739 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26695] ppid=26633 vsize=14004028 CPUtime=9.07 cores=1,3,5,7
/proc/26636/task/26695/stat : 26695 (java) S 26633 26636 4896 0 -1 1077944384 35362 12490 0 0 895 5 5 2 20 0 15 0 148714629 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329328028016 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26696] ppid=26633 vsize=14004028 CPUtime=9.02 cores=1,3,5,7
/proc/26636/task/26696/stat : 26696 (java) S 26633 26636 4896 0 -1 1077944384 31104 12490 0 0 891 4 5 2 20 0 15 0 148714629 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329326975216 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26697] ppid=26633 vsize=14004028 CPUtime=2.87 cores=1,3,5,7
/proc/26636/task/26697/stat : 26697 (java) S 26633 26636 4896 0 -1 1077944384 43300 12490 0 0 273 7 5 2 20 0 15 0 148714630 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329325922416 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26698] ppid=26633 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26698/stat : 26698 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714630 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329324869856 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26699] ppid=26633 vsize=14004028 CPUtime=1.39 cores=1,3,5,7
/proc/26636/task/26699/stat : 26699 (java) S 26633 26636 4896 0 -1 1077944384 1842 12490 0 0 59 73 5 2 20 0 15 0 148714635 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329323818160 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
Current children cumulated CPU time (s) 2508.2
Current children cumulated vsize (KiB) 14004028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2453.9 s]
/proc/loadavg: 1.40 1.58 1.62 3/214 26981
/proc/meminfo: memFree=24909664/32770624 swapFree=0/459552
[pid=26636] ppid=26633 vsize=14004028 CPUtime=2520.05 cores=1,3,5,7
/proc/26636/stat : 26636 (java) S 26633 26636 4896 0 -1 1077944320 426689 12490 0 0 251647 351 5 2 20 0 15 0 148714602 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140720509924304 140329853841143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
/proc/26636/statm: 3501007 402877 3503 1 0 3489621 0
[pid=26636/tid=26686] ppid=26633 vsize=14004028 CPUtime=2430.91 cores=1,3,5,7
/proc/26636/task/26686/stat : 26686 (java) R 26633 26636 4896 0 -1 4202560 138648 12490 0 0 243012 72 5 2 20 0 15 0 148714624 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329858075264 140329496054656 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26687] ppid=26633 vsize=14004028 CPUtime=15.38 cores=1,3,5,7
/proc/26636/task/26687/stat : 26687 (java) S 26633 26636 4896 0 -1 1077944384 39561 12490 0 0 1485 46 5 2 20 0 15 0 148714625 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329810807440 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26688] ppid=26633 vsize=14004028 CPUtime=15.43 cores=1,3,5,7
/proc/26636/task/26688/stat : 26688 (java) S 26633 26636 4896 0 -1 1077944384 35107 12490 0 0 1489 47 5 2 20 0 15 0 148714625 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329809754640 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26689] ppid=26633 vsize=14004028 CPUtime=15.36 cores=1,3,5,7
/proc/26636/task/26689/stat : 26689 (java) S 26633 26636 4896 0 -1 1077944384 32033 12490 0 0 1484 45 5 2 20 0 15 0 148714625 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329808701840 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26690] ppid=26633 vsize=14004028 CPUtime=15.42 cores=1,3,5,7
/proc/26636/task/26690/stat : 26690 (java) S 26633 26636 4896 0 -1 1077944384 38449 12490 0 0 1490 45 5 2 20 0 15 0 148714625 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329807649040 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26691] ppid=26633 vsize=14004028 CPUtime=5.71 cores=1,3,5,7
/proc/26636/task/26691/stat : 26691 (java) S 26633 26636 4896 0 -1 1077944384 28904 12490 0 0 526 38 5 2 20 0 15 0 148714626 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329332239216 140329853852290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26692] ppid=26633 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/26636/task/26692/stat : 26692 (java) S 26633 26636 4896 0 -1 1077944384 144 12490 0 0 1 0 5 2 20 0 15 0 148714627 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329331185248 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26693] ppid=26633 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26693/stat : 26693 (java) S 26633 26636 4896 0 -1 1077944384 52 12490 0 0 0 0 5 2 20 0 15 0 148714627 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329330132352 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26694] ppid=26633 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26694/stat : 26694 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714629 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329329080656 140329853859739 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26695] ppid=26633 vsize=14004028 CPUtime=9.07 cores=1,3,5,7
/proc/26636/task/26695/stat : 26695 (java) S 26633 26636 4896 0 -1 1077944384 35364 12490 0 0 895 5 5 2 20 0 15 0 148714629 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329328028016 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26696] ppid=26633 vsize=14004028 CPUtime=9.02 cores=1,3,5,7
/proc/26636/task/26696/stat : 26696 (java) S 26633 26636 4896 0 -1 1077944384 31106 12490 0 0 891 4 5 2 20 0 15 0 148714629 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329326975216 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26697] ppid=26633 vsize=14004028 CPUtime=2.87 cores=1,3,5,7
/proc/26636/task/26697/stat : 26697 (java) S 26633 26636 4896 0 -1 1077944384 43302 12490 0 0 273 7 5 2 20 0 15 0 148714630 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329325922416 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26698] ppid=26633 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26698/stat : 26698 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714630 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329324869856 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26699] ppid=26633 vsize=14004028 CPUtime=1.4 cores=1,3,5,7
/proc/26636/task/26699/stat : 26699 (java) S 26633 26636 4896 0 -1 1077944384 1858 12490 0 0 59 74 5 2 20 0 15 0 148714635 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329323818160 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 14004028

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

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

[startup+2453.9 s]
/proc/loadavg: 1.40 1.58 1.62 3/214 26981
/proc/meminfo: memFree=24909664/32770624 swapFree=0/459552
[pid=26636] ppid=26633 vsize=14004028 CPUtime=2520.05 cores=1,3,5,7
/proc/26636/stat : 26636 (java) S 26633 26636 4896 0 -1 1077944320 426689 12490 0 0 251647 351 5 2 20 0 15 0 148714602 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140720509924304 140329853841143 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
/proc/26636/statm: 3501007 402877 3503 1 0 3489621 0
[pid=26636/tid=26686] ppid=26633 vsize=14004028 CPUtime=2430.91 cores=1,3,5,7
/proc/26636/task/26686/stat : 26686 (java) R 26633 26636 4896 0 -1 4202560 138648 12490 0 0 243012 72 5 2 20 0 15 0 148714624 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329858075264 140329496054656 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26687] ppid=26633 vsize=14004028 CPUtime=15.38 cores=1,3,5,7
/proc/26636/task/26687/stat : 26687 (java) S 26633 26636 4896 0 -1 1077944384 39561 12490 0 0 1485 46 5 2 20 0 15 0 148714625 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329810807440 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26688] ppid=26633 vsize=14004028 CPUtime=15.43 cores=1,3,5,7
/proc/26636/task/26688/stat : 26688 (java) S 26633 26636 4896 0 -1 1077944384 35107 12490 0 0 1489 47 5 2 20 0 15 0 148714625 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329809754640 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26689] ppid=26633 vsize=14004028 CPUtime=15.36 cores=1,3,5,7
/proc/26636/task/26689/stat : 26689 (java) S 26633 26636 4896 0 -1 1077944384 32033 12490 0 0 1484 45 5 2 20 0 15 0 148714625 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329808701840 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26690] ppid=26633 vsize=14004028 CPUtime=15.42 cores=1,3,5,7
/proc/26636/task/26690/stat : 26690 (java) S 26633 26636 4896 0 -1 1077944384 38449 12490 0 0 1490 45 5 2 20 0 15 0 148714625 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329807649040 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26691] ppid=26633 vsize=14004028 CPUtime=5.71 cores=1,3,5,7
/proc/26636/task/26691/stat : 26691 (java) S 26633 26636 4896 0 -1 1077944384 28904 12490 0 0 526 38 5 2 20 0 15 0 148714626 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329332239216 140329853852290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26692] ppid=26633 vsize=14004028 CPUtime=0.08 cores=1,3,5,7
/proc/26636/task/26692/stat : 26692 (java) S 26633 26636 4896 0 -1 1077944384 144 12490 0 0 1 0 5 2 20 0 15 0 148714627 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329331185248 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26693] ppid=26633 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26693/stat : 26693 (java) S 26633 26636 4896 0 -1 1077944384 52 12490 0 0 0 0 5 2 20 0 15 0 148714627 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329330132352 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26694] ppid=26633 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26694/stat : 26694 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714629 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329329080656 140329853859739 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26695] ppid=26633 vsize=14004028 CPUtime=9.07 cores=1,3,5,7
/proc/26636/task/26695/stat : 26695 (java) S 26633 26636 4896 0 -1 1077944384 35364 12490 0 0 895 5 5 2 20 0 15 0 148714629 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329328028016 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26696] ppid=26633 vsize=14004028 CPUtime=9.02 cores=1,3,5,7
/proc/26636/task/26696/stat : 26696 (java) S 26633 26636 4896 0 -1 1077944384 31106 12490 0 0 891 4 5 2 20 0 15 0 148714629 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329326975216 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26697] ppid=26633 vsize=14004028 CPUtime=2.87 cores=1,3,5,7
/proc/26636/task/26697/stat : 26697 (java) S 26633 26636 4896 0 -1 1077944384 43302 12490 0 0 273 7 5 2 20 0 15 0 148714630 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329325922416 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26698] ppid=26633 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/26636/task/26698/stat : 26698 (java) S 26633 26636 4896 0 -1 1077944384 3 12490 0 0 0 0 5 2 20 0 15 0 148714630 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329324869856 140329853851349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
[pid=26636/tid=26699] ppid=26633 vsize=14004028 CPUtime=1.4 cores=1,3,5,7
/proc/26636/task/26699/stat : 26699 (java) S 26633 26636 4896 0 -1 1077944384 1858 12490 0 0 59 74 5 2 20 0 15 0 148714635 14340124672 402877 18446744073709551615 4194304 4196468 140720509941760 140329323818160 140329853852290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140720509949904 140720509952689 140720509952689 140720509956047 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 14004028

Child status: 143
Real time (s): 2453.93
CPU time (s): 2520.1
CPU user time (s): 2516.55
CPU system time (s): 3.54748
CPU usage (%): 102.696
Max. virtual memory (cumulated for all children) (KiB): 14004028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.55
system time used= 3.54747
maximum resident set size= 3232332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 439900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169568
involuntary context switches= 5450

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.628 second user time and 15.3994 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-12 00:15:53
IDJOB=4262765
IDBENCH=140579
IDSOLVER=2650
FILE ID=node132/4262765-1502490617
RUNJOBID= node132-1502411403-4960
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-34.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262765-1502490617/watcher-4262765-1502490617 -o /tmp/evaluation-result-4262765-1502490617/solver-4262765-1502490617 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580  bin/concrete HOME/instance-4262765-1502490617.xml

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

MD5SUM BENCH= 778dc3cd7adf307db423468d07378e38
RANDOM SEED=931025254

node132.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.74
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.74
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.74
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.74
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:        26769448 kB
MemAvailable:   27656708 kB
Buffers:          303696 kB
Cached:           893684 kB
SwapCached:            0 kB
Active:          5049900 kB
Inactive:         508156 kB
Active(anon):    4361900 kB
Inactive(anon):    49012 kB
Active(file):     688000 kB
Inactive(file):   459144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24856 kB
Writeback:             4 kB
AnonPages:       4361188 kB
Mapped:            73732 kB
Shmem:             49852 kB
Slab:             138796 kB
SReclaimable:     111904 kB
SUnreclaim:        26892 kB
KernelStack:        3440 kB
PageTables:        13804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4989640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4210688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61980 MiB
End job on node132 at 2017-08-12 00:56:47