Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 167.827 | 21.9154 |
Name | Primes/ Primes-m1-p20/Primes-20-40-2-7.xml |
MD5SUM | 37689576328d0295b96bd2728694e285 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.7383 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 40 |
Number of domains | 1 |
Minimum domain size | 70 |
Maximum domain size | 70 |
Distribution of domain sizes | [{"size":70,"count":88}] |
Minimum variable degree | 0 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":0,"count":12},{"degree":1,"count":20},{"degree":2,"count":25},{"degree":3,"count":20},{"degree":4,"count":12},{"degree":5,"count":5},{"degree":6,"count":3},{"degree":7,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":2},{"arity":6,"count":7},{"arity":7,"count":4},{"arity":8,"count":9},{"arity":9,"count":6}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":40}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406795-1569352489.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406795-1569352489.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.61/0.86 c solve instance... 167.80/21.90 s SATISFIABLE 167.80/21.90 v <instantiation> 167.80/21.90 v <list>x[0] 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[17] x[18] x[19] x[20] x[21] 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[53] x[54] x[55] x[56] x[57] x[59] x[60] x[61] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[71] x[72] x[73] x[74] x[75] x[79] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[97] x[98] x[99] </list> 167.80/21.90 v <values>4 32 68 11 53 46 28 32 9 8 14 67 6 2 18 53 17 43 37 8 31 41 36 4 57 30 30 6 22 17 61 19 9 34 62 67 6 67 14 56 42 69 42 44 37 56 24 28 39 2 64 31 33 61 3 14 69 70 22 71 2 2 18 64 53 14 7 62 8 6 2 3 56 2 33 2 16 41 20 43 32 59 70 44 31 41 47 69 </values> 167.80/21.90 v </instantiation>
OK
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 (11569 MiB free) memory of node 1: 16384 MiB (12624 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406795-1569352489/watcher-4406795-1569352489 -o /var/tmp/evaluation-result-4406795-1569352489/solver-4406795-1569352489 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569349254-25829 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1299636919 HOME/instance-4406795-1569352489.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=27010, runsolver pid=27007 [startup+0.100178 s]* /proc/loadavg: 8.03 8.20 7.87 2/211 27031 /proc/meminfo: memFree=24755944/32770624 swapFree=66976772/67108860 [pid=27010] ppid=27007 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27010/stat : 27010 (xcsp3-exec) S 27007 27010 25802 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511188987 115843072 363 33554432000 4194304 5098028 140724524202400 140724524200504 139797677720188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16797696 140724524208977 140724524209237 140724524209237 140724524212166 0 /proc/27010/statm: 28282 363 304 221 0 87 0 [pid=27012] ppid=27010 vsize=28227396 memory=30468 CPUtime=0.12 cores=0-7 /proc/27012/stat : 27012 (java) S 27010 27010 25802 0 -1 1077944320 5523 0 0 0 11 1 0 0 20 0 20 0 511188987 28904853504 7617 33554432000 4194304 4196468 140723040504256 140723040486800 140609818967799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 /proc/27012/statm: 7056849 7617 3155 1 0 7019032 0 [pid=27012/tid=27013] ppid=27010 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/27012/task/27013/stat : 27013 (java) R 27010 27010 25802 0 -1 4202560 3435 0 0 0 8 0 0 0 20 0 20 0 511188987 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609823195824 140609803011429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27014] ppid=27010 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/27012/task/27014/stat : 27014 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609782074000 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27015] ppid=27010 vsize=28227396 memory=140444720158336 CPUtime=0 cores=0-7 /proc/27012/task/27015/stat : 27015 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609369004560 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27016] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27016/stat : 27016 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609367951760 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27017] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27017/stat : 27017 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609366898960 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27018] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27018/stat : 27018 (java) S 27010 27010 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609365847184 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27019] ppid=27010 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27012/task/27019/stat : 27019 (java) S 27010 27010 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609364794384 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27020] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27020/stat : 27020 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609363741584 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27021] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27021/stat : 27021 (java) S 27010 27010 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609362688784 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27022] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27022/stat : 27022 (java) S 27010 27010 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511188990 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609069533552 140609818978946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27023] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27023/stat : 27023 (java) S 27010 27010 25802 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511188990 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609068479520 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27024] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27024/stat : 27024 (java) S 27010 27010 25802 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511188990 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609067426672 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27025] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27025/stat : 27025 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188993 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609066374992 140609818986395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27026] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27026/stat : 27026 (java) S 27010 27010 25802 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 511188993 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609065323376 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27027] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27027/stat : 27027 (java) S 27010 27010 25802 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 20 0 511188993 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609064270576 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27028] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27028/stat : 27028 (java) R 27010 27010 25802 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 20 0 511188993 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609063217776 140609804385744 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27029] ppid=27010 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/27012/task/27029/stat : 27029 (java) R 27010 27010 25802 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 511188993 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609062164976 140609811204926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27030] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27030/stat : 27030 (java) S 27010 27010 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188993 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609061112416 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27031] ppid=27010 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27012/task/27031/stat : 27031 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188993 28904853504 7617 33554432000 4194304 4196468 140723040504256 140609060059696 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31920 KiB [startup+0.210542 s]* /proc/loadavg: 8.03 8.20 7.87 3/211 27031 /proc/meminfo: memFree=24744708/32770624 swapFree=66976772/67108860 [pid=27010] ppid=27007 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27010/stat : 27010 (xcsp3-exec) S 27007 27010 25802 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511188987 115843072 363 33554432000 4194304 5098028 140724524202400 140724524200504 139797677720188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16797696 140724524208977 140724524209237 140724524209237 140724524212166 0 /proc/27010/statm: 28282 363 304 221 0 87 0 [pid=27012] ppid=27010 vsize=28227396 memory=40844 CPUtime=0.33 cores=0-7 /proc/27012/stat : 27012 (java) S 27010 27010 25802 0 -1 1077944320 8939 0 0 0 31 2 0 0 20 0 20 0 511188987 28904853504 10211 33554432000 4194304 4196468 140723040504256 140723040486800 140609818967799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 /proc/27012/statm: 7056849 10211 3299 1 0 7019032 0 [pid=27012/tid=27013] ppid=27010 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/27012/task/27013/stat : 27013 (java) R 27010 27010 25802 0 -1 4202560 6200 0 0 0 18 2 0 0 20 0 20 0 511188987 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609823205616 140609818978005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27014] ppid=27010 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/27012/task/27014/stat : 27014 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609782074000 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27015] ppid=27010 vsize=28227396 memory=288370820871870080 CPUtime=0 cores=0-7 /proc/27012/task/27015/stat : 27015 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609369004560 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27016] ppid=27010 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27012/task/27016/stat : 27016 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609367951760 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27017] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27017/stat : 27017 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609366898960 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27018] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27018/stat : 27018 (java) S 27010 27010 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609365847184 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27019] ppid=27010 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27012/task/27019/stat : 27019 (java) S 27010 27010 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609364794384 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27020] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27020/stat : 27020 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609363741584 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27021] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27021/stat : 27021 (java) S 27010 27010 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188988 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609362688784 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27022] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27022/stat : 27022 (java) S 27010 27010 25802 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511188990 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609069533552 140609818978946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27023] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27023/stat : 27023 (java) S 27010 27010 25802 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511188990 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609068479520 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27024] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27024/stat : 27024 (java) S 27010 27010 25802 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511188990 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609067426672 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27025] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27025/stat : 27025 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188993 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609066374992 140609818986395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27026] ppid=27010 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/27012/task/27026/stat : 27026 (java) S 27010 27010 25802 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 20 0 511188993 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609065323376 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27027] ppid=27010 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/27012/task/27027/stat : 27027 (java) S 27010 27010 25802 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 20 0 511188993 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609064270576 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27028] ppid=27010 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/27012/task/27028/stat : 27028 (java) S 27010 27010 25802 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 20 0 511188993 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609063217776 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27029] ppid=27010 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/27012/task/27029/stat : 27029 (java) R 27010 27010 25802 0 -1 4202560 764 0 0 0 8 0 0 0 20 0 20 0 511188993 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609062164976 140609818989146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27030] ppid=27010 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27030/stat : 27030 (java) S 27010 27010 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188993 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609061112416 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27031] ppid=27010 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27012/task/27031/stat : 27031 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188993 28904853504 10211 33554432000 4194304 4196468 140723040504256 140609060059696 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42296 KiB [startup+0.310261 s]* /proc/loadavg: 8.03 8.20 7.87 4/211 27031 /proc/meminfo: memFree=24736816/32770624 swapFree=66976772/67108860 [pid=27010] ppid=27007 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27010/stat : 27010 (xcsp3-exec) S 27007 27010 25802 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511188987 115843072 363 33554432000 4194304 5098028 140724524202400 140724524200504 139797677720188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16797696 140724524208977 140724524209237 140724524209237 140724524212166 0 /proc/27010/statm: 28282 363 304 221 0 87 0 [pid=27012] ppid=27010 vsize=28231652 memory=49896 CPUtime=0.53 cores=0-7 /proc/27012/stat : 27012 (java) S 27010 27010 25802 0 -1 1077944320 10313 0 0 0 49 4 0 0 20 0 20 0 511188987 28909211648 12474 33554432000 4194304 4196468 140723040504256 140723040486800 140609818967799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 /proc/27012/statm: 7057913 12474 3352 1 0 7019032 0 [pid=27012/tid=27013] ppid=27010 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/27012/task/27013/stat : 27013 (java) R 27010 27010 25802 0 -1 4202560 7332 0 0 0 27 3 0 0 20 0 20 0 511188987 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609823198912 140609811204926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27014] ppid=27010 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27014/stat : 27014 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609782074000 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27015] ppid=27010 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27015/stat : 27015 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609369004560 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27016] ppid=27010 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27016/stat : 27016 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609367951760 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27017] ppid=27010 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27017/stat : 27017 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609366898960 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27018] ppid=27010 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/27012/task/27018/stat : 27018 (java) S 27010 27010 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511188988 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609365847184 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27019] ppid=27010 vsize=28231652 memory=140444558259119 CPUtime=0 cores=0-7 /proc/27012/task/27019/stat : 27019 (java) S 27010 27010 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511188988 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609364794384 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27020] ppid=27010 vsize=28231652 memory=140444558261424 CPUtime=0 cores=0-7 /proc/27012/task/27020/stat : 27020 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609363741584 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27021] ppid=27010 vsize=28231652 memory=140444558263728 CPUtime=0 cores=0-7 /proc/27012/task/27021/stat : 27021 (java) S 27010 27010 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188988 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609362688784 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27022] ppid=27010 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27022/stat : 27022 (java) S 27010 27010 25802 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511188990 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609069533552 140609818978946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27023] ppid=27010 vsize=28231652 memory=280889116534416 CPUtime=0 cores=0-7 /proc/27012/task/27023/stat : 27023 (java) S 27010 27010 25802 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511188990 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609068479520 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27024] ppid=27010 vsize=28231652 memory=280889116541328 CPUtime=0 cores=0-7 /proc/27012/task/27024/stat : 27024 (java) S 27010 27010 25802 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511188990 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609067426672 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27025] ppid=27010 vsize=28231652 memory=280889116482608 CPUtime=0 cores=0-7 /proc/27012/task/27025/stat : 27025 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188993 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609066374992 140609818986395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27026] ppid=27010 vsize=28231652 memory=280889116555152 CPUtime=0.02 cores=0-7 /proc/27012/task/27026/stat : 27026 (java) S 27010 27010 25802 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 20 0 511188993 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609065323376 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27027] ppid=27010 vsize=28231652 memory=280889116562064 CPUtime=0.03 cores=0-7 /proc/27012/task/27027/stat : 27027 (java) R 27010 27010 25802 0 -1 4202560 424 0 0 0 3 0 0 0 20 0 20 0 511188993 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609064251592 140609798211952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27028] ppid=27010 vsize=28231652 memory=280889116559760 CPUtime=0.02 cores=0-7 /proc/27012/task/27028/stat : 27028 (java) S 27010 27010 25802 0 -1 1077944384 140 0 0 0 2 0 0 0 20 0 20 0 511188993 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609063217776 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27029] ppid=27010 vsize=28231652 memory=280889116575920 CPUtime=0.13 cores=0-7 /proc/27012/task/27029/stat : 27029 (java) S 27010 27010 25802 0 -1 1077944384 902 0 0 0 13 0 0 0 20 0 20 0 511188993 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609062164976 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27030] ppid=27010 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27030/stat : 27030 (java) S 27010 27010 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188993 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609061112416 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27031] ppid=27010 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/27012/task/27031/stat : 27031 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188993 28909211648 12474 33554432000 4194304 4196468 140723040504256 140609060059696 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51348 KiB [startup+0.700992 s] /proc/loadavg: 8.03 8.20 7.87 4/211 27031 /proc/meminfo: memFree=24727216/32770624 swapFree=66976772/67108860 [pid=27010] ppid=27007 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27010/stat : 27010 (xcsp3-exec) S 27007 27010 25802 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511188987 115843072 363 33554432000 4194304 5098028 140724524202400 140724524200504 139797677720188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16797696 140724524208977 140724524209237 140724524209237 140724524212166 0 /proc/27010/statm: 28282 363 304 221 0 87 0 [pid=27012] ppid=27010 vsize=28233776 memory=70852 CPUtime=1.38 cores=0-7 /proc/27012/stat : 27012 (java) S 27010 27010 25802 0 -1 1077944320 13433 0 0 0 132 6 0 0 20 0 20 0 511188987 28911386624 17713 33554432000 4194304 4196468 140723040504256 140723040486800 140609818967799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 /proc/27012/statm: 7058444 17713 3450 1 0 7019544 0 [pid=27012/tid=27013] ppid=27010 vsize=28233776 memory=280889116933808 CPUtime=0.67 cores=0-7 /proc/27012/task/27013/stat : 27013 (java) R 27010 27010 25802 0 -1 4202560 8703 0 0 0 63 4 0 0 20 0 20 0 511188987 28911386624 17713 33554432000 4194304 4196468 140723040504256 140609823205600 140609457801858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27014] ppid=27010 vsize=28233776 memory=140444558467952 CPUtime=0 cores=0-7 /proc/27012/task/27014/stat : 27014 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28911386624 17713 33554432000 4194304 4196468 140723040504256 140609782074000 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27015] ppid=27010 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27015/stat : 27015 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28911386624 17713 33554432000 4194304 4196468 140723040504256 140609369004560 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27016] ppid=27010 vsize=28233776 memory=1060 CPUtime=0 cores=0-7 /proc/27012/task/27016/stat : 27016 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188988 28911386624 17713 33554432000 4194304 4196468 140723040504256 140609367951760 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 ################ # More data... # ################ [pid=27012/tid=27021] ppid=27010 vsize=28766288 memory=641772 CPUtime=0.05 cores=0-7 /proc/27012/task/27021/stat : 27021 (java) S 27010 27010 25802 0 -1 1077944384 358 0 0 0 3 2 0 0 20 0 28 0 511188988 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609362688784 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27022] ppid=27010 vsize=28766288 memory=1760 CPUtime=0.03 cores=0-7 /proc/27012/task/27022/stat : 27022 (java) S 27010 27010 25802 0 -1 1077944384 1183 0 0 0 2 1 0 0 20 0 28 0 511188990 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609069533552 140609818978946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27023] ppid=27010 vsize=28766288 memory=111636 CPUtime=0 cores=0-7 /proc/27012/task/27023/stat : 27023 (java) S 27010 27010 25802 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 511188990 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609068479584 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27024] ppid=27010 vsize=28766288 memory=800 CPUtime=0 cores=0-7 /proc/27012/task/27024/stat : 27024 (java) S 27010 27010 25802 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 511188990 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609067426688 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27025] ppid=27010 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/27012/task/27025/stat : 27025 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609066374992 140609818986395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27026] ppid=27010 vsize=28766288 memory=0 CPUtime=1.52 cores=0-7 /proc/27012/task/27026/stat : 27026 (java) S 27010 27010 25802 0 -1 1077944384 12461 0 0 0 150 2 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609065323376 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27027] ppid=27010 vsize=28766288 memory=140444558704032 CPUtime=1.62 cores=0-7 /proc/27012/task/27027/stat : 27027 (java) S 27010 27010 25802 0 -1 1077944384 8256 0 0 0 160 2 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609064270576 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27028] ppid=27010 vsize=28766288 memory=4096 CPUtime=1.77 cores=0-7 /proc/27012/task/27028/stat : 27028 (java) S 27010 27010 25802 0 -1 1077944384 9520 0 0 0 173 4 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609063217776 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27029] ppid=27010 vsize=28766288 memory=3636 CPUtime=0.61 cores=0-7 /proc/27012/task/27029/stat : 27029 (java) S 27010 27010 25802 0 -1 1077944384 4287 0 0 0 61 0 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609062164976 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27030] ppid=27010 vsize=28766288 memory=776 CPUtime=0 cores=0-7 /proc/27012/task/27030/stat : 27030 (java) S 27010 27010 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609061112416 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27031] ppid=27010 vsize=28766288 memory=1564 CPUtime=0 cores=0-7 /proc/27012/task/27031/stat : 27031 (java) S 27010 27010 25802 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609060059696 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27032] ppid=27010 vsize=28766288 memory=6116 CPUtime=20.06 cores=0-7 /proc/27012/task/27032/stat : 27032 (java) R 27010 27010 25802 0 -1 4202560 335 0 0 0 2006 0 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609050844120 140609459896888 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27033] ppid=27010 vsize=28766288 memory=1060 CPUtime=19.94 cores=0-7 /proc/27012/task/27033/stat : 27033 (java) R 27010 27010 25802 0 -1 4202560 294 0 0 0 1994 0 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609049788512 140609461021144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27034] ppid=27010 vsize=28766288 memory=2828 CPUtime=19.86 cores=0-7 /proc/27012/task/27034/stat : 27034 (java) R 27010 27010 25802 0 -1 4202560 424 0 0 0 1984 2 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609048736360 140609460923575 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27035] ppid=27010 vsize=28766288 memory=1216 CPUtime=19.79 cores=0-7 /proc/27012/task/27035/stat : 27035 (java) R 27010 27010 25802 0 -1 4202560 788 0 0 0 1974 5 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609047684072 140609460767324 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27036] ppid=27010 vsize=28766288 memory=984 CPUtime=19.78 cores=0-7 /proc/27012/task/27036/stat : 27036 (java) R 27010 27010 25802 0 -1 4202560 511 0 0 0 1976 2 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609046631432 140609459656768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27037] ppid=27010 vsize=28766288 memory=14004 CPUtime=19.77 cores=0-7 /proc/27012/task/27037/stat : 27037 (java) R 27010 27010 25802 0 -1 4202560 487 0 0 0 1975 2 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609045580752 140609461594605 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27038] ppid=27010 vsize=28766288 memory=35428 CPUtime=20.13 cores=0-7 /proc/27012/task/27038/stat : 27038 (java) R 27010 27010 25802 0 -1 4202560 285 0 0 0 2013 0 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609044525696 140723040733398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27039] ppid=27010 vsize=28766288 memory=14048 CPUtime=19.95 cores=0-7 /proc/27012/task/27039/stat : 27039 (java) R 27010 27010 25802 0 -1 4202560 445 0 0 0 1991 4 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609043476176 140609460923205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 Current children cumulated CPU time: 166.35 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 642208 KiB [startup+21.8011 s] /proc/loadavg: 8.69 8.34 7.93 9/219 27041 /proc/meminfo: memFree=24146732/32770624 swapFree=66976772/67108860 [pid=27010] ppid=27007 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27010/stat : 27010 (xcsp3-exec) S 27007 27010 25802 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511188987 115843072 363 33554432000 4194304 5098028 140724524202400 140724524200504 139797677720188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16797696 140724524208977 140724524209237 140724524209237 140724524212166 0 /proc/27010/statm: 28282 363 304 221 0 87 0 [pid=27012] ppid=27010 vsize=28766288 memory=640756 CPUtime=167.7 cores=0-7 /proc/27012/stat : 27012 (java) S 27010 27010 25802 0 -1 1077944320 52865 0 0 0 16710 60 0 0 20 0 28 0 511188987 29456678912 160189 33554432000 4194304 4196468 140723040504256 140723040486800 140609818967799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 /proc/27012/statm: 7191572 160189 3528 1 0 7152672 0 [pid=27012/tid=27013] ppid=27010 vsize=28766288 memory=14981057220971048 CPUtime=0.84 cores=0-7 /proc/27012/task/27013/stat : 27013 (java) S 27010 27010 25802 0 -1 1077944384 8786 0 0 0 80 4 0 0 20 0 28 0 511188987 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609823208576 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27014] ppid=27010 vsize=28766288 memory=6791534058613427641 CPUtime=0.05 cores=0-7 /proc/27012/task/27014/stat : 27014 (java) S 27010 27010 25802 0 -1 1077944384 115 0 0 0 3 2 0 0 20 0 28 0 511188988 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609782074000 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27015] ppid=27010 vsize=28766288 memory=1772 CPUtime=0.05 cores=0-7 /proc/27012/task/27015/stat : 27015 (java) S 27010 27010 25802 0 -1 1077944384 198 0 0 0 3 2 0 0 20 0 28 0 511188988 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609369004560 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27016] ppid=27010 vsize=28766288 memory=816 CPUtime=0.05 cores=0-7 /proc/27012/task/27016/stat : 27016 (java) S 27010 27010 25802 0 -1 1077944384 698 0 0 0 3 2 0 0 20 0 28 0 511188988 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609367951760 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27017] ppid=27010 vsize=28766288 memory=1436 CPUtime=0.05 cores=0-7 /proc/27012/task/27017/stat : 27017 (java) S 27010 27010 25802 0 -1 1077944384 171 0 0 0 3 2 0 0 20 0 28 0 511188988 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609366898960 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27018] ppid=27010 vsize=28766288 memory=1984 CPUtime=0.06 cores=0-7 /proc/27012/task/27018/stat : 27018 (java) S 27010 27010 25802 0 -1 1077944384 175 0 0 0 3 3 0 0 20 0 28 0 511188988 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609365847184 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27019] ppid=27010 vsize=28766288 memory=2580 CPUtime=0.07 cores=0-7 /proc/27012/task/27019/stat : 27019 (java) S 27010 27010 25802 0 -1 1077944384 114 0 0 0 4 3 0 0 20 0 28 0 511188988 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609364794384 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27020] ppid=27010 vsize=28766288 memory=1760 CPUtime=0.07 cores=0-7 /proc/27012/task/27020/stat : 27020 (java) S 27010 27010 25802 0 -1 1077944384 711 0 0 0 4 3 0 0 20 0 28 0 511188988 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609363741584 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27021] ppid=27010 vsize=28766288 memory=111636 CPUtime=0.05 cores=0-7 /proc/27012/task/27021/stat : 27021 (java) S 27010 27010 25802 0 -1 1077944384 358 0 0 0 3 2 0 0 20 0 28 0 511188988 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609362688784 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27022] ppid=27010 vsize=28766288 memory=800 CPUtime=0.03 cores=0-7 /proc/27012/task/27022/stat : 27022 (java) S 27010 27010 25802 0 -1 1077944384 1183 0 0 0 2 1 0 0 20 0 28 0 511188990 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609069533552 140609818978946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27023] ppid=27010 vsize=28766288 memory=1808 CPUtime=0 cores=0-7 /proc/27012/task/27023/stat : 27023 (java) S 27010 27010 25802 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 511188990 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609068479584 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27024] ppid=27010 vsize=28766288 memory=924 CPUtime=0 cores=0-7 /proc/27012/task/27024/stat : 27024 (java) S 27010 27010 25802 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 511188990 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609067426688 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27025] ppid=27010 vsize=28766288 memory=4488 CPUtime=0 cores=0-7 /proc/27012/task/27025/stat : 27025 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609066374992 140609818986395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27026] ppid=27010 vsize=28766288 memory=4096 CPUtime=1.52 cores=0-7 /proc/27012/task/27026/stat : 27026 (java) S 27010 27010 25802 0 -1 1077944384 12463 0 0 0 150 2 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609065323376 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27027] ppid=27010 vsize=28766288 memory=1412 CPUtime=1.62 cores=0-7 /proc/27012/task/27027/stat : 27027 (java) S 27010 27010 25802 0 -1 1077944384 8258 0 0 0 160 2 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609064270576 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27028] ppid=27010 vsize=28766288 memory=3100 CPUtime=1.77 cores=0-7 /proc/27012/task/27028/stat : 27028 (java) S 27010 27010 25802 0 -1 1077944384 9522 0 0 0 173 4 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609063217776 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27029] ppid=27010 vsize=28766288 memory=1216 CPUtime=0.61 cores=0-7 /proc/27012/task/27029/stat : 27029 (java) S 27010 27010 25802 0 -1 1077944384 4707 0 0 0 61 0 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609062164976 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27030] ppid=27010 vsize=28766288 memory=984 CPUtime=0 cores=0-7 /proc/27012/task/27030/stat : 27030 (java) S 27010 27010 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609061112416 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27031] ppid=27010 vsize=28766288 memory=14004 CPUtime=0 cores=0-7 /proc/27012/task/27031/stat : 27031 (java) S 27010 27010 25802 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 28 0 511188993 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609060059696 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27032] ppid=27010 vsize=28766288 memory=35428 CPUtime=20.22 cores=0-7 /proc/27012/task/27032/stat : 27032 (java) S 27010 27010 25802 0 -1 1077944384 367 0 0 0 2022 0 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609050844608 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27033] ppid=27010 vsize=28766288 memory=14048 CPUtime=20.11 cores=0-7 /proc/27012/task/27033/stat : 27033 (java) S 27010 27010 25802 0 -1 1077944384 316 0 0 0 2011 0 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609049793232 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27034] ppid=27010 vsize=28766288 memory=2124 CPUtime=20.06 cores=0-7 /proc/27012/task/27034/stat : 27034 (java) R 27010 27010 25802 0 -1 4202560 425 0 0 0 2004 2 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609048740664 140609460923536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27035] ppid=27010 vsize=28766288 memory=500 CPUtime=19.95 cores=0-7 /proc/27012/task/27035/stat : 27035 (java) S 27010 27010 25802 0 -1 1077944384 812 0 0 0 1990 5 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609047688656 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27036] ppid=27010 vsize=28766288 memory=1556 CPUtime=19.94 cores=0-7 /proc/27012/task/27036/stat : 27036 (java) S 27010 27010 25802 0 -1 1077944384 567 0 0 0 1992 2 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609046635856 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27037] ppid=27010 vsize=28766288 memory=928 CPUtime=19.93 cores=0-7 /proc/27012/task/27037/stat : 27037 (java) S 27010 27010 25802 0 -1 1077944384 521 0 0 0 1991 2 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609045583056 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27038] ppid=27010 vsize=28766288 memory=1772 CPUtime=20.29 cores=0-7 /proc/27012/task/27038/stat : 27038 (java) S 27010 27010 25802 0 -1 1077944384 306 0 0 0 2029 0 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609044530256 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27039] ppid=27010 vsize=28766288 memory=816 CPUtime=20.11 cores=0-7 /proc/27012/task/27039/stat : 27039 (java) S 27010 27010 25802 0 -1 1077944384 585 0 0 0 2007 4 0 0 20 0 28 0 511189074 29456678912 160189 33554432000 4194304 4196468 140723040504256 140609043477456 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 Current children cumulated CPU time: 167.7 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 642208 KiB [startup+21.9011 s] /proc/loadavg: 8.69 8.34 7.93 9/219 27041 /proc/meminfo: memFree=24146732/32770624 swapFree=66976772/67108860 [pid=27010] ppid=27007 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27010/stat : 27010 (xcsp3-exec) S 27007 27010 25802 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511188987 115843072 363 33554432000 4194304 5098028 140724524202400 140724524200504 139797677720188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16797696 140724524208977 140724524209237 140724524209237 140724524212166 0 /proc/27010/statm: 28282 363 304 221 0 87 0 [pid=27012] ppid=27010 vsize=28766288 memory=640356 CPUtime=167.8 cores=0-7 /proc/27012/stat : 27012 (java) S 27010 27010 25802 0 -1 1077944320 53083 0 0 0 16720 60 0 0 20 0 20 0 511188987 29456678912 160089 33554432000 4194304 4196468 140723040504256 140723040486800 140609818967799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 /proc/27012/statm: 7191572 160089 3530 1 0 7152672 0 [pid=27012/tid=27013] ppid=27010 vsize=28766288 memory=288230574492221466 CPUtime=0.84 cores=0-7 /proc/27012/task/27013/stat : 27013 (java) R 27010 27010 25802 0 -1 4202560 8891 0 0 0 80 4 0 0 20 0 20 0 511188987 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609823208664 140609457665120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27014] ppid=27010 vsize=28766288 memory=317222505767239994 CPUtime=0.05 cores=0-7 /proc/27012/task/27014/stat : 27014 (java) S 27010 27010 25802 0 -1 1077944384 115 0 0 0 3 2 0 0 20 0 20 0 511188988 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609782074000 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27015] ppid=27010 vsize=28766288 memory=626684 CPUtime=0.05 cores=0-7 /proc/27012/task/27015/stat : 27015 (java) S 27010 27010 25802 0 -1 1077944384 198 0 0 0 3 2 0 0 20 0 20 0 511188988 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609369004560 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27016] ppid=27010 vsize=28766288 memory=1966187 CPUtime=0.05 cores=0-7 /proc/27012/task/27016/stat : 27016 (java) S 27010 27010 25802 0 -1 1077944384 698 0 0 0 3 2 0 0 20 0 20 0 511188988 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609367951760 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27017] ppid=27010 vsize=28766288 memory=5 CPUtime=0.05 cores=0-7 /proc/27012/task/27017/stat : 27017 (java) S 27010 27010 25802 0 -1 1077944384 171 0 0 0 3 2 0 0 20 0 20 0 511188988 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609366898960 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27018] ppid=27010 vsize=28766288 memory=6 CPUtime=0.06 cores=0-7 /proc/27012/task/27018/stat : 27018 (java) S 27010 27010 25802 0 -1 1077944384 175 0 0 0 3 3 0 0 20 0 20 0 511188988 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609365847184 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27019] ppid=27010 vsize=28766288 memory=3620 CPUtime=0.07 cores=0-7 /proc/27012/task/27019/stat : 27019 (java) S 27010 27010 25802 0 -1 1077944384 114 0 0 0 4 3 0 0 20 0 20 0 511188988 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609364794384 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27020] ppid=27010 vsize=28766288 memory=1660 CPUtime=0.07 cores=0-7 /proc/27012/task/27020/stat : 27020 (java) S 27010 27010 25802 0 -1 1077944384 711 0 0 0 4 3 0 0 20 0 20 0 511188988 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609363741584 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27021] ppid=27010 vsize=28766288 memory=640744 CPUtime=0.05 cores=0-7 /proc/27012/task/27021/stat : 27021 (java) S 27010 27010 25802 0 -1 1077944384 358 0 0 0 3 2 0 0 20 0 20 0 511188988 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609362688784 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27022] ppid=27010 vsize=28766288 memory=1452 CPUtime=0.03 cores=0-7 /proc/27012/task/27022/stat : 27022 (java) S 27010 27010 25802 0 -1 1077944384 1183 0 0 0 2 1 0 0 20 0 20 0 511188990 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609069533552 140609818978946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27023] ppid=27010 vsize=28766288 memory=641772 CPUtime=0 cores=0-7 /proc/27012/task/27023/stat : 27023 (java) S 27010 27010 25802 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 511188990 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609068479584 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27024] ppid=27010 vsize=28766288 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/27012/task/27024/stat : 27024 (java) S 27010 27010 25802 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 511188990 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609067426688 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27025] ppid=27010 vsize=28766288 memory=500 CPUtime=0 cores=0-7 /proc/27012/task/27025/stat : 27025 (java) S 27010 27010 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188993 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609066374992 140609818986395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27026] ppid=27010 vsize=28766288 memory=1556 CPUtime=1.52 cores=0-7 /proc/27012/task/27026/stat : 27026 (java) S 27010 27010 25802 0 -1 1077944384 12463 0 0 0 150 2 0 0 20 0 20 0 511188993 29456678912 160089 33554432000 4194304 4196468 140723040504256 140609065323376 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27027] ppid=27010 vsize=28766288 memory=1452 CPUtime=1.62 cores=0-7 /proc/27012/task/27027/stat : 27027 (java) S 27010 27010 25802 0 -1 1077944384 8258 0 0 0 160 2 0 0 20 0 20 0 511188993 29456678912 160090 33554432000 4194304 4196468 140723040504256 140609064270576 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27028] ppid=27010 vsize=28766288 memory=632028 CPUtime=1.77 cores=0-7 /proc/27012/task/27028/stat : 27028 (java) S 27010 27010 25802 0 -1 1077944384 9522 0 0 0 173 4 0 0 20 0 20 0 511188993 29456678912 160090 33554432000 4194304 4196468 140723040504256 140609063217776 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27029] ppid=27010 vsize=28766288 memory=580 CPUtime=0.61 cores=0-7 /proc/27012/task/27029/stat : 27029 (java) R 27010 27010 25802 0 -1 4202560 4768 0 0 0 61 0 0 0 20 0 20 0 511188993 29456678912 160090 33554432000 4194304 4196468 140723040504256 140609062164864 140609800374185 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27030] ppid=27010 vsize=28766288 memory=1716 CPUtime=0 cores=0-7 /proc/27012/task/27030/stat : 27030 (java) S 27010 27010 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188993 29456678912 160090 33554432000 4194304 4196468 140723040504256 140609061112416 140609818978005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 [pid=27012/tid=27031] ppid=27010 vsize=28766288 memory=1452 CPUtime=0 cores=0-7 /proc/27012/task/27031/stat : 27031 (java) S 27010 27010 25802 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 20 0 511188993 29456678912 160090 33554432000 4194304 4196468 140723040504256 140609060059696 140609818978946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15085568 140723040506838 140723040507014 140723040507014 140723040509903 0 Current children cumulated CPU time: 167.8 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 641808 KiB Child status: 0 Real time (s): 21.9154 CPU time (s): 167.827 CPU user time (s): 167.21 CPU system time (s): 0.616694 CPU usage (%): 765.793 Max. virtual memory (cumulated for all children) (KiB): 28881440 Max. memory (cumulated for all children) (KiB): 643224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 167.21 system time used= 0.616694 maximum resident set size= 644860 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54282 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5867 involuntary context switches= 2639 # summary of solver processes directly reported to runsolver: # pid: 27010 # total CPU time (s): 167.827 # total CPU user time (s): 167.21 # total CPU system time (s): 0.616694 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.269653 second user time and 0.229782 second system time The end
Begin job on node124 at 2019-09-24 21:14:08 IDJOB=4406795 IDBENCH=133326 IDSOLVER=2871 FILE ID=node124/4406795-1569352489 RUNJOBID= node124-1569349254-25829 PBS_JOBID= 21705088 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Primes/Primes-m1-p20/Primes-20-40-2-7.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406795-1569352489/watcher-4406795-1569352489 -o /var/tmp/evaluation-result-4406795-1569352489/solver-4406795-1569352489 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569349254-25829 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1299636919 HOME/instance-4406795-1569352489.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 37689576328d0295b96bd2728694e285 RANDOM SEED=1299636919 node124.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.47 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.47 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.47 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.47 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: 24774284 kB MemAvailable: 31811124 kB Buffers: 131772 kB Cached: 6997872 kB SwapCached: 29076 kB Active: 3511992 kB Inactive: 3652820 kB Active(anon): 2912 kB Inactive(anon): 89996 kB Active(file): 3509080 kB Inactive(file): 3562824 kB Unevictable: 108364 kB Mlocked: 108364 kB SwapTotal: 67108860 kB SwapFree: 66976772 kB Dirty: 26096 kB Writeback: 0 kB AnonPages: 115748 kB Mapped: 57604 kB Shmem: 49092 kB Slab: 422276 kB SReclaimable: 393396 kB SUnreclaim: 28880 kB KernelStack: 3392 kB PageTables: 6232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 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 /var/tmp at the end= 13484 MiB End job on node124 at 2019-09-24 21:14:30