Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-18) | SAT (TO) | 136 | 2520.0701 | 2512.9099 |
| Name | Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml |
| MD5SUM | f27483baa127f488650207f51eee544f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 132 |
| Best CPU time to get the best result obtained on this benchmark | 427.14899 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 92 |
| Number of constraints | 198 |
| Number of domains | 2 |
| Minimum domain size | 1 |
| Maximum domain size | 474 |
| Distribution of domain sizes | [{"size":1,"count":1},{"size":474,"count":91}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 10 |
| Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":8},{"degree":5,"count":18},{"degree":6,"count":26},{"degree":7,"count":26},{"degree":8,"count":11},{"degree":9,"count":1},{"degree":10,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 53 |
| Distribution of constraint arities | [{"arity":2,"count":194},{"arity":42,"count":1},{"arity":43,"count":2},{"arity":53,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 194 |
| Distribution of constraint types | [{"type":"intension","count":194},{"type":"cumulative","count":4}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282005-1503132833.xml" -tl '2520s' -p 1 -x 0 0.10/0.26 c [HOME/instance-4282005-1503132833.xml, -tl, 2520s, -p, 1, -x, 0] 0.30/0.32 c simple solver 0.30/0.39 c parse instance... 0.89/0.65 c solve instance... 2.45/1.12 o 473 2.72/1.26 o 472 3.04/1.34 o 471 3.34/1.42 o 470 3.34/1.49 o 469 3.65/1.57 o 468 3.95/1.64 o 467 4.25/1.71 o 466 4.25/1.78 o 465 4.55/1.84 o 464 4.86/1.90 o 463 4.86/1.95 o 462 5.19/2.01 o 461 5.19/2.07 o 460 5.78/2.23 o 459 5.78/2.29 o 458 6.08/2.33 o 457 6.08/2.38 o 456 6.38/2.42 o 455 6.38/2.46 o 454 6.38/2.49 o 453 6.69/2.52 o 452 6.69/2.55 o 451 6.69/2.58 o 450 6.88/2.61 o 449 6.88/2.64 o 448 6.88/2.66 o 447 6.88/2.69 o 446 7.01/2.72 o 445 7.27/2.80 o 444 7.27/2.89 o 443 7.58/2.96 o 442 7.58/2.99 o 441 7.90/3.02 o 440 7.90/3.05 o 439 7.90/3.08 o 438 8.20/3.11 o 437 8.20/3.14 o 436 8.20/3.17 o 435 8.20/3.19 o 434 8.39/3.22 o 433 8.39/3.25 o 432 8.39/3.27 o 431 8.49/3.30 o 430 8.49/3.33 o 429 8.49/3.36 o 428 8.49/3.39 o 427 8.59/3.42 o 426 8.59/3.44 o 425 8.59/3.47 o 424 8.69/3.50 o 423 8.69/3.53 o 422 8.69/3.56 o 421 8.69/3.58 o 420 8.88/3.61 o 419 8.88/3.64 o 418 8.88/3.67 o 417 8.99/3.75 o 416 9.11/3.80 o 415 9.11/3.86 o 414 9.22/3.90 o 413 9.22/3.94 o 412 9.22/3.98 o 411 9.33/4.01 o 410 9.33/4.05 o 409 9.33/4.09 o 408 9.47/4.13 o 407 9.47/4.17 o 406 9.59/4.21 o 405 9.59/4.25 o 404 9.59/4.28 o 403 9.69/4.36 o 402 9.79/4.43 o 401 9.89/4.50 o 400 9.89/4.57 o 399 9.89/4.59 o 398 9.99/4.62 o 397 9.99/4.65 o 396 9.99/4.68 o 395 10.09/4.70 o 394 10.09/4.73 o 393 10.09/4.76 o 392 10.09/4.78 o 391 10.20/4.81 o 390 10.20/4.89 o 389 10.31/4.92 o 388 10.31/4.94 o 387 10.31/4.96 o 386 10.31/4.99 o 385 10.42/5.01 o 384 10.42/5.03 o 383 10.42/5.06 o 382 10.42/5.08 o 381 10.42/5.10 o 380 10.55/5.13 o 379 10.55/5.15 o 378 10.55/5.18 o 377 10.65/5.20 o 376 10.65/5.22 o 375 10.65/5.25 o 374 10.65/5.27 o 373 10.65/5.29 o 372 10.75/5.32 o 371 10.75/5.34 o 370 10.75/5.37 o 369 10.75/5.39 o 368 10.86/5.41 o 367 10.86/5.44 o 366 10.86/5.46 o 365 10.86/5.48 o 364 11.04/5.51 o 363 11.04/5.53 o 362 11.15/5.64 o 361 11.15/5.68 o 360 11.25/5.70 o 359 11.25/5.73 o 358 11.25/5.75 o 357 11.25/5.78 o 356 11.35/5.80 o 355 11.35/5.82 o 354 11.35/5.85 o 353 11.35/5.87 o 352 11.45/5.90 o 351 11.45/5.92 o 350 11.45/5.95 o 349 11.45/5.97 o 348 11.45/6.00 o 347 11.57/6.02 o 346 11.57/6.05 o 345 11.57/6.07 o 344 11.57/6.10 o 343 11.67/6.12 o 342 11.67/6.15 o 341 11.67/6.17 o 340 11.67/6.19 o 339 11.76/6.22 o 338 11.76/6.24 o 337 11.76/6.27 o 336 11.76/6.29 o 335 11.86/6.32 o 334 11.86/6.34 o 333 11.86/6.37 o 332 11.86/6.39 o 331 11.96/6.42 o 330 11.96/6.44 o 329 11.96/6.47 o 328 11.96/6.49 o 327 12.06/6.51 o 326 12.06/6.54 o 325 12.06/6.56 o 324 12.06/6.59 o 323 12.16/6.61 o 322 12.16/6.64 o 321 12.16/6.66 o 320 12.16/6.69 o 319 12.26/6.71 o 318 12.26/6.73 o 317 12.26/6.76 o 316 12.26/6.78 o 315 12.36/6.81 o 314 12.36/6.83 o 313 12.36/6.86 o 312 12.36/6.88 o 311 12.46/6.91 o 310 12.46/6.93 o 309 12.46/6.95 o 308 12.46/6.98 o 307 12.46/7.00 o 306 12.57/7.03 o 305 12.57/7.05 o 304 12.57/7.07 o 303 12.57/7.10 o 302 12.67/7.12 o 301 12.77/7.21 o 300 12.77/7.24 o 299 12.77/7.27 o 298 12.87/7.30 o 297 12.87/7.33 o 296 12.87/7.36 o 295 12.87/7.39 o 294 12.97/7.42 o 293 12.97/7.45 o 292 12.97/7.47 o 291 13.07/7.50 o 290 13.07/7.53 o 289 13.07/7.56 o 288 13.07/7.59 o 287 13.17/7.62 o 286 13.17/7.65 o 285 13.28/7.73 o 284 13.38/7.80 o 283 13.38/7.88 o 282 13.48/7.95 o 281 13.48/7.99 o 280 13.59/8.02 o 279 13.59/8.06 o 278 13.59/8.09 o 277 13.70/8.12 o 276 13.70/8.16 o 275 13.70/8.19 o 274 13.79/8.23 o 273 13.79/8.29 o 272 13.93/8.34 o 271 14.09/8.40 o 270 14.09/8.46 o 269 14.09/8.49 o 268 14.19/8.51 o 267 14.19/8.54 o 266 14.19/8.58 o 265 14.29/8.62 o 264 14.29/8.66 o 263 14.40/8.70 o 262 14.40/8.74 o 261 14.40/8.78 o 260 14.50/8.81 o 259 14.50/8.85 o 258 14.50/8.89 o 257 14.60/8.93 o 256 14.60/8.97 o 255 14.71/9.01 o 254 14.71/9.04 o 253 14.71/9.08 o 252 14.81/9.12 o 251 14.81/9.16 o 250 14.90/9.21 o 249 15.02/9.31 o 248 15.13/9.41 o 247 15.13/9.50 o 246 15.23/9.59 o 245 15.33/9.69 o 244 15.43/9.79 o 243 15.53/9.88 o 242 15.65/9.95 o 241 15.76/10.04 o 240 15.86/10.11 o 239 15.86/10.19 o 238 15.95/10.27 o 237 16.24/10.40 o 236 16.34/10.52 o 235 16.44/10.61 o 234 16.55/10.73 o 151 16.65/10.84 o 149 19.06/13.28 o 148 55.30/48.93 o 147 55.90/49.55 o 145 76.30/69.96 o 144 95.33/88.95 o 138 367.28/360.68 o 137 1986.52/1979.54 o 136 2520.05/2512.90 s SATISFIABLE 2520.05/2512.90 v <instantiation> 2520.05/2512.90 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] </list> 2520.05/2512.90 v <values>0 0 0 0 5 5 11 11 40 28 19 30 2 28 30 14 61 28 49 33 30 38 43 45 32 54 52 48 43 58 58 59 96 38 19 3 19 67 108 70 35 52 75 52 43 62 59 69 75 67 81 101 76 71 45 84 87 81 55 106 69 90 88 62 94 59 96 85 71 71 101 40 81 112 116 116 76 88 112 125 107 127 104 105 108 111 118 129 127 118 130 136 </values> 2520.05/2512.90 v </instantiation> 2520.05/2512.90 c Unexpected resolution interruption!
OK 136
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15145 MiB free)
memory of node 1: 16384 MiB (15336 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282005-1503132833/watcher-4282005-1503132833 -o /tmp/evaluation-result-4282005-1503132833/solver-4282005-1503132833 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1704158391 HOME/instance-4282005-1503132833.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15291, runsolver pid=15288
Current StackSize limit: 8192 KiB
[startup+0.100273 s]*
/proc/loadavg: 2.02 2.11 2.06 2/198 15294
/proc/meminfo: memFree=31209936/32770624 swapFree=67105588/67108860
[pid=15291] ppid=15288 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15291/stat : 15291 (xcsp3-exec) S 15288 15291 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115478398 9740288 344 18446744073709551615 4194304 5098028 140720361327616 140720361325720 140509087957628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39596032 140720361329016 140720361329221 140720361329221 140720361332715 0
/proc/15291/statm: 2378 344 289 221 0 87 0
[pid=15293] ppid=15291 vsize=13358712 memory=13840 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (java) S 15291 15291 8557 0 -1 1077944320 3254 0 0 0 0 0 0 0 20 0 6 0 115478408 13679321088 3460 18446744073709551615 4194304 4196468 140721223898192 140721223880736 140560124337911 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
/proc/15293/statm: 3339678 3460 1867 1 0 3329175 0
[pid=15293/tid=15294] ppid=15291 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15294/stat : 15294 (java) R 15291 15291 8557 0 -1 4202560 2041 0 0 0 0 0 0 0 20 0 6 0 115478408 13679321088 3526 18446744073709551615 4194304 4196468 140721223898192 140560128574032 140560108418398 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15295] ppid=15291 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15295/stat : 15295 (java) S 15291 15291 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 115478409 13679321088 3526 18446744073709551615 4194304 4196468 140721223898192 140560058771984 140560124348117 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15296] ppid=15291 vsize=13358712 memory=140430124381824 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15296/stat : 15296 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 115478409 13679321088 3526 18446744073709551615 4194304 4196468 140721223898192 140560057719440 140560124348117 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15297] ppid=15291 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 115478409 13679321088 3526 18446744073709551615 4194304 4196468 140721223898192 140560056666384 140560124348117 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15298] ppid=15291 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 115478409 13679321088 3526 18446744073709551615 4194304 4196468 140721223898192 140560055613840 140560124348117 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15216 KiB
[startup+0.209731 s]*
/proc/loadavg: 2.02 2.11 2.06 4/211 15307
/proc/meminfo: memFree=31196812/32770624 swapFree=67105588/67108860
[pid=15291] ppid=15288 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15291/stat : 15291 (xcsp3-exec) S 15288 15291 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115478398 9740288 344 18446744073709551615 4194304 5098028 140720361327616 140720361325720 140509087957628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39596032 140720361329016 140720361329221 140720361329221 140720361332715 0
/proc/15291/statm: 2378 344 289 221 0 87 0
[pid=15293] ppid=15291 vsize=13974352 memory=27744 CPUtime=0.1 cores=1,3,5,7
/proc/15293/stat : 15293 (java) S 15291 15291 8557 0 -1 1077944320 5338 0 0 0 9 1 0 0 20 0 15 0 115478408 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140721223880736 140560124337911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
/proc/15293/statm: 3493588 6936 2755 1 0 3482964 0
[pid=15293/tid=15294] ppid=15291 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/15293/task/15294/stat : 15294 (java) R 15291 15291 8557 0 -1 4202560 3496 0 0 0 7 0 0 0 20 0 15 0 115478408 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140560128567152 140560105922400 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15295] ppid=15291 vsize=13974352 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15295/stat : 15295 (java) S 15291 15291 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115478409 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140560058771984 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15296] ppid=15291 vsize=13974352 memory=140430124395932 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15296/stat : 15296 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478409 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140560057719440 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15297] ppid=15291 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478409 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140560056666384 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15298] ppid=15291 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478409 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140560055613840 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15299] ppid=15291 vsize=13974352 memory=140430124381824 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (java) S 15291 15291 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115478410 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140559040617200 140560124349058 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15300] ppid=15291 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15300/stat : 15300 (java) S 15291 15291 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115478411 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140559039563424 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15301] ppid=15291 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15301/stat : 15301 (java) S 15291 15291 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115478411 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140559038510320 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15302] ppid=15291 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15302/stat : 15302 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140559037458896 140560124356507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15303] ppid=15291 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15303/stat : 15303 (java) S 15291 15291 8557 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 115478413 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140559036406000 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15304] ppid=15291 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15304/stat : 15304 (java) R 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140559035353456 140560124349058 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15305] ppid=15291 vsize=13974352 memory=140430124381824 CPUtime=0.01 cores=1,3,5,7
/proc/15293/task/15305/stat : 15305 (java) S 15291 15291 8557 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 15 0 115478413 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140559034300400 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15306] ppid=15291 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15306/stat : 15306 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140559033248096 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15307] ppid=15291 vsize=13974352 memory=140430124381824 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15307/stat : 15307 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478417 14309736448 6936 18446744073709551615 4194304 4196468 140721223898192 140559032196144 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29120 KiB
[startup+0.310143 s]*
/proc/loadavg: 2.02 2.11 2.06 4/211 15307
/proc/meminfo: memFree=31185880/32770624 swapFree=67105588/67108860
[pid=15291] ppid=15288 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15291/stat : 15291 (xcsp3-exec) S 15288 15291 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115478398 9740288 344 18446744073709551615 4194304 5098028 140720361327616 140720361325720 140509087957628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39596032 140720361329016 140720361329221 140720361329221 140720361332715 0
/proc/15291/statm: 2378 344 289 221 0 87 0
[pid=15293] ppid=15291 vsize=13974352 memory=40072 CPUtime=0.3 cores=1,3,5,7
/proc/15293/stat : 15293 (java) S 15291 15291 8557 0 -1 1077944320 9140 0 0 0 27 3 0 0 20 0 15 0 115478408 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140721223880736 140560124337911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
/proc/15293/statm: 3493588 10018 3037 1 0 3482964 0
[pid=15293/tid=15294] ppid=15291 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/15293/task/15294/stat : 15294 (java) R 15291 15291 8557 0 -1 4202560 6273 0 0 0 16 2 0 0 20 0 15 0 115478408 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140560128556000 140560124349846 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15295] ppid=15291 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15295/stat : 15295 (java) S 15291 15291 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115478409 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140560058771984 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15296] ppid=15291 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15296/stat : 15296 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478409 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140560057719440 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15297] ppid=15291 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478409 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140560056666384 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15298] ppid=15291 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478409 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140560055613840 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15299] ppid=15291 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (java) S 15291 15291 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115478410 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140559040617200 140560124349058 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15300] ppid=15291 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15300/stat : 15300 (java) S 15291 15291 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115478411 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140559039563424 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15301] ppid=15291 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15301/stat : 15301 (java) S 15291 15291 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115478411 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140559038510320 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15302] ppid=15291 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15302/stat : 15302 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140559037458896 140560124356507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15303] ppid=15291 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15293/task/15303/stat : 15303 (java) R 15291 15291 8557 0 -1 4202560 602 0 0 0 2 0 0 0 20 0 15 0 115478413 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140559036406000 140560116575038 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15304] ppid=15291 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15293/task/15304/stat : 15304 (java) S 15291 15291 8557 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 115478413 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140559035353456 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15305] ppid=15291 vsize=13974352 memory=140430124381824 CPUtime=0.06 cores=1,3,5,7
/proc/15293/task/15305/stat : 15305 (java) R 15291 15291 8557 0 -1 4202560 694 0 0 0 6 0 0 0 20 0 15 0 115478413 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140559034300400 140560124359258 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15306] ppid=15291 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15306/stat : 15306 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140559033248096 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15307] ppid=15291 vsize=13974352 memory=140430124381824 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15307/stat : 15307 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478417 14309736448 10018 18446744073709551615 4194304 4196468 140721223898192 140559032196144 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41448 KiB
[startup+0.700739 s]
/proc/loadavg: 2.02 2.11 2.06 6/211 15307
/proc/meminfo: memFree=31173924/32770624 swapFree=67105588/67108860
[pid=15291] ppid=15288 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15291/stat : 15291 (xcsp3-exec) S 15288 15291 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115478398 9740288 344 18446744073709551615 4194304 5098028 140720361327616 140720361325720 140509087957628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39596032 140720361329016 140720361329221 140720361329221 140720361332715 0
/proc/15291/statm: 2378 344 289 221 0 87 0
[pid=15293] ppid=15291 vsize=13980732 memory=67476 CPUtime=1.18 cores=1,3,5,7
/proc/15293/stat : 15293 (java) S 15291 15291 8557 0 -1 1077944320 14020 0 0 0 112 6 0 0 20 0 15 0 115478408 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140721223880736 140560124337911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
/proc/15293/statm: 3495183 16869 3176 1 0 3483476 0
[pid=15293/tid=15294] ppid=15291 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/15293/task/15294/stat : 15294 (java) R 15291 15291 8557 0 -1 4202560 9176 0 0 0 51 4 0 0 20 0 15 0 115478408 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140560128575152 140560124349846 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15295] ppid=15291 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15295/stat : 15295 (java) S 15291 15291 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115478409 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140560058771984 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15296] ppid=15291 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15296/stat : 15296 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478409 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140560057719440 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15297] ppid=15291 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478409 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140560056666384 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15298] ppid=15291 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478409 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140560055613840 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15299] ppid=15291 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (java) S 15291 15291 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 115478410 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140559040617200 140560124349058 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15300] ppid=15291 vsize=13980732 memory=8458433173656909621 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15300/stat : 15300 (java) S 15291 15291 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115478411 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140559039563424 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15301] ppid=15291 vsize=13980732 memory=7086521019830130256 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15301/stat : 15301 (java) S 15291 15291 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115478411 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140559038510320 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15302] ppid=15291 vsize=13980732 memory=15457 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15302/stat : 15302 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140559037458896 140560124356507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15303] ppid=15291 vsize=13980732 memory=4420 CPUtime=0.16 cores=1,3,5,7
/proc/15293/task/15303/stat : 15303 (java) R 15291 15291 8557 0 -1 4202560 1184 0 0 0 16 0 0 0 20 0 15 0 115478413 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140559036406000 140560105521804 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15304] ppid=15291 vsize=13980732 memory=6628 CPUtime=0.13 cores=1,3,5,7
/proc/15293/task/15304/stat : 15304 (java) R 15291 15291 8557 0 -1 4202560 882 0 0 0 13 0 0 0 20 0 15 0 115478413 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140559035353456 140560110366542 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15305] ppid=15291 vsize=13980732 memory=8836 CPUtime=0.3 cores=1,3,5,7
/proc/15293/task/15305/stat : 15305 (java) R 15291 15291 8557 0 -1 1077944384 1471 0 0 0 30 0 0 0 20 0 15 0 115478413 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140559034300400 140560124349058 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15306] ppid=15291 vsize=13980732 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15306/stat : 15306 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140559033248096 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15307] ppid=15291 vsize=13980732 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15307/stat : 15307 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478417 14316269568 16869 18446744073709551615 4194304 4196468 140721223898192 140559032196144 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68852 KiB
[startup+1.50086 s]
/proc/loadavg: 2.02 2.11 2.06 5/211 15307
/proc/meminfo: memFree=31129276/32770624 swapFree=67105588/67108860
[pid=15291] ppid=15288 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15291/stat : 15291 (xcsp3-exec) S 15288 15291 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115478398 9740288 344 18446744073709551615 4194304 5098028 140720361327616 140720361325720 140509087957628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39596032 140720361329016 140720361329221 140720361329221 140720361332715 0
/proc/15291/statm: 2378 344 289 221 0 87 0
[pid=15293] ppid=15291 vsize=13980732 memory=100500 CPUtime=3.65 cores=1,3,5,7
/proc/15293/stat : 15293 (java) S 15291 15291 8557 0 -1 1077944320 33143 0 0 0 357 8 0 0 20 0 15 0 115478408 14316269568 25125 18446744073709551615 4194304 4196468 140721223898192 140721223880736 140560124337911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
/proc/15293/statm: 3495183 25125 3192 1 0 3483476 0
[pid=15293/tid=15294] ppid=15291 vsize=13980732 memory=-8774313645642428999 CPUtime=1.35 cores=1,3,5,7
/proc/15293/task/15294/stat : 15294 (java) R 15291 15291 8557 0 -1 4202560 9784 0 0 0 131 4 0 0 20 0 15 0 115478408 14316269568 25125 18446744073709551615 4194304 4196468 140721223898192 140560128574232 140559737515643 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15295] ppid=15291 vsize=13980732 memory=7378139081855234157 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15295/stat : 15295 (java) S 15291 15291 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115478409 14316269568 25125 18446744073709551615 4194304 4196468 140721223898192 140560058771984 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15296] ppid=15291 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15296/stat : 15296 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478409 14316269568 25125 18446744073709551615 4194304 4196468 140721223898192 140560057719440 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15297] ppid=15291 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478409 14316269568 25125 18446744073709551615 4194304 4196468 140721223898192 140560056666384 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15298] ppid=15291 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (java) S 15291 15291 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115478409 14316269568 25125 18446744073709551615 4194304 4196468 140721223898192 140560055613840 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15299] ppid=15291 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (java) S 15291 15291 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 115478410 14316269568 25125 18446744073709551615 4194304 4196468 140721223898192 140559040617200 140560124349058 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15300] ppid=15291 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15300/stat : 15300 (java) S 15291 15291 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115478411 14316269568 25125 18446744073709551615 4194304 4196468 140721223898192 140559039563424 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15301] ppid=15291 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=15293/tid=15299] ppid=15291 vsize=13980732 memory=201276 CPUtime=0.07 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (java) S 15291 15291 8557 0 -1 1077944384 3905 0 0 0 5 2 0 0 20 0 15 0 115478410 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559040617200 140560124349058 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15300] ppid=15291 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15300/stat : 15300 (java) S 15291 15291 8557 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 115478411 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559039563424 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15301] ppid=15291 vsize=13980732 memory=201276 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15301/stat : 15301 (java) S 15291 15291 8557 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 115478411 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559038510320 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15302] ppid=15291 vsize=13980732 memory=201276 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15302/stat : 15302 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559037458896 140560124356507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15303] ppid=15291 vsize=13980732 memory=201276 CPUtime=3.32 cores=1,3,5,7
/proc/15293/task/15303/stat : 15303 (java) S 15291 15291 8557 0 -1 1077944384 23779 0 0 0 329 3 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559036406000 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15304] ppid=15291 vsize=13980732 memory=1376 CPUtime=3 cores=1,3,5,7
/proc/15293/task/15304/stat : 15304 (java) S 15291 15291 8557 0 -1 1077944384 27838 0 0 0 297 3 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559035353456 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15305] ppid=15291 vsize=13980732 memory=2384 CPUtime=0.58 cores=1,3,5,7
/proc/15293/task/15305/stat : 15305 (java) S 15291 15291 8557 0 -1 1077944384 8218 0 0 0 57 1 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559034300400 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15306] ppid=15291 vsize=13980732 memory=1672 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15306/stat : 15306 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559033248096 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15307] ppid=15291 vsize=13980732 memory=1376 CPUtime=0.47 cores=1,3,5,7
/proc/15293/task/15307/stat : 15307 (java) S 15291 15291 8557 0 -1 1077944384 1740 0 0 0 19 28 0 0 20 0 15 0 115478417 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559032196144 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
Current children cumulated CPU time: 2449.43 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202652 KiB
[startup+2502.3 s]
/proc/loadavg: 1.93 1.99 2.03 3/215 15569
/proc/meminfo: memFree=30500464/32770624 swapFree=67105588/67108860
[pid=15291] ppid=15288 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15291/stat : 15291 (xcsp3-exec) S 15288 15291 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115478398 9740288 344 18446744073709551615 4194304 5098028 140720361327616 140720361325720 140509087957628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39596032 140720361329016 140720361329221 140720361329221 140720361332715 0
/proc/15291/statm: 2378 344 289 221 0 87 0
[pid=15293] ppid=15291 vsize=13980732 memory=201276 CPUtime=2509.45 cores=1,3,5,7
/proc/15293/stat : 15293 (java) S 15291 15291 8557 0 -1 1077944320 100847 0 0 0 250902 43 0 0 20 0 15 0 115478408 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140721223880736 140560124337911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
/proc/15293/statm: 3495183 50319 3244 1 0 3483476 0
[pid=15293/tid=15294] ppid=15291 vsize=13980732 memory=201276 CPUtime=2501.68 cores=1,3,5,7
/proc/15293/task/15294/stat : 15294 (java) R 15291 15291 8557 0 -1 4202560 23708 0 0 0 250161 7 0 0 20 0 15 0 115478408 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560128576592 140559739092364 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15295] ppid=15291 vsize=13980732 memory=1376 CPUtime=0.05 cores=1,3,5,7
/proc/15293/task/15295/stat : 15295 (java) S 15291 15291 8557 0 -1 1077944384 1760 0 0 0 5 0 0 0 20 0 15 0 115478409 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560058771984 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15296] ppid=15291 vsize=13980732 memory=201276 CPUtime=0.05 cores=1,3,5,7
/proc/15293/task/15296/stat : 15296 (java) S 15291 15291 8557 0 -1 1077944384 3523 0 0 0 4 1 0 0 20 0 15 0 115478409 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560057719440 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15297] ppid=15291 vsize=13980732 memory=201276 CPUtime=0.05 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (java) S 15291 15291 8557 0 -1 1077944384 3089 0 0 0 5 0 0 0 20 0 15 0 115478409 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560056666384 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15298] ppid=15291 vsize=13980732 memory=201276 CPUtime=0.05 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (java) S 15291 15291 8557 0 -1 1077944384 1903 0 0 0 5 0 0 0 20 0 15 0 115478409 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560055613840 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15299] ppid=15291 vsize=13980732 memory=1376 CPUtime=0.08 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (java) S 15291 15291 8557 0 -1 1077944384 3915 0 0 0 6 2 0 0 20 0 15 0 115478410 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559040617200 140560124349058 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15300] ppid=15291 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15300/stat : 15300 (java) S 15291 15291 8557 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 115478411 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559039563424 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15301] ppid=15291 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15301/stat : 15301 (java) S 15291 15291 8557 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 115478411 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559038510320 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15302] ppid=15291 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15302/stat : 15302 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559037458896 140560124356507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15303] ppid=15291 vsize=13980732 memory=1376 CPUtime=3.32 cores=1,3,5,7
/proc/15293/task/15303/stat : 15303 (java) S 15291 15291 8557 0 -1 1077944384 23779 0 0 0 329 3 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559036406000 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15304] ppid=15291 vsize=13980732 memory=1376 CPUtime=3 cores=1,3,5,7
/proc/15293/task/15304/stat : 15304 (java) S 15291 15291 8557 0 -1 1077944384 27838 0 0 0 297 3 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559035353456 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15305] ppid=15291 vsize=13980732 memory=201276 CPUtime=0.58 cores=1,3,5,7
/proc/15293/task/15305/stat : 15305 (java) S 15291 15291 8557 0 -1 1077944384 8218 0 0 0 57 1 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559034300400 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15306] ppid=15291 vsize=13980732 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15306/stat : 15306 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559033248096 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15307] ppid=15291 vsize=13980732 memory=62820 CPUtime=0.48 cores=1,3,5,7
/proc/15293/task/15307/stat : 15307 (java) S 15291 15291 8557 0 -1 1077944384 1744 0 0 0 20 28 0 0 20 0 15 0 115478417 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559032196144 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
Current children cumulated CPU time: 2509.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.9 s]
/proc/loadavg: 1.94 1.99 2.03 3/215 15569
/proc/meminfo: memFree=30443432/32770624 swapFree=67105588/67108860
[pid=15291] ppid=15288 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15291/stat : 15291 (xcsp3-exec) S 15288 15291 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115478398 9740288 344 18446744073709551615 4194304 5098028 140720361327616 140720361325720 140509087957628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39596032 140720361329016 140720361329221 140720361329221 140720361332715 0
/proc/15291/statm: 2378 344 289 221 0 87 0
[pid=15293] ppid=15291 vsize=13980732 memory=201276 CPUtime=2520.05 cores=1,3,5,7
/proc/15293/stat : 15293 (java) S 15291 15291 8557 0 -1 1077944320 100891 0 0 0 251962 43 0 0 20 0 15 0 115478408 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140721223880736 140560124337911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
/proc/15293/statm: 3495183 50319 3244 1 0 3483476 0
[pid=15293/tid=15294] ppid=15291 vsize=13980732 memory=201276 CPUtime=2512.28 cores=1,3,5,7
/proc/15293/task/15294/stat : 15294 (java) R 15291 15291 8557 0 -1 4202560 23752 0 0 0 251221 7 0 0 20 0 15 0 115478408 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560128577312 140559739190496 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15295] ppid=15291 vsize=13980732 memory=201276 CPUtime=0.05 cores=1,3,5,7
/proc/15293/task/15295/stat : 15295 (java) S 15291 15291 8557 0 -1 1077944384 1760 0 0 0 5 0 0 0 20 0 15 0 115478409 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560058771984 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15296] ppid=15291 vsize=13980732 memory=1376 CPUtime=0.05 cores=1,3,5,7
/proc/15293/task/15296/stat : 15296 (java) S 15291 15291 8557 0 -1 1077944384 3523 0 0 0 4 1 0 0 20 0 15 0 115478409 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560057719440 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15297] ppid=15291 vsize=13980732 memory=201276 CPUtime=0.05 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (java) S 15291 15291 8557 0 -1 1077944384 3089 0 0 0 5 0 0 0 20 0 15 0 115478409 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560056666384 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15298] ppid=15291 vsize=13980732 memory=1376 CPUtime=0.05 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (java) S 15291 15291 8557 0 -1 1077944384 1903 0 0 0 5 0 0 0 20 0 15 0 115478409 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560055613840 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15299] ppid=15291 vsize=13980732 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (java) S 15291 15291 8557 0 -1 1077944384 3915 0 0 0 6 2 0 0 20 0 15 0 115478410 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559040617200 140560124349058 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15300] ppid=15291 vsize=13980732 memory=2990 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15300/stat : 15300 (java) S 15291 15291 8557 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 115478411 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559039563424 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15301] ppid=15291 vsize=13980732 memory=623 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15301/stat : 15301 (java) S 15291 15291 8557 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 115478411 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559038510320 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15302] ppid=15291 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15302/stat : 15302 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559037458896 140560124356507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15303] ppid=15291 vsize=13980732 memory=1376 CPUtime=3.32 cores=1,3,5,7
/proc/15293/task/15303/stat : 15303 (java) S 15291 15291 8557 0 -1 1077944384 23779 0 0 0 329 3 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559036406000 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15304] ppid=15291 vsize=13980732 memory=62820 CPUtime=3 cores=1,3,5,7
/proc/15293/task/15304/stat : 15304 (java) S 15291 15291 8557 0 -1 1077944384 27838 0 0 0 297 3 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559035353456 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15305] ppid=15291 vsize=13980732 memory=1240 CPUtime=0.58 cores=1,3,5,7
/proc/15293/task/15305/stat : 15305 (java) S 15291 15291 8557 0 -1 1077944384 8218 0 0 0 57 1 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559034300400 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15306] ppid=15291 vsize=13980732 memory=201276 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15306/stat : 15306 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559033248096 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15307] ppid=15291 vsize=13980732 memory=201276 CPUtime=0.49 cores=1,3,5,7
/proc/15293/task/15307/stat : 15307 (java) S 15291 15291 8557 0 -1 1077944384 1744 0 0 0 20 29 0 0 20 0 15 0 115478417 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559032196144 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.91 s]
# the end of solver process 15291 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.63 s, system=0.436277 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.9 s]
/proc/loadavg: 1.94 1.99 2.03 3/215 15569
/proc/meminfo: memFree=30443432/32770624 swapFree=67105588/67108860
[pid=15291] ppid=15288 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15291/stat : 15291 (xcsp3-exec) S 15288 15291 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115478398 9740288 344 18446744073709551615 4194304 5098028 140720361327616 140720361325720 140509087957628 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39596032 140720361329016 140720361329221 140720361329221 140720361332715 0
/proc/15291/statm: 2378 344 289 221 0 87 0
[pid=15293] ppid=15291 vsize=13980732 memory=201276 CPUtime=2520.05 cores=1,3,5,7
/proc/15293/stat : 15293 (java) S 15291 15291 8557 0 -1 1077944320 100891 0 0 0 251962 43 0 0 20 0 15 0 115478408 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140721223880736 140560124337911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
/proc/15293/statm: 3495183 50319 3244 1 0 3483476 0
[pid=15293/tid=15294] ppid=15291 vsize=13980732 memory=201276 CPUtime=2512.28 cores=1,3,5,7
/proc/15293/task/15294/stat : 15294 (java) R 15291 15291 8557 0 -1 4202560 23752 0 0 0 251221 7 0 0 20 0 15 0 115478408 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560128577312 140559739190496 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15295] ppid=15291 vsize=13980732 memory=201276 CPUtime=0.05 cores=1,3,5,7
/proc/15293/task/15295/stat : 15295 (java) S 15291 15291 8557 0 -1 1077944384 1760 0 0 0 5 0 0 0 20 0 15 0 115478409 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560058771984 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15296] ppid=15291 vsize=13980732 memory=1376 CPUtime=0.05 cores=1,3,5,7
/proc/15293/task/15296/stat : 15296 (java) S 15291 15291 8557 0 -1 1077944384 3523 0 0 0 4 1 0 0 20 0 15 0 115478409 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560057719440 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15297] ppid=15291 vsize=13980732 memory=201276 CPUtime=0.05 cores=1,3,5,7
/proc/15293/task/15297/stat : 15297 (java) S 15291 15291 8557 0 -1 1077944384 3089 0 0 0 5 0 0 0 20 0 15 0 115478409 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560056666384 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15298] ppid=15291 vsize=13980732 memory=1376 CPUtime=0.05 cores=1,3,5,7
/proc/15293/task/15298/stat : 15298 (java) S 15291 15291 8557 0 -1 1077944384 1903 0 0 0 5 0 0 0 20 0 15 0 115478409 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140560055613840 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15299] ppid=15291 vsize=13980732 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15293/task/15299/stat : 15299 (java) S 15291 15291 8557 0 -1 1077944384 3915 0 0 0 6 2 0 0 20 0 15 0 115478410 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559040617200 140560124349058 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15300] ppid=15291 vsize=13980732 memory=2990 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15300/stat : 15300 (java) S 15291 15291 8557 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 115478411 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559039563424 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15301] ppid=15291 vsize=13980732 memory=623 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15301/stat : 15301 (java) S 15291 15291 8557 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 115478411 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559038510320 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15302] ppid=15291 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15302/stat : 15302 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559037458896 140560124356507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15303] ppid=15291 vsize=13980732 memory=1376 CPUtime=3.32 cores=1,3,5,7
/proc/15293/task/15303/stat : 15303 (java) S 15291 15291 8557 0 -1 1077944384 23779 0 0 0 329 3 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559036406000 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15304] ppid=15291 vsize=13980732 memory=62820 CPUtime=3 cores=1,3,5,7
/proc/15293/task/15304/stat : 15304 (java) S 15291 15291 8557 0 -1 1077944384 27838 0 0 0 297 3 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559035353456 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15305] ppid=15291 vsize=13980732 memory=1240 CPUtime=0.58 cores=1,3,5,7
/proc/15293/task/15305/stat : 15305 (java) S 15291 15291 8557 0 -1 1077944384 8218 0 0 0 57 1 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559034300400 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15306] ppid=15291 vsize=13980732 memory=201276 CPUtime=0 cores=1,3,5,7
/proc/15293/task/15306/stat : 15306 (java) S 15291 15291 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115478413 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559033248096 140560124348117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
[pid=15293/tid=15307] ppid=15291 vsize=13980732 memory=201276 CPUtime=0.49 cores=1,3,5,7
/proc/15293/task/15307/stat : 15307 (java) S 15291 15291 8557 0 -1 1077944384 1744 0 0 0 20 29 0 0 20 0 15 0 115478417 14316269568 50319 18446744073709551615 4194304 4196468 140721223898192 140559032196144 140560124349058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9314304 140721223901617 140721223901793 140721223901793 140721223905231 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202652 KiB
Child status: 143
Real time (s): 2512.91
CPU time (s): 2520.07
CPU user time (s): 2519.63
CPU system time (s): 0.436277
CPU usage (%): 100.285
Max. virtual memory (cumulated for all children) (KiB): 13992796
Max. memory (cumulated for all children) (KiB): 246584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.63
system time used= 0.436277
maximum resident set size= 247752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58563
involuntary context switches= 3478
# summary of solver processes directly reported to runsolver:
# pid: 15291
# total CPU time (s): 2520.07
# total CPU user time (s): 2519.63
# total CPU system time (s): 0.436277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1623 second user time and 22.0324 second system time
The end
Begin job on node126 at 2017-08-19 10:39:48 IDJOB=4282005 IDBENCH=128699 IDSOLVER=2677 FILE ID=node126/4282005-1503132833 RUNJOBID= node126-1503095802-8616 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-37-03.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4282005-1503132833/watcher-4282005-1503132833 -o /tmp/evaluation-result-4282005-1503132833/solver-4282005-1503132833 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1704158391 HOME/instance-4282005-1503132833.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f27483baa127f488650207f51eee544f RANDOM SEED=1704158391 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31213448 kB MemAvailable: 31779564 kB Buffers: 305360 kB Cached: 550228 kB SwapCached: 524 kB Active: 722272 kB Inactive: 364456 kB Active(anon): 186804 kB Inactive(anon): 93904 kB Active(file): 535468 kB Inactive(file): 270552 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 7804 kB Writeback: 0 kB AnonPages: 210172 kB Mapped: 70576 kB Shmem: 49824 kB Slab: 178288 kB SReclaimable: 151864 kB SUnreclaim: 26424 kB KernelStack: 3744 kB PageTables: 5192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1291804 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 94208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62016 MiB End job on node126 at 2017-08-19 11:21:41