Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | OPT | 0 | 1196.9 | 153.16901 |
Name | QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml |
MD5SUM | 8d41ef15b4a24b5ee65fe3e377737596 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1196.9 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 83 |
Number of constraints | 82 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 64 |
Distribution of domain sizes | [{"size":2,"count":18},{"size":64,"count":65}] |
Minimum variable degree | 2 |
Maximum variable degree | 18 |
Distribution of variable degrees | [{"degree":2,"count":20},{"degree":3,"count":44},{"degree":4,"count":18},{"degree":18,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 64 |
Distribution of constraint arities | [{"arity":2,"count":63},{"arity":3,"count":18},{"arity":64,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 81 |
Distribution of constraint types | [{"type":"intension","count":81},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280490-1503147884.xml" -tl '20160s' -p 8 -x 0 0.12/0.15 c [HOME/instance-4280490-1503147884.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 4.98/2.26 c solve instance... 25.75/4.99 o 15 26.61/5.04 o 14 32.17/5.90 o 10 32.17/5.93 o 8 32.58/6.27 o 6 32.58/6.29 o 5 218.03/29.69 o 4 260.15/35.10 o 3 479.51/62.74 o 2 1116.95/143.12 o 1 1196.52/153.15 o 0 1196.52/153.16 s OPTIMUM FOUND 1196.52/153.16 v <instantiation> 1196.52/153.16 v <list>q x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] </list> 1196.52/153.16 v <values>28 39 29 44 54 60 43 49 59 53 63 46 61 55 45 62 52 42 36 30 47 37 31 21 15 5 20 14 4 10 27 12 6 23 38 28 22 7 13 3 9 24 18 35 25 8 2 19 34 51 57 40 50 56 41 58 48 33 16 1 11 26 32 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 1196.52/153.16 v </instantiation>
OK 0
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 (12702 MiB free) memory of node 1: 16384 MiB (13860 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280490-1503147884/watcher-4280490-1503147884 -o /tmp/evaluation-result-4280490-1503147884/solver-4280490-1503147884 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503141271-7621 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1292801414 HOME/instance-4280490-1503147884.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Current StackSize limit: 8192 KiB solver pid=8826, runsolver pid=8823 [startup+0.100133 s]* /proc/loadavg: 7.10 8.06 8.19 2/199 8847 /proc/meminfo: memFree=27186604/32770624 swapFree=67108860/67108860 [pid=8826] ppid=8823 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8826/stat : 8826 (xcsp3-exec) S 8823 8826 7594 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147875969 9740288 346 33554432000 4194304 5098028 140735039001552 140735038999656 140240949551740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13037568 140735039009892 140735039010103 140735039010103 140735039012843 0 /proc/8826/statm: 2378 346 289 221 0 87 0 [pid=8828] ppid=8826 vsize=25999808 memory=26344 CPUtime=0.12 cores=0-7 /proc/8828/stat : 8828 (java) S 8826 8826 7594 0 -1 1077944320 5474 0 0 0 11 1 0 0 20 0 20 0 147875969 26623803392 6586 33554432000 4194304 4196468 140722024819712 140722024802256 140310293536503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 /proc/8828/statm: 6499952 6586 2847 1 0 6488269 0 [pid=8828/tid=8829] ppid=8826 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/8828/task/8829/stat : 8829 (java) R 8826 8826 7594 0 -1 4202560 3489 0 0 0 8 0 0 0 20 0 20 0 147875969 26623803392 6586 33554432000 4194304 4196468 140722024819712 140310297769776 140310277580133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8830] ppid=8826 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8828/task/8830/stat : 8830 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26623803392 6586 33554432000 4194304 4196468 140722024819712 140310216116880 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8831] ppid=8826 vsize=25999808 memory=139952781936256 CPUtime=0 cores=0-7 /proc/8828/task/8831/stat : 8831 (java) S 8826 8826 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875970 26623803392 6586 33554432000 4194304 4196468 140722024819712 140310215064080 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8832] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8832/stat : 8832 (java) S 8826 8826 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875970 26623803392 6586 33554432000 4194304 4196468 140722024819712 140310214011280 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8833] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8833/stat : 8833 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26623803392 6586 33554432000 4194304 4196468 140722024819712 140310212958480 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8834] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8834/stat : 8834 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26623803392 6586 33554432000 4194304 4196468 140722024819712 140310211906704 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8835] ppid=8826 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/8828/task/8835/stat : 8835 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26623803392 6586 33554432000 4194304 4196468 140722024819712 140310210853904 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8836] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8836/stat : 8836 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26623803392 6586 33554432000 4194304 4196468 140722024819712 140310209801104 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8837] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8837/stat : 8837 (java) S 8826 8826 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875970 26623803392 6586 33554432000 4194304 4196468 140722024819712 140310208748304 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8838] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8838/stat : 8838 (java) S 8826 8826 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875972 26623803392 6586 33554432000 4194304 4196468 140722024819712 140309420853616 140310293547650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8839] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8839/stat : 8839 (java) S 8826 8826 7594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147875972 26623803392 6586 33554432000 4194304 4196468 140722024819712 140309419799584 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8840] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8840/stat : 8840 (java) S 8826 8826 7594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147875972 26623803392 6586 33554432000 4194304 4196468 140722024819712 140309418746736 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8841] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8841/stat : 8841 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875975 26623803392 6586 33554432000 4194304 4196468 140722024819712 140309417695056 140310293555099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8842] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8842/stat : 8842 (java) S 8826 8826 7594 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 147875975 26623803392 6586 33554432000 4194304 4196468 140722024819712 140309416643440 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8843] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8843/stat : 8843 (java) S 8826 8826 7594 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 147875975 26623803392 6586 33554432000 4194304 4196468 140722024819712 140309415590640 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8844] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8844/stat : 8844 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875975 26623803392 6586 33554432000 4194304 4196468 140722024819712 140309414537840 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8845] ppid=8826 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/8828/task/8845/stat : 8845 (java) R 8826 8826 7594 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 147875975 26623803392 6586 33554432000 4194304 4196468 140722024819712 140309413485040 140310293548438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8846] ppid=8826 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8846/stat : 8846 (java) S 8826 8826 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875975 26623803392 6586 33554432000 4194304 4196468 140722024819712 140309412432480 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8847] ppid=8826 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/8828/task/8847/stat : 8847 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875975 26623803392 6586 33554432000 4194304 4196468 140722024819712 140309411379760 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27728 KiB [startup+0.210329 s]* /proc/loadavg: 7.10 8.06 8.19 2/199 8847 /proc/meminfo: memFree=27176248/32770624 swapFree=67108860/67108860 [pid=8826] ppid=8823 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8826/stat : 8826 (xcsp3-exec) S 8823 8826 7594 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147875969 9740288 346 33554432000 4194304 5098028 140735039001552 140735038999656 140240949551740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13037568 140735039009892 140735039010103 140735039010103 140735039012843 0 /proc/8826/statm: 2378 346 289 221 0 87 0 [pid=8828] ppid=8826 vsize=26004064 memory=39116 CPUtime=0.33 cores=0-7 /proc/8828/stat : 8828 (java) S 8826 8826 7594 0 -1 1077944320 8329 0 0 0 31 2 0 0 20 0 20 0 147875969 26628161536 9779 33554432000 4194304 4196468 140722024819712 140722024802256 140310293536503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 /proc/8828/statm: 6501016 9779 3050 1 0 6488269 0 [pid=8828/tid=8829] ppid=8826 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/8828/task/8829/stat : 8829 (java) R 8826 8826 7594 0 -1 4202560 5394 0 0 0 18 1 0 0 20 0 20 0 147875969 26628161536 9779 33554432000 4194304 4196468 140722024819712 140310297750480 140310277616990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8830] ppid=8826 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/8828/task/8830/stat : 8830 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 9779 33554432000 4194304 4196468 140722024819712 140310216116880 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8831] ppid=8826 vsize=26004064 memory=3688648736308610720 CPUtime=0 cores=0-7 /proc/8828/task/8831/stat : 8831 (java) S 8826 8826 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 9779 33554432000 4194304 4196468 140722024819712 140310215064080 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8832] ppid=8826 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8828/task/8832/stat : 8832 (java) S 8826 8826 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 9779 33554432000 4194304 4196468 140722024819712 140310214011280 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8833] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8833/stat : 8833 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 9779 33554432000 4194304 4196468 140722024819712 140310212958480 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8834] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8834/stat : 8834 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 9779 33554432000 4194304 4196468 140722024819712 140310211906704 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8835] ppid=8826 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8828/task/8835/stat : 8835 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 9779 33554432000 4194304 4196468 140722024819712 140310210853904 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8836] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8836/stat : 8836 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 9779 33554432000 4194304 4196468 140722024819712 140310209801104 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8837] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8837/stat : 8837 (java) S 8826 8826 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 9779 33554432000 4194304 4196468 140722024819712 140310208748304 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8838] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8838/stat : 8838 (java) S 8826 8826 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875972 26628161536 9779 33554432000 4194304 4196468 140722024819712 140309420853616 140310293547650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8839] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8839/stat : 8839 (java) S 8826 8826 7594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147875972 26628161536 9779 33554432000 4194304 4196468 140722024819712 140309419799584 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8840] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8840/stat : 8840 (java) S 8826 8826 7594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147875972 26628161536 9779 33554432000 4194304 4196468 140722024819712 140309418746736 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8841] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8841/stat : 8841 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875975 26628161536 9779 33554432000 4194304 4196468 140722024819712 140309417695056 140310293555099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8842] ppid=8826 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/8828/task/8842/stat : 8842 (java) S 8826 8826 7594 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 20 0 147875975 26628161536 9779 33554432000 4194304 4196468 140722024819712 140309416643440 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8843] ppid=8826 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/8828/task/8843/stat : 8843 (java) S 8826 8826 7594 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 20 0 147875975 26628161536 9779 33554432000 4194304 4196468 140722024819712 140309415590640 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8844] ppid=8826 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8828/task/8844/stat : 8844 (java) R 8826 8826 7594 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 147875975 26628161536 9779 33554432000 4194304 4196468 140722024819712 140309414537840 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8845] ppid=8826 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/8828/task/8845/stat : 8845 (java) S 8826 8826 7594 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 20 0 147875975 26628161536 9779 33554432000 4194304 4196468 140722024819712 140309413485040 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8846] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8846/stat : 8846 (java) S 8826 8826 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875975 26628161536 9779 33554432000 4194304 4196468 140722024819712 140309412432480 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8847] ppid=8826 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8828/task/8847/stat : 8847 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875975 26628161536 9779 33554432000 4194304 4196468 140722024819712 140309411379760 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40500 KiB [startup+0.310232 s]* /proc/loadavg: 7.10 8.06 8.19 3/199 8847 /proc/meminfo: memFree=27167624/32770624 swapFree=67108860/67108860 [pid=8826] ppid=8823 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8826/stat : 8826 (xcsp3-exec) S 8823 8826 7594 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147875969 9740288 346 33554432000 4194304 5098028 140735039001552 140735038999656 140240949551740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13037568 140735039009892 140735039010103 140735039010103 140735039012843 0 /proc/8826/statm: 2378 346 289 221 0 87 0 [pid=8828] ppid=8826 vsize=26004064 memory=46096 CPUtime=0.49 cores=0-7 /proc/8828/stat : 8828 (java) S 8826 8826 7594 0 -1 1077944320 9285 0 0 0 46 3 0 0 20 0 20 0 147875969 26628161536 11524 33554432000 4194304 4196468 140722024819712 140722024802256 140310293536503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 /proc/8828/statm: 6501016 11524 3110 1 0 6488269 0 [pid=8828/tid=8829] ppid=8826 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/8828/task/8829/stat : 8829 (java) R 8826 8826 7594 0 -1 4202560 6132 0 0 0 27 2 0 0 20 0 20 0 147875969 26628161536 11524 33554432000 4194304 4196468 140722024819712 140310297768928 140310277580133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8830] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8830/stat : 8830 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 11524 33554432000 4194304 4196468 140722024819712 140310216116880 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8831] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8831/stat : 8831 (java) S 8826 8826 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 11524 33554432000 4194304 4196468 140722024819712 140310215064080 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8832] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8832/stat : 8832 (java) S 8826 8826 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 11524 33554432000 4194304 4196468 140722024819712 140310214011280 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8833] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8833/stat : 8833 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 11588 33554432000 4194304 4196468 140722024819712 140310212958480 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8834] ppid=8826 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/8828/task/8834/stat : 8834 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 11588 33554432000 4194304 4196468 140722024819712 140310211906704 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8835] ppid=8826 vsize=26004064 memory=139952650285999 CPUtime=0 cores=0-7 /proc/8828/task/8835/stat : 8835 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 11588 33554432000 4194304 4196468 140722024819712 140310210853904 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8836] ppid=8826 vsize=26004064 memory=139952650288304 CPUtime=0 cores=0-7 /proc/8828/task/8836/stat : 8836 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 11588 33554432000 4194304 4196468 140722024819712 140310209801104 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8837] ppid=8826 vsize=26004064 memory=3472463850831459808 CPUtime=0 cores=0-7 /proc/8828/task/8837/stat : 8837 (java) S 8826 8826 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875970 26628161536 11588 33554432000 4194304 4196468 140722024819712 140310208748304 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8838] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8838/stat : 8838 (java) S 8826 8826 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875972 26628161536 11588 33554432000 4194304 4196468 140722024819712 140309420853616 140310293547650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8839] ppid=8826 vsize=26004064 memory=279905300588176 CPUtime=0 cores=0-7 /proc/8828/task/8839/stat : 8839 (java) S 8826 8826 7594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147875972 26628161536 11588 33554432000 4194304 4196468 140722024819712 140309419799584 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8840] ppid=8826 vsize=26004064 memory=279905300595088 CPUtime=0 cores=0-7 /proc/8828/task/8840/stat : 8840 (java) S 8826 8826 7594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147875972 26628161536 11588 33554432000 4194304 4196468 140722024819712 140309418746736 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8841] ppid=8826 vsize=26004064 memory=279905300536240 CPUtime=0 cores=0-7 /proc/8828/task/8841/stat : 8841 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875975 26628161536 11588 33554432000 4194304 4196468 140722024819712 140309417695056 140310293555099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8842] ppid=8826 vsize=26004064 memory=279905300608912 CPUtime=0.01 cores=0-7 /proc/8828/task/8842/stat : 8842 (java) S 8826 8826 7594 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 147875975 26628161536 11588 33554432000 4194304 4196468 140722024819712 140309416643440 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8843] ppid=8826 vsize=26004064 memory=279905300615824 CPUtime=0.02 cores=0-7 /proc/8828/task/8843/stat : 8843 (java) S 8826 8826 7594 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 20 0 147875975 26628161536 11588 33554432000 4194304 4196468 140722024819712 140309415590640 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8844] ppid=8826 vsize=26004064 memory=279905300613520 CPUtime=0.01 cores=0-7 /proc/8828/task/8844/stat : 8844 (java) S 8826 8826 7594 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 20 0 147875975 26628161536 11588 33554432000 4194304 4196468 140722024819712 140309414537840 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8845] ppid=8826 vsize=26004064 memory=279905300629680 CPUtime=0.12 cores=0-7 /proc/8828/task/8845/stat : 8845 (java) R 8826 8826 7594 0 -1 4202560 856 0 0 0 12 0 0 0 20 0 20 0 147875975 26628161536 11588 33554432000 4194304 4196468 140722024819712 140309413485040 140310293557850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8846] ppid=8826 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8846/stat : 8846 (java) S 8826 8826 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147875975 26628161536 11588 33554432000 4194304 4196468 140722024819712 140309412432480 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8847] ppid=8826 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8828/task/8847/stat : 8847 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875975 26628161536 11588 33554432000 4194304 4196468 140722024819712 140309411379760 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47480 KiB [startup+0.700997 s] /proc/loadavg: 7.10 8.06 8.19 5/199 8847 /proc/meminfo: memFree=27151748/32770624 swapFree=67108860/67108860 [pid=8826] ppid=8823 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8826/stat : 8826 (xcsp3-exec) S 8823 8826 7594 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147875969 9740288 346 33554432000 4194304 5098028 140735039001552 140735038999656 140240949551740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13037568 140735039009892 140735039010103 140735039010103 140735039012843 0 /proc/8826/statm: 2378 346 289 221 0 87 0 [pid=8828] ppid=8826 vsize=26006188 memory=87136 CPUtime=1.82 cores=0-7 /proc/8828/stat : 8828 (java) S 8826 8826 7594 0 -1 1077944320 17039 0 0 0 176 6 0 0 20 0 20 0 147875969 26630336512 21784 33554432000 4194304 4196468 140722024819712 140722024802256 140310293536503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 /proc/8828/statm: 6501547 21784 3203 1 0 6488781 0 [pid=8828/tid=8829] ppid=8826 vsize=26006188 memory=279905300987568 CPUtime=0.66 cores=0-7 /proc/8828/task/8829/stat : 8829 (java) R 8826 8826 7594 0 -1 4202560 6705 0 0 0 64 2 0 0 20 0 20 0 147875969 26630336512 21784 33554432000 4194304 4196468 140722024819712 140310297773872 140309890339697 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8830] ppid=8826 vsize=26006188 memory=139952650494832 CPUtime=0 cores=0-7 /proc/8828/task/8830/stat : 8830 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147875970 26630336512 21784 33554432000 4194304 4196468 140722024819712 140310216116880 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8831] ppid=8826 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8831/stat : 8831 (java) S 8826 8826 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875970 26630336512 21784 33554432000 4194304 4196468 140722024819712 140310215064080 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8832] ppid=8826 vsize=26006188 memory=11108 CPUtime=0 cores=0-7 /proc/8828/task/8832/stat : 8832 (java) S 8826 8826 7594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147875970 26630336512 21784 33554432000 4194304 4196468 140722024819712 140310214011280 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 ################ # More data... # ################ [pid=8828/tid=8845] ppid=8826 vsize=26607320 memory=1228 CPUtime=0.93 cores=0-7 /proc/8828/task/8845/stat : 8845 (java) S 8826 8826 7594 0 -1 1077944384 14897 0 0 0 90 3 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309413485040 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8846] ppid=8826 vsize=26607320 memory=11108 CPUtime=0 cores=0-7 /proc/8828/task/8846/stat : 8846 (java) S 8826 8826 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309412432480 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8847] ppid=8826 vsize=26607320 memory=796 CPUtime=0.08 cores=0-7 /proc/8828/task/8847/stat : 8847 (java) S 8826 8826 7594 0 -1 1077944384 1436 0 0 0 4 4 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309411379760 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8928] ppid=8826 vsize=26607320 memory=1424 CPUtime=9.58 cores=0-7 /proc/8828/task/8928/stat : 8928 (java) R 8826 8826 7594 0 -1 4202560 193 0 0 0 958 0 0 0 20 0 28 0 147890281 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309326420728 140309890470199 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8929] ppid=8826 vsize=26607320 memory=15876 CPUtime=9.65 cores=0-7 /proc/8828/task/8929/stat : 8929 (java) R 8826 8826 7594 0 -1 4202560 186 0 0 0 965 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309327474168 140309894399232 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8930] ppid=8826 vsize=26607320 memory=4052 CPUtime=9.64 cores=0-7 /proc/8828/task/8930/stat : 8930 (java) R 8826 8826 7594 0 -1 4202560 775 0 0 0 964 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309331685328 140309894398844 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8931] ppid=8826 vsize=26607320 memory=23680 CPUtime=9.65 cores=0-7 /proc/8828/task/8931/stat : 8931 (java) R 8826 8826 7594 0 -1 4202560 507 0 0 0 965 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309325369416 140309894398844 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8932] ppid=8826 vsize=26607320 memory=18444 CPUtime=9.52 cores=0-7 /proc/8828/task/8932/stat : 8932 (java) R 8826 8826 7594 0 -1 4202560 147 0 0 0 952 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309403369640 140309888588311 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8933] ppid=8826 vsize=26607320 memory=1788 CPUtime=9.65 cores=0-7 /proc/8828/task/8933/stat : 8933 (java) R 8826 8826 7594 0 -1 4202560 928 0 0 0 965 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309332738168 140309894307448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8934] ppid=8826 vsize=26607320 memory=640 CPUtime=9.65 cores=0-7 /proc/8828/task/8934/stat : 8934 (java) R 8826 8826 7594 0 -1 4202560 370 0 0 0 965 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309333790600 140309895624432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8935] ppid=8826 vsize=26607320 memory=952 CPUtime=9.65 cores=0-7 /proc/8828/task/8935/stat : 8935 (java) R 8826 8826 7594 0 -1 4202560 341 0 0 0 965 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309329579816 140309895666522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 Current children cumulated CPU time: 1194.06 s Current children cumulated vsize: 26616832 KiB Current children cumulated memory: 235524 KiB [startup+153.005 s]* /proc/loadavg: 8.57 8.23 8.22 10/207 8935 /proc/meminfo: memFree=26981240/32770624 swapFree=67108860/67108860 [pid=8826] ppid=8823 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8826/stat : 8826 (xcsp3-exec) S 8823 8826 7594 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147875969 9740288 346 33554432000 4194304 5098028 140735039001552 140735038999656 140240949551740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13037568 140735039009892 140735039010103 140735039010103 140735039012843 0 /proc/8826/statm: 2378 346 289 221 0 87 0 [pid=8828] ppid=8826 vsize=26607320 memory=234140 CPUtime=1195.74 cores=0-7 /proc/8828/stat : 8828 (java) S 8826 8826 7594 0 -1 1077944320 146314 0 0 0 119496 78 0 0 20 0 28 0 147875969 27245895680 58535 33554432000 4194304 4196468 140722024819712 140722024802256 140310293536503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 /proc/8828/statm: 6651830 58535 3292 1 0 6639064 0 [pid=8828/tid=8829] ppid=8826 vsize=26607320 memory=8112282956445269571 CPUtime=2.26 cores=0-7 /proc/8828/task/8829/stat : 8829 (java) S 8826 8826 7594 0 -1 1077944384 10149 0 0 0 221 5 0 0 20 0 28 0 147875969 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310297777280 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8830] ppid=8826 vsize=26607320 memory=4872558044660077418 CPUtime=0.11 cores=0-7 /proc/8828/task/8830/stat : 8830 (java) S 8826 8826 7594 0 -1 1077944384 1992 0 0 0 7 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310216116880 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8831] ppid=8826 vsize=26607320 memory=0 CPUtime=0.12 cores=0-7 /proc/8828/task/8831/stat : 8831 (java) S 8826 8826 7594 0 -1 1077944384 1493 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310215064080 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8832] ppid=8826 vsize=26607320 memory=0 CPUtime=0.12 cores=0-7 /proc/8828/task/8832/stat : 8832 (java) S 8826 8826 7594 0 -1 1077944384 1037 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310214011280 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8833] ppid=8826 vsize=26607320 memory=6944656592387989600 CPUtime=0.12 cores=0-7 /proc/8828/task/8833/stat : 8833 (java) S 8826 8826 7594 0 -1 1077944384 2654 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310212958480 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8834] ppid=8826 vsize=26607320 memory=0 CPUtime=0.12 cores=0-7 /proc/8828/task/8834/stat : 8834 (java) S 8826 8826 7594 0 -1 1077944384 1197 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310211906704 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8835] ppid=8826 vsize=26607320 memory=0 CPUtime=0.12 cores=0-7 /proc/8828/task/8835/stat : 8835 (java) S 8826 8826 7594 0 -1 1077944384 2593 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310210853904 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8836] ppid=8826 vsize=26607320 memory=0 CPUtime=0.12 cores=0-7 /proc/8828/task/8836/stat : 8836 (java) S 8826 8826 7594 0 -1 1077944384 2186 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310209801104 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8837] ppid=8826 vsize=26607320 memory=0 CPUtime=0.12 cores=0-7 /proc/8828/task/8837/stat : 8837 (java) S 8826 8826 7594 0 -1 1077944384 2438 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310208748304 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8838] ppid=8826 vsize=26607320 memory=0 CPUtime=0.07 cores=0-7 /proc/8828/task/8838/stat : 8838 (java) S 8826 8826 7594 0 -1 1077944384 6292 0 0 0 5 2 0 0 20 0 28 0 147875972 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309420853616 140310293547650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8839] ppid=8826 vsize=26607320 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8839/stat : 8839 (java) S 8826 8826 7594 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 147875972 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309419799648 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8840] ppid=8826 vsize=26607320 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8840/stat : 8840 (java) S 8826 8826 7594 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 147875972 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309418746736 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8841] ppid=8826 vsize=26607320 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8841/stat : 8841 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309417695056 140310293555099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8842] ppid=8826 vsize=26607320 memory=0 CPUtime=2.55 cores=0-7 /proc/8828/task/8842/stat : 8842 (java) S 8826 8826 7594 0 -1 1077944384 19767 0 0 0 251 4 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309416643440 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8843] ppid=8826 vsize=26607320 memory=0 CPUtime=2.91 cores=0-7 /proc/8828/task/8843/stat : 8843 (java) S 8826 8826 7594 0 -1 1077944384 19919 0 0 0 287 4 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309415590640 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8844] ppid=8826 vsize=26607320 memory=0 CPUtime=2.89 cores=0-7 /proc/8828/task/8844/stat : 8844 (java) S 8826 8826 7594 0 -1 1077944384 20082 0 0 0 286 3 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309414537840 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8845] ppid=8826 vsize=26607320 memory=0 CPUtime=0.93 cores=0-7 /proc/8828/task/8845/stat : 8845 (java) S 8826 8826 7594 0 -1 1077944384 14897 0 0 0 90 3 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309413485040 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8846] ppid=8826 vsize=26607320 memory=0 CPUtime=0 cores=0-7 /proc/8828/task/8846/stat : 8846 (java) S 8826 8826 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309412432480 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8847] ppid=8826 vsize=26607320 memory=0 CPUtime=0.08 cores=0-7 /proc/8828/task/8847/stat : 8847 (java) S 8826 8826 7594 0 -1 1077944384 1436 0 0 0 4 4 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309411379760 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8928] ppid=8826 vsize=26607320 memory=7019467088057219384 CPUtime=9.79 cores=0-7 /proc/8828/task/8928/stat : 8928 (java) R 8826 8826 7594 0 -1 4202560 193 0 0 0 979 0 0 0 20 0 28 0 147890281 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309326420728 140309895779308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8929] ppid=8826 vsize=26607320 memory=7019467088073996600 CPUtime=9.86 cores=0-7 /proc/8828/task/8929/stat : 8929 (java) R 8826 8826 7594 0 -1 4202560 186 0 0 0 986 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309327474168 140309894398844 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8930] ppid=8826 vsize=26607320 memory=7019467087923067192 CPUtime=9.85 cores=0-7 /proc/8828/task/8930/stat : 8930 (java) R 8826 8826 7594 0 -1 4202560 777 0 0 0 985 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309331685328 140309895625109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8931] ppid=8826 vsize=26607320 memory=7019467087939844408 CPUtime=9.86 cores=0-7 /proc/8828/task/8931/stat : 8931 (java) R 8826 8826 7594 0 -1 4202560 512 0 0 0 986 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309325369416 140309888587894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8932] ppid=8826 vsize=26607320 memory=7019467087956621624 CPUtime=9.73 cores=0-7 /proc/8828/task/8932/stat : 8932 (java) R 8826 8826 7594 0 -1 4202560 147 0 0 0 973 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309403369640 140309888587889 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8933] ppid=8826 vsize=26607320 memory=7019467087973398840 CPUtime=9.86 cores=0-7 /proc/8828/task/8933/stat : 8933 (java) R 8826 8826 7594 0 -1 4202560 928 0 0 0 986 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309332738168 140309890551572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8934] ppid=8826 vsize=26607320 memory=7019467087990176056 CPUtime=9.86 cores=0-7 /proc/8828/task/8934/stat : 8934 (java) R 8826 8826 7594 0 -1 4202560 370 0 0 0 986 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309333790600 140309895666534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8935] ppid=8826 vsize=26607320 memory=7019467088006953272 CPUtime=9.86 cores=0-7 /proc/8828/task/8935/stat : 8935 (java) R 8826 8826 7594 0 -1 4202560 341 0 0 0 986 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309329579816 140309895666522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 Current children cumulated CPU time: 1195.74 s Current children cumulated vsize: 26616832 KiB Current children cumulated memory: 235524 KiB [startup+153.111 s] /proc/loadavg: 8.57 8.23 8.22 10/207 8935 /proc/meminfo: memFree=26981240/32770624 swapFree=67108860/67108860 [pid=8826] ppid=8823 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8826/stat : 8826 (xcsp3-exec) S 8823 8826 7594 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147875969 9740288 346 33554432000 4194304 5098028 140735039001552 140735038999656 140240949551740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13037568 140735039009892 140735039010103 140735039010103 140735039012843 0 /proc/8826/statm: 2378 346 289 221 0 87 0 [pid=8828] ppid=8826 vsize=26607320 memory=234140 CPUtime=1196.52 cores=0-7 /proc/8828/stat : 8828 (java) S 8826 8826 7594 0 -1 1077944320 146325 0 0 0 119574 78 0 0 20 0 28 0 147875969 27245895680 58535 33554432000 4194304 4196468 140722024819712 140722024802256 140310293536503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 /proc/8828/statm: 6651830 58535 3292 1 0 6639064 0 [pid=8828/tid=8829] ppid=8826 vsize=26607320 memory=1384 CPUtime=2.26 cores=0-7 /proc/8828/task/8829/stat : 8829 (java) S 8826 8826 7594 0 -1 1077944384 10149 0 0 0 221 5 0 0 20 0 28 0 147875969 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310297777280 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8830] ppid=8826 vsize=26607320 memory=234140 CPUtime=0.11 cores=0-7 /proc/8828/task/8830/stat : 8830 (java) S 8826 8826 7594 0 -1 1077944384 1992 0 0 0 7 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310216116880 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8831] ppid=8826 vsize=26607320 memory=234140 CPUtime=0.12 cores=0-7 /proc/8828/task/8831/stat : 8831 (java) S 8826 8826 7594 0 -1 1077944384 1493 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310215064080 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8832] ppid=8826 vsize=26607320 memory=237148 CPUtime=0.12 cores=0-7 /proc/8828/task/8832/stat : 8832 (java) S 8826 8826 7594 0 -1 1077944384 1037 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310214011280 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8833] ppid=8826 vsize=26607320 memory=236672 CPUtime=0.12 cores=0-7 /proc/8828/task/8833/stat : 8833 (java) S 8826 8826 7594 0 -1 1077944384 2654 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310212958480 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8834] ppid=8826 vsize=26607320 memory=239752 CPUtime=0.12 cores=0-7 /proc/8828/task/8834/stat : 8834 (java) S 8826 8826 7594 0 -1 1077944384 1197 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310211906704 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8835] ppid=8826 vsize=26607320 memory=234140 CPUtime=0.12 cores=0-7 /proc/8828/task/8835/stat : 8835 (java) S 8826 8826 7594 0 -1 1077944384 2593 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310210853904 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8836] ppid=8826 vsize=26607320 memory=1384 CPUtime=0.12 cores=0-7 /proc/8828/task/8836/stat : 8836 (java) S 8826 8826 7594 0 -1 1077944384 2186 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310209801104 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8837] ppid=8826 vsize=26607320 memory=234140 CPUtime=0.12 cores=0-7 /proc/8828/task/8837/stat : 8837 (java) S 8826 8826 7594 0 -1 1077944384 2438 0 0 0 8 4 0 0 20 0 28 0 147875970 27245895680 58535 33554432000 4194304 4196468 140722024819712 140310208748304 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8838] ppid=8826 vsize=26607320 memory=234140 CPUtime=0.07 cores=0-7 /proc/8828/task/8838/stat : 8838 (java) S 8826 8826 7594 0 -1 1077944384 6292 0 0 0 5 2 0 0 20 0 28 0 147875972 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309420853616 140310293547650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8839] ppid=8826 vsize=26607320 memory=1384 CPUtime=0 cores=0-7 /proc/8828/task/8839/stat : 8839 (java) S 8826 8826 7594 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 147875972 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309419799648 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8840] ppid=8826 vsize=26607320 memory=255668 CPUtime=0 cores=0-7 /proc/8828/task/8840/stat : 8840 (java) S 8826 8826 7594 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 147875972 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309418746736 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8841] ppid=8826 vsize=26607320 memory=239752 CPUtime=0 cores=0-7 /proc/8828/task/8841/stat : 8841 (java) S 8826 8826 7594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309417695056 140310293555099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8842] ppid=8826 vsize=26607320 memory=280876 CPUtime=2.55 cores=0-7 /proc/8828/task/8842/stat : 8842 (java) S 8826 8826 7594 0 -1 1077944384 19767 0 0 0 251 4 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309416643440 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8843] ppid=8826 vsize=26607320 memory=1384 CPUtime=2.91 cores=0-7 /proc/8828/task/8843/stat : 8843 (java) S 8826 8826 7594 0 -1 1077944384 19919 0 0 0 287 4 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309415590640 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8844] ppid=8826 vsize=26607320 memory=1384 CPUtime=2.89 cores=0-7 /proc/8828/task/8844/stat : 8844 (java) S 8826 8826 7594 0 -1 1077944384 20082 0 0 0 286 3 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309414537840 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8845] ppid=8826 vsize=26607320 memory=328164 CPUtime=0.93 cores=0-7 /proc/8828/task/8845/stat : 8845 (java) S 8826 8826 7594 0 -1 1077944384 14897 0 0 0 90 3 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309413485040 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8846] ppid=8826 vsize=26607320 memory=4132 CPUtime=0 cores=0-7 /proc/8828/task/8846/stat : 8846 (java) S 8826 8826 7594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309412432480 140310293546709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8847] ppid=8826 vsize=26607320 memory=1384 CPUtime=0.08 cores=0-7 /proc/8828/task/8847/stat : 8847 (java) S 8826 8826 7594 0 -1 1077944384 1438 0 0 0 4 4 0 0 20 0 28 0 147875975 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309411379760 140310293547650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8928] ppid=8826 vsize=26607320 memory=1384 CPUtime=9.89 cores=0-7 /proc/8828/task/8928/stat : 8928 (java) R 8826 8826 7594 0 -1 4202560 193 0 0 0 989 0 0 0 20 0 28 0 147890281 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309326420728 140309894398788 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8929] ppid=8826 vsize=26607320 memory=1424 CPUtime=9.96 cores=0-7 /proc/8828/task/8929/stat : 8929 (java) R 8826 8826 7594 0 -1 4202560 188 0 0 0 996 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309327474168 140309888587894 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8930] ppid=8826 vsize=26607320 memory=15876 CPUtime=9.95 cores=0-7 /proc/8828/task/8930/stat : 8930 (java) R 8826 8826 7594 0 -1 4202560 777 0 0 0 995 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309331685328 140309894398424 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8931] ppid=8826 vsize=26607320 memory=1384 CPUtime=9.96 cores=0-7 /proc/8828/task/8931/stat : 8931 (java) R 8826 8826 7594 0 -1 4202560 514 0 0 0 996 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309325369416 140309888587894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8932] ppid=8826 vsize=26607320 memory=234140 CPUtime=9.82 cores=0-7 /proc/8828/task/8932/stat : 8932 (java) R 8826 8826 7594 0 -1 4202560 149 0 0 0 982 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309403369640 140309894060558 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8933] ppid=8826 vsize=26607320 memory=1384 CPUtime=9.96 cores=0-7 /proc/8828/task/8933/stat : 8933 (java) R 8826 8826 7594 0 -1 4202560 930 0 0 0 996 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309332738168 140309888587903 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8934] ppid=8826 vsize=26607320 memory=1384 CPUtime=9.96 cores=0-7 /proc/8828/task/8934/stat : 8934 (java) R 8826 8826 7594 0 -1 4202560 371 0 0 0 996 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309333790600 140309894076647 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 [pid=8828/tid=8935] ppid=8826 vsize=26607320 memory=1384 CPUtime=9.96 cores=0-7 /proc/8828/task/8935/stat : 8935 (java) R 8826 8826 7594 0 -1 4202560 341 0 0 0 996 0 0 0 20 0 28 0 147890282 27245895680 58535 33554432000 4194304 4196468 140722024819712 140309329579816 140309895549727 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140722024821906 140722024822083 140722024822083 140722024824783 0 Current children cumulated CPU time: 1196.52 s Current children cumulated vsize: 26616832 KiB Current children cumulated memory: 235524 KiB Child status: 0 Real time (s): 153.169 CPU time (s): 1196.9 CPU user time (s): 1196.1 CPU system time (s): 0.802646 CPU usage (%): 781.422 Max. virtual memory (cumulated for all children) (KiB): 26616832 Max. memory (cumulated for all children) (KiB): 330060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1196.1 system time used= 0.802646 maximum resident set size= 330188 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148160 page faults= 0 swaps= 0 block input operations= 0 block output operations= 424 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12461 involuntary context switches= 13565 # summary of solver processes directly reported to runsolver: # pid: 8826 # total CPU time (s): 1196.9 # total CPU user time (s): 1196.1 # total CPU system time (s): 0.802646 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.66869 second user time and 1.39937 second system time The end
Begin job on node115 at 2017-08-19 14:50:24 IDJOB=4280490 IDBENCH=130614 IDSOLVER=2675 FILE ID=node115/4280490-1503147884 RUNJOBID= node115-1503141271-7621 PBS_JOBID= 20630797 Free space on /tmp= 61868 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-08.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-4280490-1503147884/watcher-4280490-1503147884 -o /tmp/evaluation-result-4280490-1503147884/solver-4280490-1503147884 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503141271-7621 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1292801414 HOME/instance-4280490-1503147884.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8d41ef15b4a24b5ee65fe3e377737596 RANDOM SEED=1292801414 node115.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.69 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.69 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.69 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.69 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: 27200880 kB MemAvailable: 31970544 kB Buffers: 241656 kB Cached: 4821004 kB SwapCached: 0 kB Active: 895164 kB Inactive: 4224064 kB Active(anon): 7376 kB Inactive(anon): 85176 kB Active(file): 887788 kB Inactive(file): 4138888 kB Unevictable: 7056 kB Mlocked: 7056 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7928 kB Writeback: 0 kB AnonPages: 75448 kB Mapped: 50380 kB Shmem: 33416 kB Slab: 144944 kB SReclaimable: 117648 kB SUnreclaim: 27296 kB KernelStack: 3552 kB PageTables: 4836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332552 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61860 MiB End job on node115 at 2017-08-19 14:52:57