Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 413 | 1927.23 | 252.11099 |
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-4254790-1502639415.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4254790-1502639415.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 1.68/0.75 c solve instance... 18.78/2.97 o 499 35.11/5.05 o 498 35.11/5.08 o 497 35.83/5.15 o 489 35.83/5.17 o 488 35.83/5.17 o 487 35.83/5.19 o 486 35.83/5.20 o 485 36.49/5.20 o 484 36.49/5.21 o 483 36.49/5.21 o 482 36.49/5.23 o 477 38.76/5.55 o 476 46.46/6.52 o 469 47.07/6.63 o 468 54.94/7.65 o 467 54.94/7.66 o 466 54.94/7.66 o 465 54.94/7.67 o 464 58.70/8.14 o 455 58.70/8.17 o 454 62.11/8.70 o 453 62.11/8.77 o 452 63.92/9.12 o 451 63.92/9.14 o 450 63.92/9.14 o 449 63.92/9.14 o 448 63.92/9.14 o 447 63.92/9.15 o 446 63.92/9.15 o 445 63.92/9.15 o 444 63.92/9.15 o 443 63.92/9.16 o 442 64.43/9.20 o 441 64.43/9.24 o 440 64.43/9.25 o 439 64.43/9.28 o 438 64.43/9.29 o 437 65.11/9.30 o 436 66.69/9.54 o 435 69.36/9.96 o 434 81.80/11.67 o 433 82.42/11.91 o 432 82.42/11.93 o 431 100.03/14.46 o 430 108.92/15.84 o 429 123.57/17.91 o 423 250.78/34.19 o 422 285.25/38.73 o 421 339.77/46.00 o 420 362.59/49.05 o 419 621.92/82.69 o 418 739.52/97.54 o 417 749.94/100.26 o 416 990.01/131.73 o 415 1161.58/154.40 o 414 1214.01/161.61 o 413 1926.50/252.08 s SATISFIABLE 1926.50/252.08 v <instantiation> 1926.50/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> 1926.50/252.08 v <values>0 67 164 167 253 304 370 1 62 83 87 105 173 307 11 100 164 257 294 323 409 2 3 63 83 131 206 311 0 60 66 156 202 298 359 0 103 189 242 306 312 348 0 89 169 263 284 305 354 412 399 413 338 413 409 411 62 94 3 86 51 19 42 61 21 4 13 61 90 92 75 64 78 35 18 86 4 1 57 18 48 38 95 27 50 6 64 46 92 61 54 83 70 53 40 5 30 61 89 65 84 21 21 49 57 0 4 6 5 3 2 1 3 0 2 6 5 1 4 1 6 4 5 0 2 3 1 4 6 0 3 2 5 6 4 3 2 0 1 5 2 1 6 4 5 0 3 5 2 3 1 4 6 0 0 370 304 253 67 167 164 62 173 83 1 307 105 87 294 11 323 409 164 257 100 83 2 206 131 3 311 63 202 298 156 66 60 359 0 312 103 0 348 242 306 189 354 263 89 169 284 0 305 </values> 1926.50/252.08 v </instantiation> 1926.50/252.08 c Unexpected resolution interruption!
OK 413
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 (12972 MiB free) memory of node 1: 16384 MiB (14997 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254790-1502639415/watcher-4254790-1502639415 -o /tmp/evaluation-result-4254790-1502639415/solver-4254790-1502639415 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 945833946 HOME/instance-4254790-1502639415.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=6585, runsolver pid=6582 Current StackSize limit: 8192 KiB [startup+0.100059 s]* /proc/loadavg: 7.10 7.46 6.24 2/201 6606 /proc/meminfo: memFree=28626884/32770624 swapFree=67108860/67108860 [pid=6585] ppid=6582 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97029436 9740288 346 33554432000 4194304 5098028 140726395990624 140726395988728 140384920068732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28450816 140726395995243 140726395995452 140726395995452 140726395998187 0 /proc/6585/statm: 2378 346 289 221 0 87 0 [pid=6587] ppid=6585 vsize=25999808 memory=26300 CPUtime=0.12 cores=0-7 /proc/6587/stat : 6587 (java) S 6585 6585 4410 0 -1 1077944320 5507 0 0 0 10 2 0 0 20 0 20 0 97029437 26623803392 6575 33554432000 4194304 4196468 140724897739040 140724897721584 140222043930359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 /proc/6587/statm: 6499952 6575 2845 1 0 6488269 0 [pid=6587/tid=6588] ppid=6585 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/6587/task/6588/stat : 6588 (java) R 6585 6585 4410 0 -1 4202560 3520 0 0 0 8 1 0 0 20 0 20 0 97029437 26623803392 6575 33554432000 4194304 4196468 140724897739040 140222048146336 140222043952285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6589] ppid=6585 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/6587/task/6589/stat : 6589 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26623803392 6575 33554432000 4194304 4196468 140724897739040 140221966510864 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6590] ppid=6585 vsize=25999808 memory=140477487588992 CPUtime=0 cores=0-7 /proc/6587/task/6590/stat : 6590 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26623803392 6575 33554432000 4194304 4196468 140724897739040 140221965458320 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6591] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6591/stat : 6591 (java) S 6585 6585 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97029438 26623803392 6575 33554432000 4194304 4196468 140724897739040 140221964405776 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6592] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6592/stat : 6592 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26623803392 6575 33554432000 4194304 4196468 140724897739040 140221963353232 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6593] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6593/stat : 6593 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26623803392 6575 33554432000 4194304 4196468 140724897739040 140221962299664 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6594] ppid=6585 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/6587/task/6594/stat : 6594 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26623803392 6575 33554432000 4194304 4196468 140724897739040 140221961247120 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6595] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6595/stat : 6595 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97029438 26623803392 6575 33554432000 4194304 4196468 140724897739040 140221960194576 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6596] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6596/stat : 6596 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97029438 26623803392 6575 33554432000 4194304 4196468 140724897739040 140221959142032 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6597] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6597/stat : 6597 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029439 26623803392 6575 33554432000 4194304 4196468 140724897739040 140220718926320 140222043941506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6598] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6598/stat : 6598 (java) S 6585 6585 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97029440 26623803392 6575 33554432000 4194304 4196468 140724897739040 140220717872544 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6599] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6599/stat : 6599 (java) S 6585 6585 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97029440 26623803392 6575 33554432000 4194304 4196468 140724897739040 140220716819952 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6600] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6600/stat : 6600 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97029442 26623803392 6575 33554432000 4194304 4196468 140724897739040 140220715768528 140222043948955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6601] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6601/stat : 6601 (java) S 6585 6585 4410 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 97029442 26623803392 6575 33554432000 4194304 4196468 140724897739040 140220714715120 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6602] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6602/stat : 6602 (java) R 6585 6585 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97029442 26623803392 6575 33554432000 4194304 4196468 140724897739040 140220713662576 140222043941506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6603] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6603/stat : 6603 (java) S 6585 6585 4410 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97029442 26623803392 6575 33554432000 4194304 4196468 140724897739040 140220712610032 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6604] ppid=6585 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/6587/task/6604/stat : 6604 (java) R 6585 6585 4410 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 97029442 26623803392 6575 33554432000 4194304 4196468 140724897739040 140220711557488 140222043951706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6605] ppid=6585 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6605/stat : 6605 (java) S 6585 6585 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97029442 26623803392 6575 33554432000 4194304 4196468 140724897739040 140220710505184 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6606] ppid=6585 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/6587/task/6606/stat : 6606 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97029443 26623803392 6575 33554432000 4194304 4196468 140724897739040 140220709452720 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27684 KiB [startup+0.210663 s]* /proc/loadavg: 7.10 7.46 6.24 3/201 6606 /proc/meminfo: memFree=28614968/32770624 swapFree=67108860/67108860 [pid=6585] ppid=6582 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97029436 9740288 346 33554432000 4194304 5098028 140726395990624 140726395988728 140384920068732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28450816 140726395995243 140726395995452 140726395995452 140726395998187 0 /proc/6585/statm: 2378 346 289 221 0 87 0 [pid=6587] ppid=6585 vsize=26004064 memory=38624 CPUtime=0.33 cores=0-7 /proc/6587/stat : 6587 (java) S 6585 6585 4410 0 -1 1077944320 8258 0 0 0 30 3 0 0 20 0 20 0 97029437 26628161536 9656 33554432000 4194304 4196468 140724897739040 140724897721584 140222043930359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 /proc/6587/statm: 6501016 9656 3041 1 0 6488269 0 [pid=6587/tid=6588] ppid=6585 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/6587/task/6588/stat : 6588 (java) R 6585 6585 4410 0 -1 4202560 5411 0 0 0 17 2 0 0 20 0 20 0 97029437 26628161536 9656 33554432000 4194304 4196468 140724897739040 140222048152400 140222043951706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6589] ppid=6585 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/6587/task/6589/stat : 6589 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 9656 33554432000 4194304 4196468 140724897739040 140221966510864 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6590] ppid=6585 vsize=26004064 memory=140477487595836 CPUtime=0 cores=0-7 /proc/6587/task/6590/stat : 6590 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 9656 33554432000 4194304 4196468 140724897739040 140221965458320 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6591] ppid=6585 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6587/task/6591/stat : 6591 (java) S 6585 6585 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 9656 33554432000 4194304 4196468 140724897739040 140221964405776 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6592] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6592/stat : 6592 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 9656 33554432000 4194304 4196468 140724897739040 140221963353232 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6593] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6593/stat : 6593 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 9656 33554432000 4194304 4196468 140724897739040 140221962299664 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6594] ppid=6585 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6587/task/6594/stat : 6594 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 9656 33554432000 4194304 4196468 140724897739040 140221961247120 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6595] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6595/stat : 6595 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 9656 33554432000 4194304 4196468 140724897739040 140221960194576 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6596] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6596/stat : 6596 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 9656 33554432000 4194304 4196468 140724897739040 140221959142032 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6597] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6597/stat : 6597 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029439 26628161536 9656 33554432000 4194304 4196468 140724897739040 140220718926320 140222043941506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6598] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6598/stat : 6598 (java) S 6585 6585 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97029440 26628161536 9656 33554432000 4194304 4196468 140724897739040 140220717872544 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6599] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6599/stat : 6599 (java) S 6585 6585 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97029440 26628161536 9656 33554432000 4194304 4196468 140724897739040 140220716819952 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6600] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6600/stat : 6600 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97029442 26628161536 9656 33554432000 4194304 4196468 140724897739040 140220715768528 140222043948955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6601] ppid=6585 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/6587/task/6601/stat : 6601 (java) S 6585 6585 4410 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 20 0 97029442 26628161536 9656 33554432000 4194304 4196468 140724897739040 140220714715120 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6602] ppid=6585 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/6587/task/6602/stat : 6602 (java) S 6585 6585 4410 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 20 0 97029442 26628161536 9656 33554432000 4194304 4196468 140724897739040 140220713662576 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6603] ppid=6585 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/6587/task/6603/stat : 6603 (java) S 6585 6585 4410 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 20 0 97029442 26628161536 9656 33554432000 4194304 4196468 140724897739040 140220712610032 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6604] ppid=6585 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/6587/task/6604/stat : 6604 (java) R 6585 6585 4410 0 -1 4202560 738 0 0 0 8 0 0 0 20 0 20 0 97029442 26628161536 9656 33554432000 4194304 4196468 140724897739040 140220711557488 140222022503980 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6605] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6605/stat : 6605 (java) S 6585 6585 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97029442 26628161536 9656 33554432000 4194304 4196468 140724897739040 140220710505184 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6606] ppid=6585 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6587/task/6606/stat : 6606 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97029443 26628161536 9656 33554432000 4194304 4196468 140724897739040 140220709452720 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40008 KiB [startup+0.310984 s]* /proc/loadavg: 7.10 7.46 6.24 3/201 6606 /proc/meminfo: memFree=28609820/32770624 swapFree=67108860/67108860 [pid=6585] ppid=6582 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97029436 9740288 346 33554432000 4194304 5098028 140726395990624 140726395988728 140384920068732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28450816 140726395995243 140726395995452 140726395995452 140726395998187 0 /proc/6585/statm: 2378 346 289 221 0 87 0 [pid=6587] ppid=6585 vsize=26004064 memory=45868 CPUtime=0.5 cores=0-7 /proc/6587/stat : 6587 (java) S 6585 6585 4410 0 -1 1077944320 9209 0 0 0 46 4 0 0 20 0 20 0 97029437 26628161536 11467 33554432000 4194304 4196468 140724897739040 140724897721584 140222043930359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 /proc/6587/statm: 6501016 11467 3061 1 0 6488269 0 [pid=6587/tid=6588] ppid=6585 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/6587/task/6588/stat : 6588 (java) R 6585 6585 4410 0 -1 4202560 6120 0 0 0 26 3 0 0 20 0 20 0 97029437 26628161536 11467 33554432000 4194304 4196468 140724897739040 140222048153200 140222028010876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6589] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6589/stat : 6589 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 11467 33554432000 4194304 4196468 140724897739040 140221966510864 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6590] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6590/stat : 6590 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 11467 33554432000 4194304 4196468 140724897739040 140221965458320 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6591] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6591/stat : 6591 (java) S 6585 6585 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 11467 33554432000 4194304 4196468 140724897739040 140221964405776 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6592] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6592/stat : 6592 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 11467 33554432000 4194304 4196468 140724897739040 140221963353232 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6593] ppid=6585 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/6587/task/6593/stat : 6593 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 11467 33554432000 4194304 4196468 140724897739040 140221962299664 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6594] ppid=6585 vsize=26004064 memory=140477374493615 CPUtime=0 cores=0-7 /proc/6587/task/6594/stat : 6594 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 11467 33554432000 4194304 4196468 140724897739040 140221961247120 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6595] ppid=6585 vsize=26004064 memory=140477374495920 CPUtime=0 cores=0-7 /proc/6587/task/6595/stat : 6595 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 11467 33554432000 4194304 4196468 140724897739040 140221960194576 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6596] ppid=6585 vsize=26004064 memory=140477374498224 CPUtime=0 cores=0-7 /proc/6587/task/6596/stat : 6596 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97029438 26628161536 11467 33554432000 4194304 4196468 140724897739040 140221959142032 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6597] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6597/stat : 6597 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029439 26628161536 11467 33554432000 4194304 4196468 140724897739040 140220718926320 140222043941506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6598] ppid=6585 vsize=26004064 memory=280954749003408 CPUtime=0 cores=0-7 /proc/6587/task/6598/stat : 6598 (java) S 6585 6585 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97029440 26628161536 11467 33554432000 4194304 4196468 140724897739040 140220717872544 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6599] ppid=6585 vsize=26004064 memory=280954749010320 CPUtime=0 cores=0-7 /proc/6587/task/6599/stat : 6599 (java) S 6585 6585 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97029440 26628161536 11467 33554432000 4194304 4196468 140724897739040 140220716819952 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6600] ppid=6585 vsize=26004064 memory=280954748951600 CPUtime=0 cores=0-7 /proc/6587/task/6600/stat : 6600 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97029442 26628161536 11467 33554432000 4194304 4196468 140724897739040 140220715768528 140222043948955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6601] ppid=6585 vsize=26004064 memory=280954749024144 CPUtime=0.02 cores=0-7 /proc/6587/task/6601/stat : 6601 (java) S 6585 6585 4410 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 20 0 97029442 26628161536 11467 33554432000 4194304 4196468 140724897739040 140220714715120 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6602] ppid=6585 vsize=26004064 memory=280954749031056 CPUtime=0.02 cores=0-7 /proc/6587/task/6602/stat : 6602 (java) S 6585 6585 4410 0 -1 1077944384 292 0 0 0 2 0 0 0 20 0 20 0 97029442 26628161536 11467 33554432000 4194304 4196468 140724897739040 140220713662576 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6603] ppid=6585 vsize=26004064 memory=280954749028752 CPUtime=0.02 cores=0-7 /proc/6587/task/6603/stat : 6603 (java) S 6585 6585 4410 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 20 0 97029442 26628161536 11467 33554432000 4194304 4196468 140724897739040 140220712610032 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6604] ppid=6585 vsize=26004064 memory=280954749044912 CPUtime=0.12 cores=0-7 /proc/6587/task/6604/stat : 6604 (java) S 6585 6585 4410 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 20 0 97029442 26628161536 11467 33554432000 4194304 4196468 140724897739040 140220711557488 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6605] ppid=6585 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6605/stat : 6605 (java) S 6585 6585 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97029442 26628161536 11467 33554432000 4194304 4196468 140724897739040 140220710505184 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6606] ppid=6585 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6587/task/6606/stat : 6606 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97029443 26628161536 11467 33554432000 4194304 4196468 140724897739040 140220709452720 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47252 KiB [startup+0.701054 s] /proc/loadavg: 7.10 7.46 6.24 3/201 6606 /proc/meminfo: memFree=28594604/32770624 swapFree=67108860/67108860 [pid=6585] ppid=6582 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97029436 9740288 346 33554432000 4194304 5098028 140726395990624 140726395988728 140384920068732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28450816 140726395995243 140726395995452 140726395995452 140726395998187 0 /proc/6585/statm: 2378 346 289 221 0 87 0 [pid=6587] ppid=6585 vsize=26006188 memory=86492 CPUtime=1.68 cores=0-7 /proc/6587/stat : 6587 (java) S 6585 6585 4410 0 -1 1077944320 12801 0 0 0 161 7 0 0 20 0 20 0 97029437 26630336512 21623 33554432000 4194304 4196468 140724897739040 140724897721584 140222043930359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 /proc/6587/statm: 6501547 21623 3206 1 0 6488781 0 [pid=6587/tid=6588] ppid=6585 vsize=26006188 memory=280954749402800 CPUtime=0.67 cores=0-7 /proc/6587/task/6588/stat : 6588 (java) R 6585 6585 4410 0 -1 4202560 6998 0 0 0 63 4 0 0 20 0 20 0 97029437 26630336512 21623 33554432000 4194304 4196468 140724897739040 140222048167168 140221642153147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6589] ppid=6585 vsize=26006188 memory=140477374702448 CPUtime=0 cores=0-7 /proc/6587/task/6589/stat : 6589 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26630336512 21623 33554432000 4194304 4196468 140724897739040 140221966510864 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6590] ppid=6585 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6590/stat : 6590 (java) S 6585 6585 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97029438 26630336512 21623 33554432000 4194304 4196468 140724897739040 140221965458320 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6591] ppid=6585 vsize=26006188 memory=11008 CPUtime=0 cores=0-7 /proc/6587/task/6591/stat : 6591 (java) S 6585 6585 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97029438 26630336512 21623 33554432000 4194304 4196468 140724897739040 140221964405776 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 ################ # More data... # ################ [pid=6587/tid=7070] ppid=6585 vsize=26807004 memory=1156 CPUtime=0.67 cores=0-7 /proc/6587/task/7070/stat : 7070 (java) R 6585 6585 4410 0 -1 4202560 18 0 0 0 67 0 0 0 20 0 28 0 97045598 27450372096 111905 33554432000 4194304 4196468 140724897739040 140220690926528 140221648660382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 Current children cumulated CPU time: 1219.47 s Current children cumulated vsize: 26816516 KiB Current children cumulated memory: 449004 KiB [startup+222.302 s] /proc/loadavg: 7.70 7.54 6.53 9/209 7070 /proc/meminfo: memFree=28134932/32770624 swapFree=67108860/67108860 [pid=6585] ppid=6582 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97029436 9740288 346 33554432000 4194304 5098028 140726395990624 140726395988728 140384920068732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28450816 140726395995243 140726395995452 140726395995452 140726395998187 0 /proc/6585/statm: 2378 346 289 221 0 87 0 [pid=6587] ppid=6585 vsize=26807004 memory=521332 CPUtime=1691.95 cores=0-7 /proc/6587/stat : 6587 (java) S 6585 6585 4410 0 -1 1077944320 177520 0 0 0 168992 203 0 0 20 0 28 0 97029437 27450372096 130333 33554432000 4194304 4196468 140724897739040 140724897721584 140222043930359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 /proc/6587/statm: 6701751 130333 3282 1 0 6688985 0 [pid=6587/tid=6588] ppid=6585 vsize=26807004 memory=519284 CPUtime=0.77 cores=0-7 /proc/6587/task/6588/stat : 6588 (java) S 6585 6585 4410 0 -1 1077944384 9636 0 0 0 73 4 0 0 20 0 28 0 97029437 27450372096 130333 33554432000 4194304 4196468 140724897739040 140222048171136 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6589] ppid=6585 vsize=26807004 memory=448180 CPUtime=0.39 cores=0-7 /proc/6587/task/6589/stat : 6589 (java) S 6585 6585 4410 0 -1 1077944384 4152 0 0 0 33 6 0 0 20 0 28 0 97029438 27450372096 130333 33554432000 4194304 4196468 140724897739040 140221966510864 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6590] ppid=6585 vsize=26807004 memory=504568 CPUtime=0.4 cores=0-7 /proc/6587/task/6590/stat : 6590 (java) S 6585 6585 4410 0 -1 1077944384 2339 0 0 0 33 7 0 0 20 0 28 0 97029438 27450372096 130333 33554432000 4194304 4196468 140724897739040 140221965458320 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6591] ppid=6585 vsize=26807004 memory=513116 CPUtime=0.4 cores=0-7 /proc/6587/task/6591/stat : 6591 (java) S 6585 6585 4410 0 -1 1077944384 4248 0 0 0 33 7 0 0 20 0 28 0 97029438 27450372096 130333 33554432000 4194304 4196468 140724897739040 140221964405776 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6592] ppid=6585 vsize=26807004 memory=515164 CPUtime=0.4 cores=0-7 /proc/6587/task/6592/stat : 6592 (java) S 6585 6585 4410 0 -1 1077944384 2755 0 0 0 33 7 0 0 20 0 28 0 97029438 27450372096 130333 33554432000 4194304 4196468 140724897739040 140221963353232 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6593] ppid=6585 vsize=26807004 memory=517232 CPUtime=0.41 cores=0-7 /proc/6587/task/6593/stat : 6593 (java) S 6585 6585 4410 0 -1 1077944384 3375 0 0 0 35 6 0 0 20 0 28 0 97029438 27450372096 130333 33554432000 4194304 4196468 140724897739040 140221962299664 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6594] ppid=6585 vsize=26807004 memory=519284 CPUtime=0.4 cores=0-7 /proc/6587/task/6594/stat : 6594 (java) S 6585 6585 4410 0 -1 1077944384 2016 0 0 0 33 7 0 0 20 0 28 0 97029438 27450372096 130333 33554432000 4194304 4196468 140724897739040 140221961247120 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6595] ppid=6585 vsize=26807004 memory=519284 CPUtime=0.4 cores=0-7 /proc/6587/task/6595/stat : 6595 (java) S 6585 6585 4410 0 -1 1077944384 3116 0 0 0 34 6 0 0 20 0 28 0 97029438 27450372096 130333 33554432000 4194304 4196468 140724897739040 140221960194576 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6596] ppid=6585 vsize=26807004 memory=1384 CPUtime=0.4 cores=0-7 /proc/6587/task/6596/stat : 6596 (java) S 6585 6585 4410 0 -1 1077944384 5163 0 0 0 33 7 0 0 20 0 28 0 97029438 27450372096 130333 33554432000 4194304 4196468 140724897739040 140221959142032 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6597] ppid=6585 vsize=26807004 memory=1384 CPUtime=1.18 cores=0-7 /proc/6587/task/6597/stat : 6597 (java) S 6585 6585 4410 0 -1 1077944384 11982 0 0 0 55 63 0 0 20 0 28 0 97029439 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220718926320 140222043941506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6598] ppid=6585 vsize=26807004 memory=1384 CPUtime=0 cores=0-7 /proc/6587/task/6598/stat : 6598 (java) S 6585 6585 4410 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 97029440 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220717872544 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6599] ppid=6585 vsize=26807004 memory=28008 CPUtime=0 cores=0-7 /proc/6587/task/6599/stat : 6599 (java) S 6585 6585 4410 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97029440 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220716819952 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6600] ppid=6585 vsize=26807004 memory=1296 CPUtime=0 cores=0-7 /proc/6587/task/6600/stat : 6600 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97029442 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220715768528 140222043948955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6601] ppid=6585 vsize=26807004 memory=1384 CPUtime=3 cores=0-7 /proc/6587/task/6601/stat : 6601 (java) S 6585 6585 4410 0 -1 1077944384 18459 0 0 0 294 6 0 0 20 0 28 0 97029442 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220714715120 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6602] ppid=6585 vsize=26807004 memory=519284 CPUtime=2.94 cores=0-7 /proc/6587/task/6602/stat : 6602 (java) S 6585 6585 4410 0 -1 1077944384 18302 0 0 0 289 5 0 0 20 0 28 0 97029442 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220713662576 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6603] ppid=6585 vsize=26807004 memory=1384 CPUtime=3.38 cores=0-7 /proc/6587/task/6603/stat : 6603 (java) S 6585 6585 4410 0 -1 1077944384 15111 0 0 0 334 4 0 0 20 0 28 0 97029442 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220712610032 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6604] ppid=6585 vsize=26807004 memory=519284 CPUtime=0.94 cores=0-7 /proc/6587/task/6604/stat : 6604 (java) S 6585 6585 4410 0 -1 1077944384 11964 0 0 0 92 2 0 0 20 0 28 0 97029442 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220711557488 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6605] ppid=6585 vsize=26807004 memory=0 CPUtime=0 cores=0-7 /proc/6587/task/6605/stat : 6605 (java) S 6585 6585 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97029442 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220710505184 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6606] ppid=6585 vsize=26807004 memory=0 CPUtime=0.06 cores=0-7 /proc/6587/task/6606/stat : 6606 (java) S 6585 6585 4410 0 -1 1077944384 1556 0 0 0 0 6 0 0 20 0 28 0 97029443 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220709452720 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7063] ppid=6585 vsize=26807004 memory=1384 CPUtime=59.48 cores=0-7 /proc/6587/task/7063/stat : 7063 (java) R 6585 6585 4410 0 -1 4202560 758 0 0 0 5948 0 0 0 20 0 28 0 97045598 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220701441848 140221648178035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7064] ppid=6585 vsize=26807004 memory=450228 CPUtime=59.39 cores=0-7 /proc/6587/task/7064/stat : 7064 (java) R 6585 6585 4410 0 -1 4202560 826 0 0 0 5939 0 0 0 20 0 28 0 97045598 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220700390272 140221647775031 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7065] ppid=6585 vsize=26807004 memory=4140 CPUtime=59.55 cores=0-7 /proc/6587/task/7065/stat : 7065 (java) R 6585 6585 4410 0 -1 4202560 779 0 0 0 5955 0 0 0 20 0 28 0 97045598 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220695126016 140221649196756 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7066] ppid=6585 vsize=26807004 memory=28008 CPUtime=59.43 cores=0-7 /proc/6587/task/7066/stat : 7066 (java) R 6585 6585 4410 0 -1 4202560 1360 0 0 0 5942 1 0 0 20 0 28 0 97045598 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220687765528 140221645265726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7067] ppid=6585 vsize=26807004 memory=1384 CPUtime=59.62 cores=0-7 /proc/6587/task/7067/stat : 7067 (java) R 6585 6585 4410 0 -1 4202560 572 0 0 0 5962 0 0 0 20 0 28 0 97045598 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220696178480 140221641719164 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7068] ppid=6585 vsize=26807004 memory=483988 CPUtime=59.4 cores=0-7 /proc/6587/task/7068/stat : 7068 (java) R 6585 6585 4410 0 -1 4202560 702 0 0 0 5940 0 0 0 20 0 28 0 97045598 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220699339728 140221645265419 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7069] ppid=6585 vsize=26807004 memory=1384 CPUtime=59.51 cores=0-7 /proc/6587/task/7069/stat : 7069 (java) R 6585 6585 4410 0 -1 4202560 736 0 0 0 5951 0 0 0 20 0 28 0 97045598 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220697232136 140221646501874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7070] ppid=6585 vsize=26807004 memory=519284 CPUtime=59.45 cores=0-7 /proc/6587/task/7070/stat : 7070 (java) R 6585 6585 4410 0 -1 4202560 1365 0 0 0 5945 0 0 0 20 0 28 0 97045598 27450372096 130333 33554432000 4194304 4196468 140724897739040 140220690924200 140221645265127 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 Current children cumulated CPU time: 1691.95 s Current children cumulated vsize: 26816516 KiB Current children cumulated memory: 522716 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 7.89 7.60 6.58 9/210 7078 /proc/meminfo: memFree=28101416/32770624 swapFree=67108860/67108860 [pid=6585] ppid=6582 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6585/stat : 6585 (xcsp3-exec) S 6582 6585 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97029436 9740288 346 33554432000 4194304 5098028 140726395990624 140726395988728 140384920068732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28450816 140726395995243 140726395995452 140726395995452 140726395998187 0 /proc/6585/statm: 2378 346 289 221 0 87 0 [pid=6587] ppid=6585 vsize=26807004 memory=552232 CPUtime=1926.5 cores=0-7 /proc/6587/stat : 6587 (java) S 6585 6585 4410 0 -1 1077944320 183604 0 0 0 192425 225 0 0 20 0 28 0 97029437 27450372096 138058 33554432000 4194304 4196468 140724897739040 140724897721584 140222043930359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 /proc/6587/statm: 6701751 138058 3282 1 0 6688985 0 [pid=6587/tid=6588] ppid=6585 vsize=26807004 memory=4140 CPUtime=0.77 cores=0-7 /proc/6587/task/6588/stat : 6588 (java) S 6585 6585 4410 0 -1 1077944384 9636 0 0 0 73 4 0 0 20 0 28 0 97029437 27450372096 138058 33554432000 4194304 4196468 140724897739040 140222048171136 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6589] ppid=6585 vsize=26807004 memory=4140 CPUtime=0.47 cores=0-7 /proc/6587/task/6589/stat : 6589 (java) S 6585 6585 4410 0 -1 1077944384 4441 0 0 0 40 7 0 0 20 0 28 0 97029438 27450372096 138058 33554432000 4194304 4196468 140724897739040 140221966510864 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6590] ppid=6585 vsize=26807004 memory=4872558044660077418 CPUtime=0.48 cores=0-7 /proc/6587/task/6590/stat : 6590 (java) S 6585 6585 4410 0 -1 1077944384 2683 0 0 0 40 8 0 0 20 0 28 0 97029438 27450372096 138058 33554432000 4194304 4196468 140724897739040 140221965458320 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6591] ppid=6585 vsize=26807004 memory=2428 CPUtime=0.48 cores=0-7 /proc/6587/task/6591/stat : 6591 (java) S 6585 6585 4410 0 -1 1077944384 4616 0 0 0 41 7 0 0 20 0 28 0 97029438 27450372096 138058 33554432000 4194304 4196468 140724897739040 140221964405776 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6592] ppid=6585 vsize=26807004 memory=1728 CPUtime=0.47 cores=0-7 /proc/6587/task/6592/stat : 6592 (java) S 6585 6585 4410 0 -1 1077944384 2883 0 0 0 40 7 0 0 20 0 28 0 97029438 27450372096 138058 33554432000 4194304 4196468 140724897739040 140221963353232 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6593] ppid=6585 vsize=26807004 memory=1716 CPUtime=0.48 cores=0-7 /proc/6587/task/6593/stat : 6593 (java) S 6585 6585 4410 0 -1 1077944384 3515 0 0 0 42 6 0 0 20 0 28 0 97029438 27450372096 138058 33554432000 4194304 4196468 140724897739040 140221962299664 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6594] ppid=6585 vsize=26807004 memory=796 CPUtime=0.47 cores=0-7 /proc/6587/task/6594/stat : 6594 (java) S 6585 6585 4410 0 -1 1077944384 2314 0 0 0 40 7 0 0 20 0 28 0 97029438 27450372096 138058 33554432000 4194304 4196468 140724897739040 140221961247120 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6595] ppid=6585 vsize=26807004 memory=1952 CPUtime=0.48 cores=0-7 /proc/6587/task/6595/stat : 6595 (java) S 6585 6585 4410 0 -1 1077944384 3523 0 0 0 41 7 0 0 20 0 28 0 97029438 27450372096 138058 33554432000 4194304 4196468 140724897739040 140221960194576 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6596] ppid=6585 vsize=26807004 memory=1200 CPUtime=0.49 cores=0-7 /proc/6587/task/6596/stat : 6596 (java) S 6585 6585 4410 0 -1 1077944384 5503 0 0 0 41 8 0 0 20 0 28 0 97029438 27450372096 138058 33554432000 4194304 4196468 140724897739040 140221959142032 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6597] ppid=6585 vsize=26807004 memory=8552 CPUtime=1.46 cores=0-7 /proc/6587/task/6597/stat : 6597 (java) S 6585 6585 4410 0 -1 1077944384 12937 0 0 0 67 79 0 0 20 0 28 0 97029439 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220718926320 140222043941506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6598] ppid=6585 vsize=26807004 memory=5516 CPUtime=0 cores=0-7 /proc/6587/task/6598/stat : 6598 (java) S 6585 6585 4410 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 97029440 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220717872544 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6599] ppid=6585 vsize=26807004 memory=4616 CPUtime=0 cores=0-7 /proc/6587/task/6599/stat : 6599 (java) S 6585 6585 4410 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97029440 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220716819952 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6600] ppid=6585 vsize=26807004 memory=1008 CPUtime=0 cores=0-7 /proc/6587/task/6600/stat : 6600 (java) S 6585 6585 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97029442 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220715768528 140222043948955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6601] ppid=6585 vsize=26807004 memory=11008 CPUtime=3 cores=0-7 /proc/6587/task/6601/stat : 6601 (java) S 6585 6585 4410 0 -1 1077944384 18462 0 0 0 294 6 0 0 20 0 28 0 97029442 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220714715120 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6602] ppid=6585 vsize=26807004 memory=8112282956445269571 CPUtime=2.94 cores=0-7 /proc/6587/task/6602/stat : 6602 (java) S 6585 6585 4410 0 -1 1077944384 18304 0 0 0 289 5 0 0 20 0 28 0 97029442 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220713662576 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6603] ppid=6585 vsize=26807004 memory=546080 CPUtime=3.38 cores=0-7 /proc/6587/task/6603/stat : 6603 (java) S 6585 6585 4410 0 -1 1077944384 15113 0 0 0 334 4 0 0 20 0 28 0 97029442 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220712610032 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6604] ppid=6585 vsize=26807004 memory=1692 CPUtime=0.94 cores=0-7 /proc/6587/task/6604/stat : 6604 (java) S 6585 6585 4410 0 -1 1077944384 11966 0 0 0 92 2 0 0 20 0 28 0 97029442 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220711557488 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6605] ppid=6585 vsize=26807004 memory=916 CPUtime=0 cores=0-7 /proc/6587/task/6605/stat : 6605 (java) S 6585 6585 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97029442 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220710505184 140222043940565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=6606] ppid=6585 vsize=26807004 memory=4128 CPUtime=0.07 cores=0-7 /proc/6587/task/6606/stat : 6606 (java) S 6585 6585 4410 0 -1 1077944384 1613 0 0 0 0 7 0 0 20 0 28 0 97029443 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220709452720 140222043941506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7063] ppid=6585 vsize=26807004 memory=288230574492221466 CPUtime=88.72 cores=0-7 /proc/6587/task/7063/stat : 7063 (java) R 6585 6585 4410 0 -1 4202560 1009 0 0 0 8872 0 0 0 20 0 28 0 97045598 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220701441896 140221648357511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7064] ppid=6585 vsize=26807004 memory=288230617509003574 CPUtime=88.54 cores=0-7 /proc/6587/task/7064/stat : 7064 (java) R 6585 6585 4410 0 -1 4202560 1210 0 0 0 8854 0 0 0 20 0 28 0 97045598 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220700390408 140221646420345 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7065] ppid=6585 vsize=26807004 memory=15544007157614310 CPUtime=88.8 cores=0-7 /proc/6587/task/7065/stat : 7065 (java) R 6585 6585 4410 0 -1 4202560 1131 0 0 0 8880 0 0 0 20 0 28 0 97045598 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220695126280 140221642854614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7066] ppid=6585 vsize=26807004 memory=0 CPUtime=88.53 cores=0-7 /proc/6587/task/7066/stat : 7066 (java) R 6585 6585 4410 0 -1 4202560 1796 0 0 0 8852 1 0 0 20 0 28 0 97045598 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220687765392 140221647753039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7067] ppid=6585 vsize=26807004 memory=-8412656567318647667 CPUtime=88.98 cores=0-7 /proc/6587/task/7067/stat : 7067 (java) R 6585 6585 4410 0 -1 4202560 749 0 0 0 8897 1 0 0 20 0 28 0 97045598 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220696178368 140221640431572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7068] ppid=6585 vsize=26807004 memory=9047017150487036575 CPUtime=88.51 cores=0-7 /proc/6587/task/7068/stat : 7068 (java) R 6585 6585 4410 0 -1 4202560 1010 0 0 0 8851 0 0 0 20 0 28 0 97045598 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220699336576 140221646771419 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7069] ppid=6585 vsize=26807004 memory=7235991959513752431 CPUtime=88.68 cores=0-7 /proc/6587/task/7069/stat : 7069 (java) R 6585 6585 4410 0 -1 4202560 988 0 0 0 8868 0 0 0 20 0 28 0 97045598 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220697232008 140221648070063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 [pid=6587/tid=7070] ppid=6585 vsize=26807004 memory=4140 CPUtime=88.7 cores=0-7 /proc/6587/task/7070/stat : 7070 (java) R 6585 6585 4410 0 -1 4202560 1957 0 0 0 8869 1 0 0 20 0 28 0 97045598 27450372096 138058 33554432000 4194304 4196468 140724897739040 140220690926624 140221646420040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6447104 140724897748120 140724897748296 140724897748296 140724897750991 0 Current children cumulated CPU time: 1926.5 s Current children cumulated vsize: 26816516 KiB Current children cumulated memory: 553616 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.04 s] # the end of solver process 6585 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000968 s, system=0.000968 s [startup+252.111 s] # the end of solver process 6587 was just reported to runsolver # cumulated CPU time of all completed processes: user=1924.96 s, system=2.26818 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.111 CPU time (s): 1927.23 CPU user time (s): 1924.96 CPU system time (s): 2.26818 CPU usage (%): 764.435 Max. virtual memory (cumulated for all children) (KiB): 26816516 Max. memory (cumulated for all children) (KiB): 654312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1924.96 system time used= 2.26818 maximum resident set size= 660136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 185497 page faults= 0 swaps= 0 block input operations= 0 block output operations= 560 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41284 involuntary context switches= 21932 # summary of solver processes directly reported to runsolver: # pid: 6585,6587 # total CPU time (s): 1927.23 # total CPU user time (s): 1924.96 # total CPU system time (s): 2.26818 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.71736 second user time and 2.3421 second system time The end
Begin job on node104 at 2017-08-13 17:35:57 IDJOB=4254790 IDBENCH=115855 IDSOLVER=2636 FILE ID=node104/4254790-1502639415 RUNJOBID= node104-1502637289-4437 PBS_JOBID= 20628328 Free space on /tmp= 61864 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-4254790-1502639415/watcher-4254790-1502639415 -o /tmp/evaluation-result-4254790-1502639415/solver-4254790-1502639415 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 945833946 HOME/instance-4254790-1502639415.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ba339ff774c3e047171b8e15446c803f RANDOM SEED=945833946 node104.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: 28642360 kB MemAvailable: 31986328 kB Buffers: 159168 kB Cached: 3466488 kB SwapCached: 0 kB Active: 350468 kB Inactive: 3325772 kB Active(anon): 53436 kB Inactive(anon): 25024 kB Active(file): 297032 kB Inactive(file): 3300748 kB Unevictable: 6532 kB Mlocked: 6532 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7868 kB Writeback: 0 kB AnonPages: 74852 kB Mapped: 43560 kB Shmem: 25228 kB Slab: 149268 kB SReclaimable: 124048 kB SUnreclaim: 25220 kB KernelStack: 3536 kB PageTables: 4764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323532 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61856 MiB End job on node104 at 2017-08-13 17:40:09