Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 411 | 1931.95 | 252.119 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml |
MD5SUM | ba339ff774c3e047171b8e15446c803f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 404 |
Best CPU time to get the best result obtained on this benchmark | 254.00301 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 203 |
Number of constraints | 168 |
Number of domains | 9 |
Minimum domain size | 6 |
Maximum domain size | 500 |
Distribution of domain sizes | [{"size":6,"count":14},{"size":7,"count":84},{"size":500,"count":105}] |
Minimum variable degree | 2 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":2,"count":56},{"degree":3,"count":98},{"degree":8,"count":49}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":1,"count":7},{"arity":2,"count":49},{"arity":3,"count":49},{"arity":7,"count":14},{"arity":9,"count":49}] |
Number of extensional constraints | 49 |
Number of intensional constraints | 56 |
Distribution of constraint types | [{"type":"extension","count":49},{"type":"intension","count":56},{"type":"allDifferent","count":7},{"type":"noOverlap","count":7},{"type":"element","count":49}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281670-1503177737.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281670-1503177737.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 1.70/0.76 c solve instance... 18.78/2.98 o 499 35.36/5.07 o 498 36.06/5.11 o 497 36.06/5.18 o 489 36.70/5.20 o 488 36.70/5.21 o 487 36.70/5.21 o 486 36.70/5.21 o 485 36.70/5.22 o 484 36.70/5.22 o 483 36.70/5.22 o 482 36.70/5.24 o 479 36.70/5.26 o 477 37.49/5.39 o 472 38.15/5.41 o 471 38.15/5.42 o 465 38.92/5.53 o 464 38.92/5.54 o 463 39.45/5.60 o 462 39.45/5.61 o 461 39.45/5.62 o 460 49.44/6.99 o 459 51.02/7.20 o 458 51.79/7.37 o 450 54.92/7.78 o 449 55.86/7.96 o 448 55.86/8.00 o 447 56.66/8.24 o 446 60.03/8.83 o 445 60.03/8.84 o 444 60.76/9.07 o 443 60.76/9.08 o 442 60.76/9.09 o 441 60.76/9.10 o 440 60.76/9.10 o 439 63.89/9.76 o 438 66.66/10.16 o 437 67.35/10.23 o 436 67.35/10.27 o 435 67.35/10.27 o 434 67.35/10.27 o 433 67.35/10.28 o 432 67.35/10.28 o 431 67.35/10.28 o 430 67.35/10.28 o 429 67.35/10.29 o 428 67.35/10.29 o 427 70.65/10.72 o 426 114.76/17.03 o 425 121.73/17.90 o 421 143.44/21.06 o 420 145.73/22.06 o 419 155.92/23.60 o 418 158.25/24.00 o 417 163.84/24.70 o 416 223.58/32.27 o 415 289.44/41.05 o 414 334.94/48.49 o 413 365.39/52.32 o 412 582.37/81.31 o 411 1931.21/252.08 s SATISFIABLE 1931.21/252.08 v <instantiation> 1931.21/252.08 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] e[0] e[1] e[2] e[3] e[4] e[5] e[6] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] </list> 1931.21/252.08 v <values>3 70 174 177 229 283 325 1 64 77 89 163 186 319 0 78 124 164 242 338 407 13 82 179 254 282 336 353 2 70 124 196 249 258 350 11 65 96 166 228 258 328 2 75 102 160 249 298 323 411 411 411 401 411 411 407 62 94 3 19 51 42 86 61 13 4 61 21 90 92 75 18 35 78 86 64 4 57 95 18 27 38 1 48 64 54 50 46 6 92 61 53 5 70 61 30 40 83 65 21 57 89 49 21 84 0 4 6 2 3 1 5 5 6 2 3 0 1 4 1 0 5 4 2 6 3 4 2 6 5 3 1 0 3 5 6 2 4 0 1 6 5 1 3 0 4 2 2 1 0 5 6 4 3 3 283 177 229 70 325 174 163 186 77 89 319 1 64 78 0 242 407 164 124 338 353 336 82 282 13 254 179 258 350 196 2 249 70 124 228 96 328 166 258 65 11 102 75 2 323 298 160 249 </values> 1931.21/252.08 v </instantiation> 1931.21/252.08 c Unexpected resolution interruption!
OK 411
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 (13001 MiB free) memory of node 1: 16384 MiB (13419 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281670-1503177737/watcher-4281670-1503177737 -o /tmp/evaluation-result-4281670-1503177737/solver-4281670-1503177737 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503167371-25544 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1802501123 HOME/instance-4281670-1503177737.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=27326, runsolver pid=27323 Current StackSize limit: 8192 KiB [startup+0.100164 s]* /proc/loadavg: 7.50 7.66 7.53 3/199 27347 /proc/meminfo: memFree=27040264/32770624 swapFree=67108860/67108860 [pid=27326] ppid=27323 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27326/stat : 27326 (xcsp3-exec) S 27323 27326 25517 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150861655 9740288 346 33554432000 4194304 5098028 140734846772752 140734846770856 139685667029628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23212032 140734846776426 140734846776636 140734846776636 140734846779371 0 /proc/27326/statm: 2378 346 289 221 0 87 0 [pid=27328] ppid=27326 vsize=25999808 memory=26736 CPUtime=0.11 cores=0-7 /proc/27328/stat : 27328 (java) S 27326 27326 25517 0 -1 1077944320 5483 0 0 0 11 0 0 0 20 0 20 0 150861655 26623803392 6684 33554432000 4194304 4196468 140725674417216 140725674399760 140379846692599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 /proc/27328/statm: 6499952 6684 2899 1 0 6488269 0 [pid=27328/tid=27329] ppid=27326 vsize=25999808 memory=7898077279151890841 CPUtime=0.08 cores=0-7 /proc/27328/task/27329/stat : 27329 (java) R 27326 27326 25517 0 -1 4202560 3484 0 0 0 8 0 0 0 20 0 20 0 150861655 26623803392 6684 33554432000 4194304 4196468 140725674417216 140379850925872 140379846704534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27330] ppid=27326 vsize=25999808 memory=732370725098662885 CPUtime=0 cores=0-7 /proc/27328/task/27330/stat : 27330 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26623803392 6684 33554432000 4194304 4196468 140725674417216 140379799313552 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27331] ppid=27326 vsize=25999808 memory=140586761209472 CPUtime=0 cores=0-7 /proc/27328/task/27331/stat : 27331 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26623803392 6684 33554432000 4194304 4196468 140725674417216 140379404237840 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27332] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27332/stat : 27332 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150861656 26623803392 6684 33554432000 4194304 4196468 140725674417216 140379403185040 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27333] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27333/stat : 27333 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150861656 26623803392 6684 33554432000 4194304 4196468 140725674417216 140379402132240 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27334] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27334/stat : 27334 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26623803392 6684 33554432000 4194304 4196468 140725674417216 140379401079440 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27335] ppid=27326 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/27328/task/27335/stat : 27335 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26623803392 6684 33554432000 4194304 4196468 140725674417216 140379400026640 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27336] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27336/stat : 27336 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150861656 26623803392 6684 33554432000 4194304 4196468 140725674417216 140379398973840 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27337] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27337/stat : 27337 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150861656 26623803392 6684 33554432000 4194304 4196468 140725674417216 140379397921040 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27338] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27338/stat : 27338 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861658 26623803392 6684 33554432000 4194304 4196468 140725674417216 140378520931184 140379846703746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27339] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27339/stat : 27339 (java) S 27326 27326 25517 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150861658 26623803392 6684 33554432000 4194304 4196468 140725674417216 140378519877152 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27340] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27340/stat : 27340 (java) S 27326 27326 25517 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150861658 26623803392 6684 33554432000 4194304 4196468 140725674417216 140378518824304 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27341] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27341/stat : 27341 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150861661 26623803392 6684 33554432000 4194304 4196468 140725674417216 140378517772624 140379846711195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27342] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27342/stat : 27342 (java) S 27326 27326 25517 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 150861661 26623803392 6684 33554432000 4194304 4196468 140725674417216 140378516719984 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27343] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27343/stat : 27343 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150861661 26623803392 6684 33554432000 4194304 4196468 140725674417216 140378515667184 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27344] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27344/stat : 27344 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150861661 26623803392 6684 33554432000 4194304 4196468 140725674417216 140378514614384 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27345] ppid=27326 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/27328/task/27345/stat : 27345 (java) R 27326 27326 25517 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 20 0 150861661 26623803392 6684 33554432000 4194304 4196468 140725674417216 140378513561584 140379824808506 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27346] ppid=27326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27346/stat : 27346 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150861661 26623803392 6684 33554432000 4194304 4196468 140725674417216 140378512510048 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27347] ppid=27326 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/27328/task/27347/stat : 27347 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150861661 26623803392 6684 33554432000 4194304 4196468 140725674417216 140378511457328 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28120 KiB [startup+0.210105 s]* /proc/loadavg: 7.22 7.60 7.51 4/199 27347 /proc/meminfo: memFree=27028812/32770624 swapFree=67108860/67108860 [pid=27326] ppid=27323 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27326/stat : 27326 (xcsp3-exec) S 27323 27326 25517 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150861655 9740288 346 33554432000 4194304 5098028 140734846772752 140734846770856 139685667029628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23212032 140734846776426 140734846776636 140734846776636 140734846779371 0 /proc/27326/statm: 2378 346 289 221 0 87 0 [pid=27328] ppid=27326 vsize=26004064 memory=39100 CPUtime=0.33 cores=0-7 /proc/27328/stat : 27328 (java) S 27326 27326 25517 0 -1 1077944320 8337 0 0 0 31 2 0 0 20 0 20 0 150861655 26628161536 9775 33554432000 4194304 4196468 140725674417216 140725674399760 140379846692599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 /proc/27328/statm: 6501016 9775 3041 1 0 6488269 0 [pid=27328/tid=27329] ppid=27326 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/27328/task/27329/stat : 27329 (java) R 27326 27326 25517 0 -1 4202560 5389 0 0 0 18 1 0 0 20 0 20 0 150861655 26628161536 9775 33554432000 4194304 4196468 140725674417216 140379850914720 140379839370613 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27330] ppid=27326 vsize=26004064 memory=732370725098662885 CPUtime=0 cores=0-7 /proc/27328/task/27330/stat : 27330 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 9775 33554432000 4194304 4196468 140725674417216 140379799313552 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27331] ppid=27326 vsize=26004064 memory=140586761209472 CPUtime=0 cores=0-7 /proc/27328/task/27331/stat : 27331 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 9775 33554432000 4194304 4196468 140725674417216 140379404237840 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27332] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27332/stat : 27332 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 9775 33554432000 4194304 4196468 140725674417216 140379403185040 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27333] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27333/stat : 27333 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 9775 33554432000 4194304 4196468 140725674417216 140379402132240 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27334] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27334/stat : 27334 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 9775 33554432000 4194304 4196468 140725674417216 140379401079440 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27335] ppid=27326 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27328/task/27335/stat : 27335 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 9775 33554432000 4194304 4196468 140725674417216 140379400026640 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27336] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27336/stat : 27336 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 9775 33554432000 4194304 4196468 140725674417216 140379398973840 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27337] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27337/stat : 27337 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 9775 33554432000 4194304 4196468 140725674417216 140379397921040 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27338] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27338/stat : 27338 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861658 26628161536 9775 33554432000 4194304 4196468 140725674417216 140378520931184 140379846703746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27339] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27339/stat : 27339 (java) S 27326 27326 25517 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150861658 26628161536 9775 33554432000 4194304 4196468 140725674417216 140378519877152 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27340] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27340/stat : 27340 (java) S 27326 27326 25517 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150861658 26628161536 9775 33554432000 4194304 4196468 140725674417216 140378518824304 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27341] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27341/stat : 27341 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150861661 26628161536 9775 33554432000 4194304 4196468 140725674417216 140378517772624 140379846711195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27342] ppid=27326 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/27328/task/27342/stat : 27342 (java) S 27326 27326 25517 0 -1 1077944384 508 0 0 0 1 0 0 0 20 0 20 0 150861661 26628161536 9775 33554432000 4194304 4196468 140725674417216 140378516719984 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27343] ppid=27326 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/27328/task/27343/stat : 27343 (java) S 27326 27326 25517 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 150861661 26628161536 9775 33554432000 4194304 4196468 140725674417216 140378515667184 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27344] ppid=27326 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/27328/task/27344/stat : 27344 (java) S 27326 27326 25517 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 20 0 150861661 26628161536 9775 33554432000 4194304 4196468 140725674417216 140378514614384 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27345] ppid=27326 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/27328/task/27345/stat : 27345 (java) R 27326 27326 25517 0 -1 1077944384 763 0 0 0 7 0 0 0 20 0 20 0 150861661 26628161536 9775 33554432000 4194304 4196468 140725674417216 140378513561584 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27346] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27346/stat : 27346 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150861661 26628161536 9775 33554432000 4194304 4196468 140725674417216 140378512510048 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27347] ppid=27326 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27328/task/27347/stat : 27347 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150861661 26628161536 9775 33554432000 4194304 4196468 140725674417216 140378511457328 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40484 KiB [startup+0.309269 s]* /proc/loadavg: 7.22 7.60 7.51 3/199 27347 /proc/meminfo: memFree=27024780/32770624 swapFree=67108860/67108860 [pid=27326] ppid=27323 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27326/stat : 27326 (xcsp3-exec) S 27323 27326 25517 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150861655 9740288 346 33554432000 4194304 5098028 140734846772752 140734846770856 139685667029628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23212032 140734846776426 140734846776636 140734846776636 140734846779371 0 /proc/27326/statm: 2378 346 289 221 0 87 0 [pid=27328] ppid=27326 vsize=26004064 memory=45796 CPUtime=0.51 cores=0-7 /proc/27328/stat : 27328 (java) S 27326 27326 25517 0 -1 1077944320 9213 0 0 0 48 3 0 0 20 0 20 0 150861655 26628161536 11449 33554432000 4194304 4196468 140725674417216 140725674399760 140379846692599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 /proc/27328/statm: 6501016 11449 3069 1 0 6488269 0 [pid=27328/tid=27329] ppid=27326 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/27328/task/27329/stat : 27329 (java) R 27326 27326 25517 0 -1 4202560 6084 0 0 0 27 2 0 0 20 0 20 0 150861655 26628161536 11515 33554432000 4194304 4196468 140725674417216 140379850931936 140379830773086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27330] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27330/stat : 27330 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 11515 33554432000 4194304 4196468 140725674417216 140379799313552 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27331] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27331/stat : 27331 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 11515 33554432000 4194304 4196468 140725674417216 140379404237840 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27332] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27332/stat : 27332 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 11515 33554432000 4194304 4196468 140725674417216 140379403185040 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27333] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27333/stat : 27333 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 11515 33554432000 4194304 4196468 140725674417216 140379402132240 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27334] ppid=27326 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/27328/task/27334/stat : 27334 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 11515 33554432000 4194304 4196468 140725674417216 140379401079440 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27335] ppid=27326 vsize=26004064 memory=140586627724207 CPUtime=0 cores=0-7 /proc/27328/task/27335/stat : 27335 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 11515 33554432000 4194304 4196468 140725674417216 140379400026640 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27336] ppid=27326 vsize=26004064 memory=140586627726512 CPUtime=0 cores=0-7 /proc/27328/task/27336/stat : 27336 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 11515 33554432000 4194304 4196468 140725674417216 140379398973840 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27337] ppid=27326 vsize=26004064 memory=140586627728816 CPUtime=0 cores=0-7 /proc/27328/task/27337/stat : 27337 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150861656 26628161536 11515 33554432000 4194304 4196468 140725674417216 140379397921040 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27338] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27338/stat : 27338 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861658 26628161536 11515 33554432000 4194304 4196468 140725674417216 140378520931184 140379846703746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27339] ppid=27326 vsize=26004064 memory=281173255464592 CPUtime=0 cores=0-7 /proc/27328/task/27339/stat : 27339 (java) S 27326 27326 25517 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150861658 26628161536 11515 33554432000 4194304 4196468 140725674417216 140378519877152 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27340] ppid=27326 vsize=26004064 memory=281173255471504 CPUtime=0 cores=0-7 /proc/27328/task/27340/stat : 27340 (java) S 27326 27326 25517 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150861658 26628161536 11515 33554432000 4194304 4196468 140725674417216 140378518824304 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27341] ppid=27326 vsize=26004064 memory=281173255412784 CPUtime=0 cores=0-7 /proc/27328/task/27341/stat : 27341 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150861661 26628161536 11515 33554432000 4194304 4196468 140725674417216 140378517772624 140379846711195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27342] ppid=27326 vsize=26004064 memory=281173255485328 CPUtime=0.02 cores=0-7 /proc/27328/task/27342/stat : 27342 (java) S 27326 27326 25517 0 -1 1077944384 508 0 0 0 2 0 0 0 20 0 20 0 150861661 26628161536 11515 33554432000 4194304 4196468 140725674417216 140378516719984 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27343] ppid=27326 vsize=26004064 memory=281173255492240 CPUtime=0.02 cores=0-7 /proc/27328/task/27343/stat : 27343 (java) S 27326 27326 25517 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 150861661 26628161536 11515 33554432000 4194304 4196468 140725674417216 140378515667184 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27344] ppid=27326 vsize=26004064 memory=281173255489936 CPUtime=0.03 cores=0-7 /proc/27328/task/27344/stat : 27344 (java) S 27326 27326 25517 0 -1 1077944384 339 0 0 0 3 0 0 0 20 0 20 0 150861661 26628161536 11515 33554432000 4194304 4196468 140725674417216 140378514614384 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27345] ppid=27326 vsize=26004064 memory=281173255506096 CPUtime=0.12 cores=0-7 /proc/27328/task/27345/stat : 27345 (java) R 27326 27326 25517 0 -1 4202560 859 0 0 0 12 0 0 0 20 0 20 0 150861661 26628161536 11515 33554432000 4194304 4196468 140725674417216 140378513558520 140379825464647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27346] ppid=27326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27328/task/27346/stat : 27346 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150861661 26628161536 11515 33554432000 4194304 4196468 140725674417216 140378512510048 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27347] ppid=27326 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27328/task/27347/stat : 27347 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150861661 26628161536 11515 33554432000 4194304 4196468 140725674417216 140378511457328 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47180 KiB [startup+0.700909 s] /proc/loadavg: 7.22 7.60 7.51 4/199 27347 /proc/meminfo: memFree=27007536/32770624 swapFree=67108860/67108860 [pid=27326] ppid=27323 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27326/stat : 27326 (xcsp3-exec) S 27323 27326 25517 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150861655 9740288 346 33554432000 4194304 5098028 140734846772752 140734846770856 139685667029628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23212032 140734846776426 140734846776636 140734846776636 140734846779371 0 /proc/27326/statm: 2378 346 289 221 0 87 0 [pid=27328] ppid=27326 vsize=26006188 memory=86784 CPUtime=1.7 cores=0-7 /proc/27328/stat : 27328 (java) S 27326 27326 25517 0 -1 1077944320 13375 0 0 0 165 5 0 0 20 0 20 0 150861655 26630336512 21696 33554432000 4194304 4196468 140725674417216 140725674399760 140379846692599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 /proc/27328/statm: 6501547 21696 3201 1 0 6488781 0 [pid=27328/tid=27329] ppid=27326 vsize=26006188 memory=281173255801024 CPUtime=0.67 cores=0-7 /proc/27328/task/27329/stat : 27329 (java) R 27326 27326 25517 0 -1 4202560 6980 0 0 0 64 3 0 0 20 0 20 0 150861655 26630336512 21696 33554432000 4194304 4196468 140725674417216 140379850927376 140379481932289 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27330] ppid=27326 vsize=26006188 memory=1420 CPUtime=0 cores=0-7 /proc/27328/task/27330/stat : 27330 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26630336512 21696 33554432000 4194304 4196468 140725674417216 140379799313552 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27331] ppid=27326 vsize=26006188 memory=11108 CPUtime=0 cores=0-7 /proc/27328/task/27331/stat : 27331 (java) S 27326 27326 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150861656 26630336512 21696 33554432000 4194304 4196468 140725674417216 140379404237840 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27332] ppid=27326 vsize=26006188 memory=1712 CPUtime=0 cores=0-7 /proc/27328/task/27332/stat : 27332 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150861656 26630336512 21696 33554432000 4194304 4196468 140725674417216 140379403185040 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 ################ # More data... # ################ [pid=27328/tid=27836] ppid=27326 vsize=26607312 memory=1292 CPUtime=79.86 cores=0-7 /proc/27328/task/27836/stat : 27836 (java) R 27326 27326 25517 0 -1 4202560 4201 0 0 0 7984 2 0 0 20 0 28 0 150869786 27245887488 184707 33554432000 4194304 4196468 140725674417216 140378501840096 140379480480159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 Current children cumulated CPU time: 1224.35 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 740212 KiB [startup+222.302 s] /proc/loadavg: 8.26 7.89 7.64 9/208 27843 /proc/meminfo: memFree=26272356/32770624 swapFree=67108860/67108860 [pid=27326] ppid=27323 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27326/stat : 27326 (xcsp3-exec) S 27323 27326 25517 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150861655 9740288 346 33554432000 4194304 5098028 140734846772752 140734846770856 139685667029628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23212032 140734846776426 140734846776636 140734846776636 140734846779371 0 /proc/27326/statm: 2378 346 289 221 0 87 0 [pid=27328] ppid=27326 vsize=26607312 memory=799096 CPUtime=1696.7 cores=0-7 /proc/27328/stat : 27328 (java) S 27326 27326 25517 0 -1 1077944320 184959 0 0 0 169433 237 0 0 20 0 28 0 150861655 27245887488 199774 33554432000 4194304 4196468 140725674417216 140725674399760 140379846692599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 /proc/27328/statm: 6651828 199774 3280 1 0 6639062 0 [pid=27328/tid=27329] ppid=27326 vsize=26607312 memory=767620 CPUtime=0.78 cores=0-7 /proc/27328/task/27329/stat : 27329 (java) S 27326 27326 25517 0 -1 1077944384 8751 0 0 0 74 4 0 0 20 0 28 0 150861655 27245887488 199774 33554432000 4194304 4196468 140725674417216 140379850933376 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27330] ppid=27326 vsize=26607312 memory=1384 CPUtime=0.38 cores=0-7 /proc/27328/task/27330/stat : 27330 (java) S 27326 27326 25517 0 -1 1077944384 3462 0 0 0 28 10 0 0 20 0 28 0 150861656 27245887488 199774 33554432000 4194304 4196468 140725674417216 140379799313552 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27331] ppid=27326 vsize=26607312 memory=788588 CPUtime=0.38 cores=0-7 /proc/27328/task/27331/stat : 27331 (java) S 27326 27326 25517 0 -1 1077944384 4874 0 0 0 29 9 0 0 20 0 28 0 150861656 27245887488 199774 33554432000 4194304 4196468 140725674417216 140379404237840 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27332] ppid=27326 vsize=26607312 memory=796780 CPUtime=0.39 cores=0-7 /proc/27328/task/27332/stat : 27332 (java) S 27326 27326 25517 0 -1 1077944384 2812 0 0 0 28 11 0 0 20 0 28 0 150861656 27245887488 199774 33554432000 4194304 4196468 140725674417216 140379403185040 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27333] ppid=27326 vsize=26607312 memory=0 CPUtime=0.4 cores=0-7 /proc/27328/task/27333/stat : 27333 (java) S 27326 27326 25517 0 -1 1077944384 3746 0 0 0 28 12 0 0 20 0 28 0 150861656 27245887488 199774 33554432000 4194304 4196468 140725674417216 140379402132240 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27334] ppid=27326 vsize=26607312 memory=799096 CPUtime=0.38 cores=0-7 /proc/27328/task/27334/stat : 27334 (java) S 27326 27326 25517 0 -1 1077944384 4048 0 0 0 27 11 0 0 20 0 28 0 150861656 27245887488 199774 33554432000 4194304 4196468 140725674417216 140379401079440 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27335] ppid=27326 vsize=26607312 memory=1384 CPUtime=0.39 cores=0-7 /proc/27328/task/27335/stat : 27335 (java) S 27326 27326 25517 0 -1 1077944384 2870 0 0 0 28 11 0 0 20 0 28 0 150861656 27245887488 199774 33554432000 4194304 4196468 140725674417216 140379400026640 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27336] ppid=27326 vsize=26607312 memory=180 CPUtime=0.37 cores=0-7 /proc/27328/task/27336/stat : 27336 (java) S 27326 27326 25517 0 -1 1077944384 3411 0 0 0 26 11 0 0 20 0 28 0 150861656 27245887488 199774 33554432000 4194304 4196468 140725674417216 140379398973840 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27337] ppid=27326 vsize=26607312 memory=164 CPUtime=0.39 cores=0-7 /proc/27328/task/27337/stat : 27337 (java) S 27326 27326 25517 0 -1 1077944384 4023 0 0 0 28 11 0 0 20 0 28 0 150861656 27245887488 199774 33554432000 4194304 4196468 140725674417216 140379397921040 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27338] ppid=27326 vsize=26607312 memory=4140 CPUtime=1.22 cores=0-7 /proc/27328/task/27338/stat : 27338 (java) S 27326 27326 25517 0 -1 1077944384 13862 0 0 0 56 66 0 0 20 0 28 0 150861658 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378520931184 140379846703746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27339] ppid=27326 vsize=26607312 memory=794732 CPUtime=0 cores=0-7 /proc/27328/task/27339/stat : 27339 (java) S 27326 27326 25517 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 150861658 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378519877152 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27340] ppid=27326 vsize=26607312 memory=4140 CPUtime=0 cores=0-7 /proc/27328/task/27340/stat : 27340 (java) S 27326 27326 25517 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 150861658 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378518824320 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27341] ppid=27326 vsize=26607312 memory=788588 CPUtime=0 cores=0-7 /proc/27328/task/27341/stat : 27341 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150861661 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378517772624 140379846711195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27342] ppid=27326 vsize=26607312 memory=4140 CPUtime=3.36 cores=0-7 /proc/27328/task/27342/stat : 27342 (java) S 27326 27326 25517 0 -1 1077944384 17521 0 0 0 331 5 0 0 20 0 28 0 150861661 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378516719984 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27343] ppid=27326 vsize=26607312 memory=1384 CPUtime=3.37 cores=0-7 /proc/27328/task/27343/stat : 27343 (java) S 27326 27326 25517 0 -1 1077944384 17933 0 0 0 332 5 0 0 20 0 28 0 150861661 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378515667184 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27344] ppid=27326 vsize=26607312 memory=792684 CPUtime=3.16 cores=0-7 /proc/27328/task/27344/stat : 27344 (java) S 27326 27326 25517 0 -1 1077944384 16757 0 0 0 311 5 0 0 20 0 28 0 150861661 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378514614384 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27345] ppid=27326 vsize=26607312 memory=1692 CPUtime=0.94 cores=0-7 /proc/27328/task/27345/stat : 27345 (java) S 27326 27326 25517 0 -1 1077944384 11722 0 0 0 93 1 0 0 20 0 28 0 150861661 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378513561584 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27346] ppid=27326 vsize=26607312 memory=916 CPUtime=0 cores=0-7 /proc/27328/task/27346/stat : 27346 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150861661 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378512510048 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27347] ppid=27326 vsize=26607312 memory=1384 CPUtime=0.06 cores=0-7 /proc/27328/task/27347/stat : 27347 (java) S 27326 27326 25517 0 -1 1077944384 1657 0 0 0 3 3 0 0 20 0 28 0 150861661 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378511457328 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27828] ppid=27326 vsize=26607312 memory=1384 CPUtime=139.02 cores=0-7 /proc/27328/task/27828/stat : 27828 (java) R 27326 27326 25517 0 -1 4202560 3261 0 0 0 13901 1 0 0 20 0 28 0 150869786 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378498682040 140379488961930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27829] ppid=27326 vsize=26607312 memory=790636 CPUtime=138.96 cores=0-7 /proc/27328/task/27829/stat : 27829 (java) R 27326 27326 25517 0 -1 4202560 2863 0 0 0 13895 1 0 0 20 0 28 0 150869786 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378497626936 140379487046027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27831] ppid=27326 vsize=26607312 memory=4140 CPUtime=138.93 cores=0-7 /proc/27328/task/27831/stat : 27831 (java) R 27326 27326 25517 0 -1 4202560 2926 0 0 0 13891 2 0 0 20 0 28 0 150869786 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378493427912 140379831064904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27832] ppid=27326 vsize=26607312 memory=41900 CPUtime=138.68 cores=0-7 /proc/27328/task/27832/stat : 27832 (java) R 27326 27326 25517 0 -1 4202560 1369 0 0 0 13867 1 0 0 20 0 28 0 150869786 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378502889216 140379490863520 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27833] ppid=27326 vsize=26607312 memory=1292 CPUtime=138.82 cores=0-7 /proc/27328/task/27833/stat : 27833 (java) R 27326 27326 25517 0 -1 4202560 6046 0 0 0 13878 4 0 0 20 0 28 0 150869786 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378496573880 140379486484093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27834] ppid=27326 vsize=26607312 memory=41900 CPUtime=138.99 cores=0-7 /proc/27328/task/27834/stat : 27834 (java) R 27326 27326 25517 0 -1 4202560 2619 0 0 0 13897 2 0 0 20 0 28 0 150869786 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378503945896 140379488764941 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27835] ppid=27326 vsize=26607312 memory=1292 CPUtime=138.71 cores=0-7 /proc/27328/task/27835/stat : 27835 (java) R 27326 27326 25517 0 -1 4202560 2689 0 0 0 13870 1 0 0 20 0 28 0 150869786 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378500787360 140379485399629 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27836] ppid=27326 vsize=26607312 memory=2428 CPUtime=138.48 cores=0-7 /proc/27328/task/27836/stat : 27836 (java) R 27326 27326 25517 0 -1 4202560 6186 0 0 0 13845 3 0 0 20 0 28 0 150869786 27245887488 199774 33554432000 4194304 4196468 140725674417216 140378501837352 140379488764090 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 Current children cumulated CPU time: 1696.7 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 800480 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.42 7.96 7.67 9/208 27843 /proc/meminfo: memFree=26247572/32770624 swapFree=67108860/67108860 [pid=27326] ppid=27323 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27326/stat : 27326 (xcsp3-exec) S 27323 27326 25517 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150861655 9740288 346 33554432000 4194304 5098028 140734846772752 140734846770856 139685667029628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23212032 140734846776426 140734846776636 140734846776636 140734846779371 0 /proc/27326/statm: 2378 346 289 221 0 87 0 [pid=27328] ppid=27326 vsize=26607312 memory=823872 CPUtime=1931.21 cores=0-7 /proc/27328/stat : 27328 (java) S 27326 27326 25517 0 -1 1077944320 200655 0 0 0 192860 261 0 0 20 0 28 0 150861655 27245887488 205968 33554432000 4194304 4196468 140725674417216 140725674399760 140379846692599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 /proc/27328/statm: 6651828 205968 3280 1 0 6639062 0 [pid=27328/tid=27329] ppid=27326 vsize=26607312 memory=6791534058613427641 CPUtime=0.78 cores=0-7 /proc/27328/task/27329/stat : 27329 (java) S 27326 27326 25517 0 -1 1077944384 8751 0 0 0 74 4 0 0 20 0 28 0 150861655 27245887488 205968 33554432000 4194304 4196468 140725674417216 140379850933376 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27330] ppid=27326 vsize=26607312 memory=4126316290023845779 CPUtime=0.45 cores=0-7 /proc/27328/task/27330/stat : 27330 (java) S 27326 27326 25517 0 -1 1077944384 3955 0 0 0 34 11 0 0 20 0 28 0 150861656 27245887488 205968 33554432000 4194304 4196468 140725674417216 140379799313552 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27331] ppid=27326 vsize=26607312 memory=2424 CPUtime=0.45 cores=0-7 /proc/27328/task/27331/stat : 27331 (java) S 27326 27326 25517 0 -1 1077944384 5408 0 0 0 35 10 0 0 20 0 28 0 150861656 27245887488 205968 33554432000 4194304 4196468 140725674417216 140379404237840 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27332] ppid=27326 vsize=26607312 memory=1236 CPUtime=0.45 cores=0-7 /proc/27328/task/27332/stat : 27332 (java) S 27326 27326 25517 0 -1 1077944384 3423 0 0 0 33 12 0 0 20 0 28 0 150861656 27245887488 205968 33554432000 4194304 4196468 140725674417216 140379403185040 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27333] ppid=27326 vsize=26607312 memory=2240 CPUtime=0.45 cores=0-7 /proc/27328/task/27333/stat : 27333 (java) S 27326 27326 25517 0 -1 1077944384 4378 0 0 0 33 12 0 0 20 0 28 0 150861656 27245887488 205968 33554432000 4194304 4196468 140725674417216 140379402132240 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27334] ppid=27326 vsize=26607312 memory=4128 CPUtime=0.45 cores=0-7 /proc/27328/task/27334/stat : 27334 (java) S 27326 27326 25517 0 -1 1077944384 4775 0 0 0 33 12 0 0 20 0 28 0 150861656 27245887488 205968 33554432000 4194304 4196468 140725674417216 140379401079440 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27335] ppid=27326 vsize=26607312 memory=1572 CPUtime=0.46 cores=0-7 /proc/27328/task/27335/stat : 27335 (java) S 27326 27326 25517 0 -1 1077944384 3483 0 0 0 34 12 0 0 20 0 28 0 150861656 27245887488 205968 33554432000 4194304 4196468 140725674417216 140379400026640 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27336] ppid=27326 vsize=26607312 memory=932 CPUtime=0.43 cores=0-7 /proc/27328/task/27336/stat : 27336 (java) S 27326 27326 25517 0 -1 1077944384 4488 0 0 0 31 12 0 0 20 0 28 0 150861656 27245887488 205968 33554432000 4194304 4196468 140725674417216 140379398973840 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27337] ppid=27326 vsize=26607312 memory=288230574492221466 CPUtime=0.45 cores=0-7 /proc/27328/task/27337/stat : 27337 (java) S 27326 27326 25517 0 -1 1077944384 4540 0 0 0 33 12 0 0 20 0 28 0 150861656 27245887488 205968 33554432000 4194304 4196468 140725674417216 140379397921040 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27338] ppid=27326 vsize=26607312 memory=288230621803970871 CPUtime=1.49 cores=0-7 /proc/27328/task/27338/stat : 27338 (java) S 27326 27326 25517 0 -1 1077944384 16323 0 0 0 68 81 0 0 20 0 28 0 150861658 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378520931184 140379846703746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27339] ppid=27326 vsize=26607312 memory=15541808151136815 CPUtime=0 cores=0-7 /proc/27328/task/27339/stat : 27339 (java) S 27326 27326 25517 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 150861658 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378519877152 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27340] ppid=27326 vsize=26607312 memory=1728 CPUtime=0 cores=0-7 /proc/27328/task/27340/stat : 27340 (java) S 27326 27326 25517 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 150861658 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378518824320 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27341] ppid=27326 vsize=26607312 memory=1420 CPUtime=0 cores=0-7 /proc/27328/task/27341/stat : 27341 (java) S 27326 27326 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150861661 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378517772624 140379846711195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27342] ppid=27326 vsize=26607312 memory=11108 CPUtime=3.36 cores=0-7 /proc/27328/task/27342/stat : 27342 (java) S 27326 27326 25517 0 -1 1077944384 17527 0 0 0 331 5 0 0 20 0 28 0 150861661 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378516719984 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27343] ppid=27326 vsize=26607312 memory=1712 CPUtime=3.37 cores=0-7 /proc/27328/task/27343/stat : 27343 (java) S 27326 27326 25517 0 -1 1077944384 17939 0 0 0 332 5 0 0 20 0 28 0 150861661 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378515667184 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27344] ppid=27326 vsize=26607312 memory=1952 CPUtime=3.16 cores=0-7 /proc/27328/task/27344/stat : 27344 (java) S 27326 27326 25517 0 -1 1077944384 16766 0 0 0 311 5 0 0 20 0 28 0 150861661 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378514614384 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27345] ppid=27326 vsize=26607312 memory=8612 CPUtime=0.94 cores=0-7 /proc/27328/task/27345/stat : 27345 (java) S 27326 27326 25517 0 -1 1077944384 11728 0 0 0 93 1 0 0 20 0 28 0 150861661 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378513561584 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27346] ppid=27326 vsize=26607312 memory=1224 CPUtime=0 cores=0-7 /proc/27328/task/27346/stat : 27346 (java) S 27326 27326 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150861661 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378512510048 140379846702805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27347] ppid=27326 vsize=26607312 memory=1420 CPUtime=0.06 cores=0-7 /proc/27328/task/27347/stat : 27347 (java) S 27326 27326 25517 0 -1 1077944384 1775 0 0 0 3 3 0 0 20 0 28 0 150861661 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378511457328 140379846703746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27828] ppid=27326 vsize=26607312 memory=11108 CPUtime=168.25 cores=0-7 /proc/27328/task/27828/stat : 27828 (java) R 27326 27326 25517 0 -1 4202560 4228 0 0 0 16824 1 0 0 20 0 28 0 150869786 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378498678464 140379479680805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27829] ppid=27326 vsize=26607312 memory=1712 CPUtime=168.23 cores=0-7 /proc/27328/task/27829/stat : 27829 (java) R 27326 27326 25517 0 -1 4202560 3749 0 0 0 16822 1 0 0 20 0 28 0 150869786 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378497626280 140379489928967 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27831] ppid=27326 vsize=26607312 memory=1952 CPUtime=168.14 cores=0-7 /proc/27328/task/27831/stat : 27831 (java) R 27326 27326 25517 0 -1 4202560 3628 0 0 0 16812 2 0 0 20 0 28 0 150869786 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378493424176 140379485398960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27832] ppid=27326 vsize=26607312 memory=8612 CPUtime=167.88 cores=0-7 /proc/27328/task/27832/stat : 27832 (java) R 27326 27326 25517 0 -1 4202560 1994 0 0 0 16786 2 0 0 20 0 28 0 150869786 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378502889216 140379490863197 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27833] ppid=27326 vsize=26607312 memory=1224 CPUtime=167.91 cores=0-7 /proc/27328/task/27833/stat : 27833 (java) R 27326 27326 25517 0 -1 4202560 7643 0 0 0 16786 5 0 0 20 0 28 0 150869786 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378496573384 140379487416340 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27834] ppid=27326 vsize=26607312 memory=792 CPUtime=168.31 cores=0-7 /proc/27328/task/27834/stat : 27834 (java) R 27326 27326 25517 0 -1 4202560 3449 0 0 0 16829 2 0 0 20 0 28 0 150869786 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378503941944 140379485399091 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27835] ppid=27326 vsize=26607312 memory=1004 CPUtime=167.97 cores=0-7 /proc/27328/task/27835/stat : 27835 (java) R 27326 27326 25517 0 -1 4202560 3508 0 0 0 16796 1 0 0 20 0 28 0 150869786 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378500787360 140379831903214 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 [pid=27328/tid=27836] ppid=27326 vsize=26607312 memory=5788 CPUtime=167.63 cores=0-7 /proc/27328/task/27836/stat : 27836 (java) R 27326 27326 25517 0 -1 4202560 7646 0 0 0 16759 4 0 0 20 0 28 0 150869786 27245887488 205968 33554432000 4194304 4196468 140725674417216 140378501836808 140379489928018 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 15876096 140725674423448 140725674423624 140725674423624 140725674426319 0 Current children cumulated CPU time: 1931.21 s Current children cumulated vsize: 26616824 KiB Current children cumulated memory: 825256 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.044 s] # the end of solver process 27326 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.002022 s [startup+252.119 s] # the end of solver process 27328 was just reported to runsolver # cumulated CPU time of all completed processes: user=1929.31 s, system=2.641 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.119 CPU time (s): 1931.95 CPU user time (s): 1929.31 CPU system time (s): 2.641 CPU usage (%): 766.285 Max. virtual memory (cumulated for all children) (KiB): 26616824 Max. memory (cumulated for all children) (KiB): 825256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1929.31 system time used= 2.641 maximum resident set size= 824488 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 202785 page faults= 0 swaps= 0 block input operations= 0 block output operations= 624 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38270 involuntary context switches= 21862 # summary of solver processes directly reported to runsolver: # pid: 27326,27328 # total CPU time (s): 1931.95 # total CPU user time (s): 1929.31 # total CPU system time (s): 2.641 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.39335 second user time and 2.68276 second system time The end
Begin job on node107 at 2017-08-19 23:07:57 IDJOB=4281670 IDBENCH=115855 IDSOLVER=2676 FILE ID=node107/4281670-1503177737 RUNJOBID= node107-1503167371-25544 PBS_JOBID= 20630834 Free space on /tmp= 61868 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-9.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281670-1503177737/watcher-4281670-1503177737 -o /tmp/evaluation-result-4281670-1503177737/solver-4281670-1503177737 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503167371-25544 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1802501123 HOME/instance-4281670-1503177737.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ba339ff774c3e047171b8e15446c803f RANDOM SEED=1802501123 node107.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.84 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.84 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.84 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.84 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: 27055832 kB MemAvailable: 31976120 kB Buffers: 267928 kB Cached: 4946104 kB SwapCached: 0 kB Active: 836756 kB Inactive: 4431116 kB Active(anon): 56816 kB Inactive(anon): 33132 kB Active(file): 779940 kB Inactive(file): 4397984 kB Unevictable: 7640 kB Mlocked: 7640 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7848 kB Writeback: 0 kB AnonPages: 64208 kB Mapped: 50968 kB Shmem: 33420 kB Slab: 142292 kB SReclaimable: 116400 kB SUnreclaim: 25892 kB KernelStack: 3488 kB PageTables: 5140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333752 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61860 MiB End job on node107 at 2017-08-19 23:12:10