Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-07-26) | SAT (TO) | 177 | 250.77 | 240.00999 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml |
| MD5SUM | a5381fa3d98671549d41a8d043d26ba4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 135 |
| Best CPU time to get the best result obtained on this benchmark | 2001.99 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 210 |
| Number of constraints | 94 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":91},{"size":501,"count":14}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 15 |
| Distribution of variable degrees | [{"degree":0,"count":105},{"degree":2,"count":91},{"degree":14,"count":12},{"degree":15,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 91 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":91},{"arity":14,"count":1},{"arity":91,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 92 |
| Distribution of constraint types | [{"type":"intension","count":92},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.07 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255011-1501620429.xml" -tl '264s' -p 1 -x 3 0.00/0.24 c [HOME/instance-4255011-1501620429.xml, -tl, 264s, -p, 1, -x, 3] 0.00/0.30 c simple solver 0.00/0.37 c parse instance... 0.00/0.61 c solve instance... 196.74/188.02 o 500 196.74/188.03 o 499 196.74/188.03 o 498 196.74/188.03 o 497 196.74/188.04 o 496 196.74/188.04 o 495 196.74/188.04 o 494 196.74/188.05 o 493 196.74/188.05 o 492 196.74/188.05 o 491 196.74/188.06 o 490 196.74/188.06 o 489 196.74/188.06 o 488 196.74/188.06 o 487 196.74/188.07 o 486 196.74/188.07 o 485 196.74/188.07 o 484 196.74/188.07 o 483 196.74/188.07 o 482 196.74/188.08 o 481 196.74/188.09 o 480 196.74/188.09 o 479 196.74/188.09 o 478 196.74/188.09 o 477 196.74/188.09 o 476 196.74/188.09 o 475 196.74/188.10 o 474 196.74/188.10 o 473 196.74/188.10 o 472 196.74/188.10 o 471 196.74/188.10 o 470 196.94/188.11 o 469 196.94/188.11 o 468 196.94/188.11 o 467 196.94/188.11 o 466 196.94/188.11 o 465 196.94/188.11 o 464 196.94/188.12 o 463 196.94/188.12 o 462 196.94/188.12 o 461 196.94/188.12 o 460 196.94/188.12 o 459 196.94/188.12 o 458 196.94/188.12 o 457 196.94/188.12 o 456 196.94/188.13 o 455 196.94/188.14 o 454 196.94/188.14 o 453 196.94/188.14 o 452 196.94/188.16 o 451 196.94/188.17 o 450 196.94/188.20 o 449 197.11/188.23 o 448 197.11/188.24 o 447 197.11/188.26 o 446 197.11/188.27 o 445 197.11/188.29 o 444 197.28/188.30 o 443 197.28/188.30 o 442 197.28/188.30 o 441 197.28/188.30 o 440 197.28/188.30 o 439 197.28/188.30 o 438 197.28/188.31 o 437 197.28/188.31 o 436 197.28/188.31 o 435 197.28/188.31 o 434 197.28/188.31 o 433 197.28/188.31 o 432 197.28/188.31 o 431 197.28/188.31 o 430 197.28/188.31 o 429 197.28/188.31 o 428 197.28/188.31 o 427 197.28/188.32 o 426 197.28/188.32 o 425 197.28/188.32 o 424 197.28/188.32 o 423 197.28/188.32 o 422 197.28/188.32 o 421 197.28/188.32 o 420 197.28/188.32 o 419 197.28/188.32 o 418 197.28/188.32 o 417 197.28/188.33 o 416 197.28/188.33 o 415 197.28/188.33 o 414 197.28/188.33 o 413 197.28/188.33 o 412 197.28/188.33 o 411 197.28/188.33 o 410 197.28/188.33 o 409 197.28/188.33 o 408 197.28/188.33 o 407 197.28/188.33 o 406 197.28/188.34 o 405 197.28/188.34 o 404 197.28/188.34 o 403 197.28/188.34 o 402 197.28/188.34 o 401 197.28/188.34 o 400 197.28/188.34 o 399 197.28/188.34 o 398 197.28/188.34 o 397 197.28/188.34 o 396 197.28/188.34 o 395 197.28/188.35 o 394 197.28/188.35 o 393 197.28/188.35 o 392 197.28/188.35 o 391 197.28/188.35 o 390 197.28/188.35 o 389 197.28/188.35 o 388 197.28/188.35 o 387 197.28/188.35 o 386 197.28/188.35 o 385 197.28/188.35 o 384 197.28/188.35 o 383 197.28/188.36 o 382 197.28/188.36 o 381 197.28/188.36 o 380 197.28/188.36 o 379 197.28/188.36 o 378 197.28/188.36 o 377 197.28/188.36 o 376 197.28/188.36 o 375 197.28/188.36 o 374 197.28/188.36 o 373 197.28/188.37 o 372 197.28/188.37 o 371 197.28/188.37 o 370 197.28/188.37 o 369 197.28/188.37 o 368 197.28/188.37 o 367 197.28/188.37 o 366 197.28/188.37 o 365 197.28/188.37 o 364 197.28/188.37 o 363 197.28/188.37 o 362 197.28/188.37 o 361 197.28/188.38 o 360 197.28/188.38 o 359 197.28/188.38 o 358 197.28/188.38 o 357 197.28/188.38 o 356 197.28/188.38 o 355 197.28/188.38 o 354 197.28/188.38 o 353 197.28/188.38 o 352 197.28/188.38 o 351 197.28/188.38 o 350 197.28/188.39 o 349 197.28/188.39 o 348 197.28/188.39 o 347 197.28/188.39 o 346 197.28/188.39 o 345 197.28/188.39 o 344 197.28/188.39 o 343 197.28/188.39 o 342 197.28/188.39 o 341 197.28/188.39 o 340 197.28/188.39 o 339 197.28/188.39 o 338 197.28/188.40 o 337 197.43/188.40 o 336 197.43/188.40 o 335 197.43/188.40 o 334 197.43/188.40 o 333 197.43/188.40 o 332 197.43/188.40 o 331 197.43/188.40 o 330 197.43/188.40 o 329 197.43/188.40 o 328 197.43/188.41 o 327 197.43/188.41 o 326 197.43/188.41 o 325 197.43/188.41 o 324 197.43/188.41 o 323 197.43/188.41 o 322 197.43/188.41 o 321 197.43/188.41 o 320 197.43/188.41 o 319 197.43/188.41 o 318 197.43/188.41 o 317 197.43/188.41 o 316 197.43/188.42 o 315 197.43/188.42 o 314 197.43/188.42 o 313 197.43/188.42 o 312 197.43/188.42 o 311 197.43/188.42 o 310 197.43/188.43 o 217 197.43/188.46 o 195 216.20/206.75 o 194 219.41/209.89 o 193 220.02/210.47 o 189 222.15/212.56 o 186 228.41/218.44 o 184 229.84/219.85 o 183 230.46/220.42 o 182 230.87/220.80 o 179 230.87/220.90 o 177 250.77/240.00 s SATISFIABLE 250.77/240.00 v <instantiation> 250.77/240.00 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[9][10] y[9][11] y[9][12] y[9][13] y[10][11] y[10][12] y[10][13] y[11][12] y[11][13] y[12][13] </list> 250.77/240.00 v <values>0 2 6 9 14 24 25 53 74 94 120 137 150 177 2 6 9 14 24 25 53 74 94 120 137 150 177 4 7 12 22 23 51 72 92 118 135 148 175 3 8 18 19 47 68 88 114 131 144 171 5 15 16 44 65 85 111 128 141 168 10 11 39 60 80 106 123 136 163 1 29 50 70 96 113 126 153 28 49 69 95 112 125 152 21 41 67 84 97 124 20 46 63 76 103 26 43 56 83 17 30 57 13 40 27 </values> 250.77/240.00 v </instantiation> 250.77/240.00 c Unexpected resolution interruption!
OK 177
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-4255011-1501620429/watcher-4255011-1501620429 -o /tmp/evaluation-result-4255011-1501620429/solver-4255011-1501620429 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11514 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1340124384 HOME/instance-4255011-1501620429.xml pid=21579 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.65 1.77 1.84 3/201 21582 /proc/meminfo: memFree=31038436/32770624 swapFree=0/289624 [pid=21582] ppid=21579 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/21582/stat : 21582 (runsolver) D 21579 21582 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9548687 24240128 107 18446744073709551615 4194304 4338465 140734692106928 140734692104568 139724831179479 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 15044608 140734692114524 140734692115014 140734692115014 140734692118474 0 /proc/21582/statm: 5918 107 54 36 0 2156 0 [startup+0.100185 s] /proc/loadavg: 1.65 1.77 1.84 3/201 21582 /proc/meminfo: memFree=31038436/32770624 swapFree=0/289624 [pid=21582] ppid=21579 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21582/stat : 21582 (xcsp3-exec) S 21579 21582 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9548687 9740288 345 18446744073709551615 4194304 5098028 140731928240800 140731928238904 140569950372476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38604800 140731928248731 140731928248935 140731928248935 140731928252395 0 /proc/21582/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200335 s] /proc/loadavg: 1.65 1.77 1.84 3/201 21582 /proc/meminfo: memFree=31038436/32770624 swapFree=0/289624 [pid=21582] ppid=21579 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21582/stat : 21582 (xcsp3-exec) S 21579 21582 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9548687 9740288 345 18446744073709551615 4194304 5098028 140731928240800 140731928238904 140569950372476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38604800 140731928248731 140731928248935 140731928248935 140731928252395 0 /proc/21582/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.303943 s] /proc/loadavg: 1.65 1.77 1.84 3/201 21582 /proc/meminfo: memFree=31038436/32770624 swapFree=0/289624 [pid=21582] ppid=21579 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21582/stat : 21582 (xcsp3-exec) S 21579 21582 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9548687 9740288 345 18446744073709551615 4194304 5098028 140731928240800 140731928238904 140569950372476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38604800 140731928248731 140731928248935 140731928248935 140731928252395 0 /proc/21582/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.704699 s] /proc/loadavg: 1.65 1.77 1.84 3/201 21582 /proc/meminfo: memFree=31038436/32770624 swapFree=0/289624 [pid=21582] ppid=21579 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21582/stat : 21582 (xcsp3-exec) S 21579 21582 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9548687 9740288 345 18446744073709551615 4194304 5098028 140731928240800 140731928238904 140569950372476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38604800 140731928248731 140731928248935 140731928248935 140731928252395 0 /proc/21582/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50066 s] /proc/loadavg: 1.65 1.77 1.84 5/217 21598 /proc/meminfo: memFree=30956848/32770624 swapFree=0/289628 [pid=21582] ppid=21579 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21582/stat : 21582 (xcsp3-exec) S 21579 21582 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9548687 9740288 345 18446744073709551615 4194304 5098028 140731928240800 140731928238904 140569950372476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38604800 140731928248731 140731928248935 140731928248935 140731928252395 0 /proc/21582/statm: 2378 345 289 221 0 87 0 [pid=21584] ppid=21582 vsize=13980732 CPUtime=3.73 cores=0,2,4,6 /proc/21584/stat : 21584 (java) S 21582 21582 5234 0 -1 1077944320 31684 0 0 0 364 9 0 0 20 0 15 0 9548695 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140720824705360 140638112628471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 /proc/21584/statm: 3495183 30769 3182 1 0 3483484 0 [pid=21584/tid=21585] ppid=21582 vsize=13980732 CPUtime=1.38 cores=0,2,4,6 /proc/21584/task/21585/stat : 21585 (java) R 21582 21582 5234 0 -1 4202560 9809 0 0 0 133 5 0 0 20 0 15 0 9548695 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140638116867616 140638097762388 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21586] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21586/stat : 21586 (java) S 21582 21582 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9548696 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140638047063184 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21587] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21587/stat : 21587 (java) S 21582 21582 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9548696 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140638046010384 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21588] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21588/stat : 21588 (java) S 21582 21582 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9548696 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140638044957584 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21589] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21589/stat : 21589 (java) S 21582 21582 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9548696 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140638043904784 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21590] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21590/stat : 21590 (java) S 21582 21582 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9548697 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140637591157104 140638112639618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21591] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21591/stat : 21591 (java) S 21582 21582 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9548697 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140637590103072 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21592] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21592/stat : 21592 (java) S 21582 21582 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9548698 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140637589050224 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21593] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21593/stat : 21593 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140637587998544 140638112647067 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21594] ppid=21582 vsize=13980732 CPUtime=0.94 cores=0,2,4,6 /proc/21584/task/21594/stat : 21594 (java) R 21582 21582 5234 0 -1 4202560 5264 0 0 0 93 1 0 0 20 0 15 0 9548700 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140637586935728 140638095840171 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21595] ppid=21582 vsize=13980732 CPUtime=0.94 cores=0,2,4,6 /proc/21584/task/21595/stat : 21595 (java) R 21582 21582 5234 0 -1 4202560 12530 0 0 0 93 1 0 0 20 0 15 0 9548700 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140637585885456 140638097753910 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21596] ppid=21582 vsize=13980732 CPUtime=0.44 cores=0,2,4,6 /proc/21584/task/21596/stat : 21596 (java) S 21582 21582 5234 0 -1 1077944384 2766 0 0 0 43 1 0 0 20 0 15 0 9548700 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140637584841328 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21597] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21597/stat : 21597 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140637583788768 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21598] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21598/stat : 21598 (java) S 21582 21582 5234 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9548704 14316269568 30769 18446744073709551615 4194304 4196468 140720824722816 140637582736048 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 Current children cumulated CPU time (s) 3.73 Current children cumulated vsize (KiB) 13990244 [startup+3.10129 s] /proc/loadavg: 1.65 1.77 1.84 4/217 21598 /proc/meminfo: memFree=30888628/32770624 swapFree=0/289640 [pid=21582] ppid=21579 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21582/stat : 21582 (xcsp3-exec) S 21579 21582 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9548687 9740288 345 18446744073709551615 4194304 5098028 140731928240800 140731928238904 140569950372476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38604800 140731928248731 140731928248935 140731928248935 140731928252395 0 /proc/21582/statm: 2378 345 289 221 0 87 0 [pid=21584] ppid=21582 vsize=13980732 CPUtime=6.95 cores=0,2,4,6 /proc/21584/stat : 21584 (java) S 21582 21582 5234 0 -1 1077944320 34289 0 0 0 683 12 0 0 20 0 15 0 9548695 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140720824705360 140638112628471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 /proc/21584/statm: 3495183 53791 3213 1 0 3483484 0 [pid=21584/tid=21585] ppid=21582 vsize=13980732 CPUtime=2.96 cores=0,2,4,6 /proc/21584/task/21585/stat : 21585 (java) R 21582 21582 5234 0 -1 4202560 9941 0 0 0 290 6 0 0 20 0 15 0 9548695 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140638116867592 140637719228568 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21586] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21586/stat : 21586 (java) S 21582 21582 5234 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 15 0 9548696 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140638047063184 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21587] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21587/stat : 21587 (java) S 21582 21582 5234 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 9548696 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140638046010384 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21588] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21588/stat : 21588 (java) S 21582 21582 5234 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 9548696 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140638044957584 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21589] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21589/stat : 21589 (java) S 21582 21582 5234 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 9548696 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140638043904784 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21590] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21590/stat : 21590 (java) S 21582 21582 5234 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 9548697 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140637591157104 140638112639618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21591] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21591/stat : 21591 (java) S 21582 21582 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9548697 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140637590103072 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21592] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21592/stat : 21592 (java) S 21582 21582 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9548698 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140637589050224 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21593] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21593/stat : 21593 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140637587998544 140638112647067 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21594] ppid=21582 vsize=13980732 CPUtime=1.69 cores=0,2,4,6 /proc/21584/task/21594/stat : 21594 (java) S 21582 21582 5234 0 -1 1077944384 5574 0 0 0 168 1 0 0 20 0 15 0 9548700 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140637586946928 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21595] ppid=21582 vsize=13980732 CPUtime=1.71 cores=0,2,4,6 /proc/21584/task/21595/stat : 21595 (java) R 21582 21582 5234 0 -1 4202560 13008 0 0 0 169 2 0 0 20 0 15 0 9548700 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140637585894128 140638097743551 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21596] ppid=21582 vsize=13980732 CPUtime=0.52 cores=0,2,4,6 /proc/21584/task/21596/stat : 21596 (java) S 21582 21582 5234 0 -1 1077944384 3654 0 0 0 51 1 0 0 20 0 15 0 9548700 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140637584841328 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21597] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21597/stat : 21597 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140637583788768 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21598] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21598/stat : 21598 (java) S 21582 21582 5234 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9548704 14316269568 53791 18446744073709551615 4194304 4196468 140720824722816 140637582736048 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 Current children cumulated CPU time (s) 6.95 Current children cumulated vsize (KiB) 13990244 [startup+6.30124 s] /proc/loadavg: 1.75 1.79 1.84 3/217 21598 /proc/meminfo: memFree=30819224/32770624 swapFree=0/289640 [pid=21582] ppid=21579 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21582/stat : 21582 (xcsp3-exec) S 21579 21582 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9548687 9740288 345 18446744073709551615 4194304 5098028 140731928240800 140731928238904 140569950372476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38604800 140731928248731 140731928248935 140731928248935 140731928252395 0 /proc/21582/statm: 2378 345 289 221 0 87 0 [pid=21584] ppid=21582 vsize=13980732 CPUtime=10.66 cores=0,2,4,6 /proc/21584/stat : 21584 (java) S 21582 21582 5234 0 -1 1077944320 34781 0 0 0 1053 13 0 0 20 0 15 0 9548695 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140720824705360 140638112628471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 /proc/21584/statm: 3495183 55192 3215 1 0 3483484 0 [pid=21584/tid=21585] ppid=21582 vsize=13980732 CPUtime=6.14 cores=0,2,4,6 /proc/21584/task/21585/stat : 21585 (java) R 21582 21582 5234 0 -1 4202560 10138 0 0 0 608 6 0 0 20 0 15 0 9548695 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140638116864264 140637719228351 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21586] ppid=21582 vsize=13980732 CPUtime=0.01 cores=0,2,4,6 /proc/21584/task/21586/stat : 21586 (java) S 21582 21582 5234 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 9548696 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140638047063184 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21587] ppid=21582 vsize=13980732 CPUtime=0.01 cores=0,2,4,6 /proc/21584/task/21587/stat : 21587 (java) S 21582 21582 5234 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 15 0 9548696 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140638046010384 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21588] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21588/stat : 21588 (java) S 21582 21582 5234 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 9548696 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140638044957584 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21589] ppid=21582 vsize=13980732 CPUtime=0.01 cores=0,2,4,6 /proc/21584/task/21589/stat : 21589 (java) S 21582 21582 5234 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 9548696 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140638043904784 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21590] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21590/stat : 21590 (java) S 21582 21582 5234 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 9548697 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140637591157104 140638112639618 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21591] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21591/stat : 21591 (java) S 21582 21582 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9548697 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140637590103136 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21592] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21592/stat : 21592 (java) S 21582 21582 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9548698 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140637589050240 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21593] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21593/stat : 21593 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140637587998544 140638112647067 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21594] ppid=21582 vsize=13980732 CPUtime=1.82 cores=0,2,4,6 /proc/21584/task/21594/stat : 21594 (java) S 21582 21582 5234 0 -1 1077944384 5609 0 0 0 181 1 0 0 20 0 15 0 9548700 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140637586946928 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21595] ppid=21582 vsize=13980732 CPUtime=1.99 cores=0,2,4,6 /proc/21584/task/21595/stat : 21595 (java) S 21582 21582 5234 0 -1 1077944384 13073 0 0 0 197 2 0 0 20 0 15 0 9548700 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140637585894128 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21596] ppid=21582 vsize=13980732 CPUtime=0.6 cores=0,2,4,6 /proc/21584/task/21596/stat : 21596 (java) S 21582 21582 5234 0 -1 1077944384 3808 0 0 0 59 1 0 0 20 0 15 0 9548700 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140637584841328 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21597] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21597/stat : 21597 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140637583788768 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21598] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21598/stat : 21598 (java) S 21582 21582 5234 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9548704 14316269568 55192 18446744073709551615 4194304 4196468 140720824722816 140637582736048 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 Current children cumulated CPU time (s) 10.66 Current children cumulated vsize (KiB) 13990244 [startup+12.7006 s] /proc/loadavg: 1.77 1.79 1.85 3/217 21598 /proc/meminfo: memFree=30809600/32770624 swapFree=0/289648 [pid=21582] ppid=21579 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21582/stat : 21582 (xcsp3-exec) S 21579 21582 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9548687 9740288 345 18446744073709551615 4194304 5098028 140731928240800 140731928238904 140569950372476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38604800 140731928248731 140731928248935 140731928248935 140731928252395 0 /proc/21582/statm: 2378 345 289 221 0 87 0 [pid=21584] ppid=21582 vsize=13980732 CPUtime=17.3 cores=0,2,4,6 /proc/21584/stat : 21584 (java) S 21582 21582 5234 0 -1 1077944320 40101 0 0 0 1714 16 0 0 20 0 15 0 9548695 14316269568 55415 18446744073709551615 4194304 4196468 140720824722816 140720824705360 140638112628471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 /proc/21584/statm: 3495183 55415 3221 1 0 3483484 0 [pid=21584/tid=21585] ppid=21582 vsize=13980732 CPUtime=12.52 cores=0,2,4,6 /proc/21584/task/21585/stat : 21585 (java) R 21582 21582 5234 0 -1 4202560 11081 0 0 0 1246 6 0 0 20 0 15 0 9548695 14316269568 55415 18446744073709551615 4194304 4196468 140720824722816 140638116864400 140637720502688 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21586] ppid=21582 vsize=13980732 CPUtime=0.03 cores=0,2,4,6 /proc/21584/task/21586/stat : 21586 (java) S 21582 21582 5234 0 -1 1077944384 340 0 0 0 2 1 0 0 20 0 15 0 9548696 14316269568 55415 18446744073709551615 4194304 4196468 140720824722816 140638047063184 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21587] ppid=21582 vsize=13980732 CPUtime=0.02 cores=0,2,4,6 /proc/21584/task/21587/stat : 21587 (java) S 21582 21582 5234 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 15 0 9548696 14316269568 55415 18446744073709551615 4194304 4196468 140720824722816 140638046010384 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 ################ # More data... # ################ [pid=21584/tid=21591] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21591/stat : 21591 (java) S 21582 21582 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9548697 14316269568 44070 18446744073709551615 4194304 4196468 140720824722816 140637590103136 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21592] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21592/stat : 21592 (java) S 21582 21582 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9548698 14316269568 44070 18446744073709551615 4194304 4196468 140720824722816 140637589050240 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21593] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21593/stat : 21593 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 44070 18446744073709551615 4194304 4196468 140720824722816 140637587998544 140638112647067 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21594] ppid=21582 vsize=13980732 CPUtime=3.18 cores=0,2,4,6 /proc/21584/task/21594/stat : 21594 (java) S 21582 21582 5234 0 -1 1077944384 15214 0 0 0 316 2 0 0 20 0 15 0 9548700 14316269568 44070 18446744073709551615 4194304 4196468 140720824722816 140637586946928 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21595] ppid=21582 vsize=13980732 CPUtime=3.6 cores=0,2,4,6 /proc/21584/task/21595/stat : 21595 (java) S 21582 21582 5234 0 -1 1077944384 24994 0 0 0 357 3 0 0 20 0 15 0 9548700 14316269568 44070 18446744073709551615 4194304 4196468 140720824722816 140637585894128 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21596] ppid=21582 vsize=13980732 CPUtime=0.7 cores=0,2,4,6 /proc/21584/task/21596/stat : 21596 (java) S 21582 21582 5234 0 -1 1077944384 6616 0 0 0 69 1 0 0 20 0 15 0 9548700 14316269568 44070 18446744073709551615 4194304 4196468 140720824722816 140637584841328 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21597] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21597/stat : 21597 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 44070 18446744073709551615 4194304 4196468 140720824722816 140637583788768 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21598] ppid=21582 vsize=13980732 CPUtime=0.04 cores=0,2,4,6 /proc/21584/task/21598/stat : 21598 (java) S 21582 21582 5234 0 -1 1077944384 434 0 0 0 2 2 0 0 20 0 15 0 9548704 14316269568 44070 18446744073709551615 4194304 4196468 140720824722816 140637582736048 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 Current children cumulated CPU time (s) 110.27 Current children cumulated vsize (KiB) 13990244 [startup+162.301 s] /proc/loadavg: 1.32 1.64 1.78 3/214 21602 /proc/meminfo: memFree=30898720/32770624 swapFree=0/289720 [pid=21582] ppid=21579 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21582/stat : 21582 (xcsp3-exec) S 21579 21582 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9548687 9740288 345 18446744073709551615 4194304 5098028 140731928240800 140731928238904 140569950372476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38604800 140731928248731 140731928248935 140731928248935 140731928252395 0 /proc/21582/statm: 2378 345 289 221 0 87 0 [pid=21584] ppid=21582 vsize=13980732 CPUtime=170.73 cores=0,2,4,6 /proc/21584/stat : 21584 (java) S 21582 21582 5234 0 -1 1077944320 72328 0 0 0 17045 28 0 0 20 0 15 0 9548695 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140720824705360 140638112628471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 /proc/21584/statm: 3495183 40966 3232 1 0 3483484 0 [pid=21584/tid=21585] ppid=21582 vsize=13980732 CPUtime=161.75 cores=0,2,4,6 /proc/21584/task/21585/stat : 21585 (java) R 21582 21582 5234 0 -1 4202560 15772 0 0 0 16168 7 0 0 20 0 15 0 9548695 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140638116868176 140637720075489 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21586] ppid=21582 vsize=13980732 CPUtime=0.3 cores=0,2,4,6 /proc/21584/task/21586/stat : 21586 (java) S 21582 21582 5234 0 -1 1077944384 1236 0 0 0 28 2 0 0 20 0 15 0 9548696 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140638047063184 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21587] ppid=21582 vsize=13980732 CPUtime=0.3 cores=0,2,4,6 /proc/21584/task/21587/stat : 21587 (java) S 21582 21582 5234 0 -1 1077944384 1027 0 0 0 28 2 0 0 20 0 15 0 9548696 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140638046010384 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21588] ppid=21582 vsize=13980732 CPUtime=0.3 cores=0,2,4,6 /proc/21584/task/21588/stat : 21588 (java) S 21582 21582 5234 0 -1 1077944384 1286 0 0 0 28 2 0 0 20 0 15 0 9548696 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140638044957584 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21589] ppid=21582 vsize=13980732 CPUtime=0.3 cores=0,2,4,6 /proc/21584/task/21589/stat : 21589 (java) S 21582 21582 5234 0 -1 1077944384 1069 0 0 0 28 2 0 0 20 0 15 0 9548696 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140638043904784 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21590] ppid=21582 vsize=13980732 CPUtime=0.07 cores=0,2,4,6 /proc/21584/task/21590/stat : 21590 (java) S 21582 21582 5234 0 -1 1077944384 1497 0 0 0 6 1 0 0 20 0 15 0 9548697 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140637591157104 140638112639618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21591] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21591/stat : 21591 (java) S 21582 21582 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9548697 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140637590103136 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21592] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21592/stat : 21592 (java) S 21582 21582 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9548698 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140637589050240 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21593] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21593/stat : 21593 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140637587998544 140638112647067 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21594] ppid=21582 vsize=13980732 CPUtime=3.21 cores=0,2,4,6 /proc/21584/task/21594/stat : 21594 (java) S 21582 21582 5234 0 -1 1077944384 15956 0 0 0 319 2 0 0 20 0 15 0 9548700 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140637586946928 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21595] ppid=21582 vsize=13980732 CPUtime=3.64 cores=0,2,4,6 /proc/21584/task/21595/stat : 21595 (java) S 21582 21582 5234 0 -1 1077944384 25253 0 0 0 361 3 0 0 20 0 15 0 9548700 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140637585894128 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21596] ppid=21582 vsize=13980732 CPUtime=0.7 cores=0,2,4,6 /proc/21584/task/21596/stat : 21596 (java) S 21582 21582 5234 0 -1 1077944384 7436 0 0 0 69 1 0 0 20 0 15 0 9548700 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140637584841328 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21597] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21597/stat : 21597 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140637583788768 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21598] ppid=21582 vsize=13980732 CPUtime=0.07 cores=0,2,4,6 /proc/21584/task/21598/stat : 21598 (java) S 21582 21582 5234 0 -1 1077944384 447 0 0 0 4 3 0 0 20 0 15 0 9548704 14316269568 40966 18446744073709551615 4194304 4196468 140720824722816 140637582736048 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 Current children cumulated CPU time (s) 170.73 Current children cumulated vsize (KiB) 13990244 [startup+222.307 s] /proc/loadavg: 1.33 1.59 1.76 3/214 21681 /proc/meminfo: memFree=31403588/32770624 swapFree=0/289796 [pid=21582] ppid=21579 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21582/stat : 21582 (xcsp3-exec) S 21579 21582 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9548687 9740288 345 18446744073709551615 4194304 5098028 140731928240800 140731928238904 140569950372476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38604800 140731928248731 140731928248935 140731928248935 140731928252395 0 /proc/21582/statm: 2378 345 289 221 0 87 0 [pid=21584] ppid=21582 vsize=13980732 CPUtime=232.7 cores=0,2,4,6 /proc/21584/stat : 21584 (java) S 21582 21582 5234 0 -1 1077944320 79576 0 0 0 23228 42 0 0 20 0 15 0 9548695 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140720824705360 140638112628471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 /proc/21584/statm: 3495183 58232 3232 1 0 3483484 0 [pid=21584/tid=21585] ppid=21582 vsize=13980732 CPUtime=221.43 cores=0,2,4,6 /proc/21584/task/21585/stat : 21585 (java) R 21582 21582 5234 0 -1 4202560 16413 0 0 0 22135 8 0 0 20 0 15 0 9548695 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140638116867664 140637719224467 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21586] ppid=21582 vsize=13980732 CPUtime=0.57 cores=0,2,4,6 /proc/21584/task/21586/stat : 21586 (java) S 21582 21582 5234 0 -1 1077944384 1608 0 0 0 52 5 0 0 20 0 15 0 9548696 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140638047063184 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21587] ppid=21582 vsize=13980732 CPUtime=0.58 cores=0,2,4,6 /proc/21584/task/21587/stat : 21587 (java) S 21582 21582 5234 0 -1 1077944384 1429 0 0 0 53 5 0 0 20 0 15 0 9548696 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140638046010384 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21588] ppid=21582 vsize=13980732 CPUtime=0.57 cores=0,2,4,6 /proc/21584/task/21588/stat : 21588 (java) S 21582 21582 5234 0 -1 1077944384 1718 0 0 0 53 4 0 0 20 0 15 0 9548696 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140638044957584 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21589] ppid=21582 vsize=13980732 CPUtime=0.58 cores=0,2,4,6 /proc/21584/task/21589/stat : 21589 (java) S 21582 21582 5234 0 -1 1077944384 1415 0 0 0 53 5 0 0 20 0 15 0 9548696 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140638043904784 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21590] ppid=21582 vsize=13980732 CPUtime=0.1 cores=0,2,4,6 /proc/21584/task/21590/stat : 21590 (java) S 21582 21582 5234 0 -1 1077944384 1507 0 0 0 9 1 0 0 20 0 15 0 9548697 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140637591157104 140638112639618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21591] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21591/stat : 21591 (java) S 21582 21582 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9548697 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140637590103136 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21592] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21592/stat : 21592 (java) S 21582 21582 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9548698 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140637589050240 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21593] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21593/stat : 21593 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140637587998544 140638112647067 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21594] ppid=21582 vsize=13980732 CPUtime=3.71 cores=0,2,4,6 /proc/21584/task/21594/stat : 21594 (java) S 21582 21582 5234 0 -1 1077944384 17738 0 0 0 369 2 0 0 20 0 15 0 9548700 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140637586946928 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21595] ppid=21582 vsize=13980732 CPUtime=4.19 cores=0,2,4,6 /proc/21584/task/21595/stat : 21595 (java) S 21582 21582 5234 0 -1 1077944384 27680 0 0 0 416 3 0 0 20 0 15 0 9548700 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140637585894128 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21596] ppid=21582 vsize=13980732 CPUtime=0.78 cores=0,2,4,6 /proc/21584/task/21596/stat : 21596 (java) S 21582 21582 5234 0 -1 1077944384 8264 0 0 0 76 2 0 0 20 0 15 0 9548700 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140637584841328 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21597] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21597/stat : 21597 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140637583788768 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21598] ppid=21582 vsize=13980732 CPUtime=0.08 cores=0,2,4,6 /proc/21584/task/21598/stat : 21598 (java) S 21582 21582 5234 0 -1 1077944384 452 0 0 0 4 4 0 0 20 0 15 0 9548704 14316269568 58232 18446744073709551615 4194304 4196468 140720824722816 140637582736048 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 Current children cumulated CPU time (s) 232.7 Current children cumulated vsize (KiB) 13990244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.31 1.57 1.75 3/215 21684 /proc/meminfo: memFree=31385872/32770624 swapFree=0/289816 [pid=21582] ppid=21579 vsize=9512 CPUtime=0 cores=0,2,4,6 /proc/21582/stat : 21582 (xcsp3-exec) S 21579 21582 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9548687 9740288 345 18446744073709551615 4194304 5098028 140731928240800 140731928238904 140569950372476 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 38604800 140731928248731 140731928248935 140731928248935 140731928252395 0 /proc/21582/statm: 2378 345 289 221 0 87 0 [pid=21584] ppid=21582 vsize=13980732 CPUtime=250.77 cores=0,2,4,6 /proc/21584/stat : 21584 (java) S 21582 21582 5234 0 -1 1077944320 82483 0 0 0 25031 46 0 0 20 0 15 0 9548695 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140720824705360 140638112628471 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 /proc/21584/statm: 3495183 64152 3232 1 0 3483484 0 [pid=21584/tid=21585] ppid=21582 vsize=13980732 CPUtime=239.01 cores=0,2,4,6 /proc/21584/task/21585/stat : 21585 (java) R 21582 21582 5234 0 -1 4202560 17180 0 0 0 23893 8 0 0 20 0 15 0 9548695 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140638116868176 140637720503269 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21586] ppid=21582 vsize=13980732 CPUtime=0.67 cores=0,2,4,6 /proc/21584/task/21586/stat : 21586 (java) S 21582 21582 5234 0 -1 1077944384 1687 0 0 0 61 6 0 0 20 0 15 0 9548696 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140638047063184 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21587] ppid=21582 vsize=13980732 CPUtime=0.67 cores=0,2,4,6 /proc/21584/task/21587/stat : 21587 (java) S 21582 21582 5234 0 -1 1077944384 1549 0 0 0 61 6 0 0 20 0 15 0 9548696 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140638046010384 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21588] ppid=21582 vsize=13980732 CPUtime=0.67 cores=0,2,4,6 /proc/21584/task/21588/stat : 21588 (java) S 21582 21582 5234 0 -1 1077944384 2260 0 0 0 61 6 0 0 20 0 15 0 9548696 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140638044957584 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21589] ppid=21582 vsize=13980732 CPUtime=0.68 cores=0,2,4,6 /proc/21584/task/21589/stat : 21589 (java) S 21582 21582 5234 0 -1 1077944384 1494 0 0 0 62 6 0 0 20 0 15 0 9548696 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140638043904784 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21590] ppid=21582 vsize=13980732 CPUtime=0.12 cores=0,2,4,6 /proc/21584/task/21590/stat : 21590 (java) S 21582 21582 5234 0 -1 1077944384 1767 0 0 0 11 1 0 0 20 0 15 0 9548697 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140637591157104 140638112639618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21591] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21591/stat : 21591 (java) S 21582 21582 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9548697 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140637590103136 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21592] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21592/stat : 21592 (java) S 21582 21582 5234 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9548698 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140637589050240 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21593] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21593/stat : 21593 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140637587998544 140638112647067 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21594] ppid=21582 vsize=13980732 CPUtime=3.74 cores=0,2,4,6 /proc/21584/task/21594/stat : 21594 (java) S 21582 21582 5234 0 -1 1077944384 17741 0 0 0 372 2 0 0 20 0 15 0 9548700 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140637586946928 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21595] ppid=21582 vsize=13980732 CPUtime=4.25 cores=0,2,4,6 /proc/21584/task/21595/stat : 21595 (java) S 21582 21582 5234 0 -1 1077944384 28622 0 0 0 422 3 0 0 20 0 15 0 9548700 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140637585894128 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21596] ppid=21582 vsize=13980732 CPUtime=0.78 cores=0,2,4,6 /proc/21584/task/21596/stat : 21596 (java) S 21582 21582 5234 0 -1 1077944384 8269 0 0 0 76 2 0 0 20 0 15 0 9548700 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140637584841328 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21597] ppid=21582 vsize=13980732 CPUtime=0 cores=0,2,4,6 /proc/21584/task/21597/stat : 21597 (java) S 21582 21582 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9548700 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140637583788768 140638112638677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 [pid=21584/tid=21598] ppid=21582 vsize=13980732 CPUtime=0.09 cores=0,2,4,6 /proc/21584/task/21598/stat : 21598 (java) S 21582 21582 5234 0 -1 1077944384 562 0 0 0 5 4 0 0 20 0 15 0 9548704 14316269568 64152 18446744073709551615 4194304 4196468 140720824722816 140637582736048 140638112639618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140720824725972 140720824726147 140720824726147 140720824729551 0 Current children cumulated CPU time (s) 250.77 Current children cumulated vsize (KiB) 13990244 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 21584 sig 9 ??? kill 21582 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21582 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1742 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=118 # CPU time returned by wait4() is 0.00186 # while last known CPU time is 250.77 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 240.01 CPU time (s): 250.77 CPU user time (s): 250.31 CPU system time (s): 0.46 CPU usage (%): 104.483 Max. virtual memory (cumulated for all children) (KiB): 13992028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001742 system time used= 0.000118 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.22731 second user time and 1.40617 second system time The end
Begin job on node134 at 2017-08-01 22:33:08 IDJOB=4255011 IDBENCH=126210 IDSOLVER=2637 FILE ID=node134/4255011-1501620429 RUNJOBID= node134-1501616951-11514 PBS_JOBID= Free space on /tmp= 61892 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-14-a3.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-4255011-1501620429/watcher-4255011-1501620429 -o /tmp/evaluation-result-4255011-1501620429/solver-4255011-1501620429 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11514 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1340124384 HOME/instance-4255011-1501620429.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a5381fa3d98671549d41a8d043d26ba4 RANDOM SEED=1340124384 node134.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.43 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.43 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.43 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.43 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: 31038496 kB MemAvailable: 31223436 kB Buffers: 98840 kB Cached: 367736 kB SwapCached: 0 kB Active: 1027912 kB Inactive: 296276 kB Active(anon): 859672 kB Inactive(anon): 6652 kB Active(file): 168240 kB Inactive(file): 289624 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7580 kB Writeback: 4 kB AnonPages: 856872 kB Mapped: 41992 kB Shmem: 8892 kB Slab: 111016 kB SReclaimable: 85820 kB SUnreclaim: 25196 kB KernelStack: 3504 kB PageTables: 6512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2099140 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 692224 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= 61884 MiB End job on node134 at 2017-08-01 22:37:08