Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | SAT | 28.0373 | 4.07585 |
Name | Primes/ Primes-m1-p10/Primes-10-40-2-7.xml |
MD5SUM | c03c7f5b7c3afa870e2bbdca7571e3a2 |
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 | 0.264843 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 40 |
Number of domains | 1 |
Minimum domain size | 28 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":28,"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-4404345-1569002130.xml" -tl '20160s' -p 8 0.11/0.18 c Choco 3fb4b153 0.11/0.18 c [HOME/instance-4404345-1569002130.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.33/0.64 c solve instance... 27.68/4.05 s SATISFIABLE 27.68/4.05 v <instantiation> 27.68/4.05 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> 27.68/4.05 v <values>7 19 16 10 13 16 4 25 4 5 17 3 6 10 17 14 7 28 2 22 24 21 20 3 8 22 27 4 14 16 27 24 6 13 2 7 4 27 2 28 5 25 12 25 8 5 9 5 20 12 29 10 18 3 3 3 24 28 20 29 13 7 16 16 13 16 29 29 2 11 22 27 15 8 12 8 5 3 25 7 5 17 29 22 7 16 11 2 </values> 27.68/4.05 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 (9727 MiB free) memory of node 1: 16384 MiB (8265 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404345-1569002130/watcher-4404345-1569002130 -o /tmp/evaluation-result-4404345-1569002130/solver-4404345-1569002130 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 83442996 HOME/instance-4404345-1569002130.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=18450, runsolver pid=18447 [startup+0.100115 s]* /proc/loadavg: 5.98 7.56 8.00 2/210 18471 /proc/meminfo: memFree=18407740/32770624 swapFree=66986244/67108860 [pid=18450] ppid=18447 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18450/stat : 18450 (xcsp3-exec) S 18447 18450 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476469912 115843072 363 33554432000 4194304 5098028 140728121676848 140728121674952 140292320989820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30334976 140728121680759 140728121681001 140728121681001 140728121683914 0 /proc/18450/statm: 28282 363 304 221 0 87 0 [pid=18452] ppid=18450 vsize=28227396 memory=29204 CPUtime=0.11 cores=0-7 /proc/18452/stat : 18452 (java) S 18450 18450 14667 0 -1 1077944320 5771 0 0 0 10 1 0 0 20 0 20 0 476469912 28904853504 7301 33554432000 4194304 4196468 140733406249648 140733406232192 140360550350583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 /proc/18452/statm: 7056849 7301 3117 1 0 7019032 0 [pid=18452/tid=18453] ppid=18450 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/18452/task/18453/stat : 18453 (java) R 18450 18450 14667 0 -1 4202560 3690 0 0 0 8 1 0 0 20 0 20 0 476469912 28904853504 7301 33554432000 4194304 4196468 140733406249648 140360554578608 140360530995250 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18454] ppid=18450 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/18452/task/18454/stat : 18454 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 7301 33554432000 4194304 4196468 140733406249648 140360502971024 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18455] ppid=18450 vsize=28227396 memory=140555106506368 CPUtime=0 cores=0-7 /proc/18452/task/18455/stat : 18455 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 7301 33554432000 4194304 4196468 140733406249648 140360501918224 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18456] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18456/stat : 18456 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 7301 33554432000 4194304 4196468 140733406249648 140360500865424 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18457] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18457/stat : 18457 (java) S 18450 18450 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 7301 33554432000 4194304 4196468 140733406249648 140360499812624 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18458] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18458/stat : 18458 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 7301 33554432000 4194304 4196468 140733406249648 140360498760848 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18459] ppid=18450 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18452/task/18459/stat : 18459 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 7301 33554432000 4194304 4196468 140733406249648 140360497708048 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18460] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18460/stat : 18460 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 7301 33554432000 4194304 4196468 140733406249648 140360496655248 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18461] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18461/stat : 18461 (java) S 18450 18450 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 7301 33554432000 4194304 4196468 140733406249648 140360495602448 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18462] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18462/stat : 18462 (java) S 18450 18450 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476469914 28904853504 7301 33554432000 4194304 4196468 140733406249648 140359934994800 140360550361730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18463] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18463/stat : 18463 (java) S 18450 18450 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476469915 28904853504 7301 33554432000 4194304 4196468 140733406249648 140359866770464 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18464] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18464/stat : 18464 (java) S 18450 18450 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476469915 28904853504 7301 33554432000 4194304 4196468 140733406249648 140359865717616 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18465] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18465/stat : 18465 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469918 28904853504 7301 33554432000 4194304 4196468 140733406249648 140359864665936 140360550369179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18466] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18466/stat : 18466 (java) S 18450 18450 14667 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 476469918 28904853504 7301 33554432000 4194304 4196468 140733406249648 140359863614320 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18467] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18467/stat : 18467 (java) S 18450 18450 14667 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476469918 28904853504 7301 33554432000 4194304 4196468 140733406249648 140359862561520 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18468] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18468/stat : 18468 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469918 28904853504 7301 33554432000 4194304 4196468 140733406249648 140359861508720 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18469] ppid=18450 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/18452/task/18469/stat : 18469 (java) S 18450 18450 14667 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 476469918 28904853504 7301 33554432000 4194304 4196468 140733406249648 140359860455920 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18470] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18470/stat : 18470 (java) S 18450 18450 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476469918 28904853504 7301 33554432000 4194304 4196468 140733406249648 140359859403360 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18471] ppid=18450 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18452/task/18471/stat : 18471 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469918 28904853504 7301 33554432000 4194304 4196468 140733406249648 140359858350640 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30656 KiB [startup+0.210209 s]* /proc/loadavg: 5.98 7.56 8.00 3/210 18471 /proc/meminfo: memFree=18394880/32770624 swapFree=66986244/67108860 [pid=18450] ppid=18447 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18450/stat : 18450 (xcsp3-exec) S 18447 18450 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476469912 115843072 363 33554432000 4194304 5098028 140728121676848 140728121674952 140292320989820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30334976 140728121680759 140728121681001 140728121681001 140728121683914 0 /proc/18450/statm: 28282 363 304 221 0 87 0 [pid=18452] ppid=18450 vsize=28227396 memory=41408 CPUtime=0.33 cores=0-7 /proc/18452/stat : 18452 (java) S 18450 18450 14667 0 -1 1077944320 9510 0 0 0 30 3 0 0 20 0 20 0 476469912 28904853504 10352 33554432000 4194304 4196468 140733406249648 140733406232192 140360550350583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 /proc/18452/statm: 7056849 10352 3327 1 0 7019032 0 [pid=18452/tid=18453] ppid=18450 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/18452/task/18453/stat : 18453 (java) S 18450 18450 14667 0 -1 1077944384 6663 0 0 0 17 2 0 0 20 0 20 0 476469912 28904853504 10352 33554432000 4194304 4196468 140733406249648 140360554584464 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18454] ppid=18450 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/18452/task/18454/stat : 18454 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 10352 33554432000 4194304 4196468 140733406249648 140360502971024 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18455] ppid=18450 vsize=28227396 memory=140555109898044 CPUtime=0 cores=0-7 /proc/18452/task/18455/stat : 18455 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 10352 33554432000 4194304 4196468 140733406249648 140360501918224 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18456] ppid=18450 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18452/task/18456/stat : 18456 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 10352 33554432000 4194304 4196468 140733406249648 140360500865424 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18457] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18457/stat : 18457 (java) S 18450 18450 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 10352 33554432000 4194304 4196468 140733406249648 140360499812624 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18458] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18458/stat : 18458 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 10352 33554432000 4194304 4196468 140733406249648 140360498760848 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18459] ppid=18450 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18452/task/18459/stat : 18459 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 10352 33554432000 4194304 4196468 140733406249648 140360497708048 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18460] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18460/stat : 18460 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 10352 33554432000 4194304 4196468 140733406249648 140360496655248 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18461] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18461/stat : 18461 (java) S 18450 18450 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476469913 28904853504 10352 33554432000 4194304 4196468 140733406249648 140360495602448 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18462] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18462/stat : 18462 (java) S 18450 18450 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476469914 28904853504 10352 33554432000 4194304 4196468 140733406249648 140359934994800 140360550361730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18463] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18463/stat : 18463 (java) S 18450 18450 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476469915 28904853504 10352 33554432000 4194304 4196468 140733406249648 140359866770464 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18464] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18464/stat : 18464 (java) S 18450 18450 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476469915 28904853504 10352 33554432000 4194304 4196468 140733406249648 140359865717616 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18465] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18465/stat : 18465 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469918 28904853504 10352 33554432000 4194304 4196468 140733406249648 140359864665936 140360550369179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18466] ppid=18450 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18452/task/18466/stat : 18466 (java) S 18450 18450 14667 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 20 0 476469918 28904853504 10352 33554432000 4194304 4196468 140733406249648 140359863614320 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18467] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18467/stat : 18467 (java) S 18450 18450 14667 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 476469918 28904853504 10352 33554432000 4194304 4196468 140733406249648 140359862561520 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18468] ppid=18450 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/18452/task/18468/stat : 18468 (java) S 18450 18450 14667 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 20 0 476469918 28904853504 10352 33554432000 4194304 4196468 140733406249648 140359861508720 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18469] ppid=18450 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/18452/task/18469/stat : 18469 (java) R 18450 18450 14667 0 -1 4202560 732 0 0 0 7 0 0 0 20 0 20 0 476469918 28904853504 10352 33554432000 4194304 4196468 140733406249648 140359860455920 140360550362518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18470] ppid=18450 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18470/stat : 18470 (java) S 18450 18450 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476469918 28904853504 10352 33554432000 4194304 4196468 140733406249648 140359859403360 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18471] ppid=18450 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18452/task/18471/stat : 18471 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469918 28904853504 10352 33554432000 4194304 4196468 140733406249648 140359858350640 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42860 KiB [startup+0.309764 s]* /proc/loadavg: 5.98 7.56 8.00 6/210 18471 /proc/meminfo: memFree=18386876/32770624 swapFree=66986244/67108860 [pid=18450] ppid=18447 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18450/stat : 18450 (xcsp3-exec) S 18447 18450 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476469912 115843072 363 33554432000 4194304 5098028 140728121676848 140728121674952 140292320989820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30334976 140728121680759 140728121681001 140728121681001 140728121683914 0 /proc/18450/statm: 28282 363 304 221 0 87 0 [pid=18452] ppid=18450 vsize=28231652 memory=50108 CPUtime=0.51 cores=0-7 /proc/18452/stat : 18452 (java) S 18450 18450 14667 0 -1 1077944320 10891 0 0 0 47 4 0 0 20 0 20 0 476469912 28909211648 12527 33554432000 4194304 4196468 140733406249648 140733406232192 140360550350583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 /proc/18452/statm: 7057913 12527 3362 1 0 7019032 0 [pid=18452/tid=18453] ppid=18450 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/18452/task/18453/stat : 18453 (java) R 18450 18450 14667 0 -1 4202560 7790 0 0 0 27 3 0 0 20 0 20 0 476469912 28909211648 12527 33554432000 4194304 4196468 140733406249648 140360554581696 140360534431070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18454] ppid=18450 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18454/stat : 18454 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28909211648 12554 33554432000 4194304 4196468 140733406249648 140360502971024 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18455] ppid=18450 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18455/stat : 18455 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28909211648 12554 33554432000 4194304 4196468 140733406249648 140360501918224 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18456] ppid=18450 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18456/stat : 18456 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28909211648 12554 33554432000 4194304 4196468 140733406249648 140360500865424 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18457] ppid=18450 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18457/stat : 18457 (java) S 18450 18450 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476469913 28909211648 12554 33554432000 4194304 4196468 140733406249648 140360499812624 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18458] ppid=18450 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18458/stat : 18458 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28909211648 12554 33554432000 4194304 4196468 140733406249648 140360498760848 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18459] ppid=18450 vsize=28231652 memory=140554952338095 CPUtime=0 cores=0-7 /proc/18452/task/18459/stat : 18459 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28909211648 12554 33554432000 4194304 4196468 140733406249648 140360497708048 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18460] ppid=18450 vsize=28231652 memory=140554952340400 CPUtime=0 cores=0-7 /proc/18452/task/18460/stat : 18460 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469913 28909211648 12554 33554432000 4194304 4196468 140733406249648 140360496655248 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18461] ppid=18450 vsize=28231652 memory=140554952342704 CPUtime=0 cores=0-7 /proc/18452/task/18461/stat : 18461 (java) S 18450 18450 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476469913 28909211648 12554 33554432000 4194304 4196468 140733406249648 140360495602448 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18462] ppid=18450 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18462/stat : 18462 (java) S 18450 18450 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476469914 28909211648 12554 33554432000 4194304 4196468 140733406249648 140359934994800 140360550361730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18463] ppid=18450 vsize=28231652 memory=281109904699280 CPUtime=0 cores=0-7 /proc/18452/task/18463/stat : 18463 (java) S 18450 18450 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476469915 28909211648 12554 33554432000 4194304 4196468 140733406249648 140359866770464 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18464] ppid=18450 vsize=28231652 memory=281109904696976 CPUtime=0 cores=0-7 /proc/18452/task/18464/stat : 18464 (java) S 18450 18450 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476469915 28909211648 12554 33554432000 4194304 4196468 140733406249648 140359865717616 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18465] ppid=18450 vsize=28231652 memory=281109904703888 CPUtime=0 cores=0-7 /proc/18452/task/18465/stat : 18465 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469918 28909211648 12554 33554432000 4194304 4196468 140733406249648 140359864665936 140360550369179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18466] ppid=18450 vsize=28231652 memory=281109904645168 CPUtime=0.01 cores=0-7 /proc/18452/task/18466/stat : 18466 (java) S 18450 18450 14667 0 -1 1077944384 415 0 0 0 1 0 0 0 20 0 20 0 476469918 28909211648 12554 33554432000 4194304 4196468 140733406249648 140359863614320 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18467] ppid=18450 vsize=28231652 memory=281109904717712 CPUtime=0.02 cores=0-7 /proc/18452/task/18467/stat : 18467 (java) R 18450 18450 14667 0 -1 4202560 256 0 0 0 2 0 0 0 20 0 20 0 476469918 28909211648 12554 33554432000 4194304 4196468 140733406249648 140359862551904 140360530043687 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18468] ppid=18450 vsize=28231652 memory=281109904724624 CPUtime=0.03 cores=0-7 /proc/18452/task/18468/stat : 18468 (java) S 18450 18450 14667 0 -1 1077944384 276 0 0 0 3 0 0 0 20 0 20 0 476469918 28909211648 12554 33554432000 4194304 4196468 140733406249648 140359861508720 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18469] ppid=18450 vsize=28231652 memory=281109904722320 CPUtime=0.12 cores=0-7 /proc/18452/task/18469/stat : 18469 (java) S 18450 18450 14667 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 20 0 476469918 28909211648 12554 33554432000 4194304 4196468 140733406249648 140359860455920 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18470] ppid=18450 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18470/stat : 18470 (java) S 18450 18450 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476469918 28909211648 12554 33554432000 4194304 4196468 140733406249648 140359859403360 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18471] ppid=18450 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/18452/task/18471/stat : 18471 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476469918 28909211648 12554 33554432000 4194304 4196468 140733406249648 140359858350640 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51560 KiB [startup+0.700977 s] /proc/loadavg: 5.98 7.56 8.00 4/210 18471 /proc/meminfo: memFree=18371756/32770624 swapFree=66986244/67108860 [pid=18450] ppid=18447 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18450/stat : 18450 (xcsp3-exec) S 18447 18450 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476469912 115843072 363 33554432000 4194304 5098028 140728121676848 140728121674952 140292320989820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30334976 140728121680759 140728121681001 140728121681001 140728121683914 0 /proc/18450/statm: 28282 363 304 221 0 87 0 [pid=18452] ppid=18450 vsize=28766288 memory=94652 CPUtime=1.82 cores=0-7 /proc/18452/stat : 18452 (java) S 18450 18450 14667 0 -1 1077944320 15065 0 0 0 176 6 0 0 20 0 28 0 476469912 29456678912 23663 33554432000 4194304 4196468 140733406249648 140733406232192 140360550350583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 /proc/18452/statm: 7191572 23663 3457 1 0 7152672 0 [pid=18452/tid=18453] ppid=18450 vsize=28766288 memory=0 CPUtime=0.63 cores=0-7 /proc/18452/task/18453/stat : 18453 (java) S 18450 18450 14667 0 -1 1077944384 9241 0 0 0 59 4 0 0 20 0 28 0 476469912 29456678912 23663 33554432000 4194304 4196468 140733406249648 140360554591360 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18454] ppid=18450 vsize=28766288 memory=140554952549232 CPUtime=0 cores=0-7 /proc/18452/task/18454/stat : 18454 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476469913 29456678912 23663 33554432000 4194304 4196468 140733406249648 140360502971024 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18455] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18455/stat : 18455 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476469913 29456678912 23663 33554432000 4194304 4196468 140733406249648 140360501918224 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18456] ppid=18450 vsize=28766288 memory=2832 CPUtime=0 cores=0-7 /proc/18452/task/18456/stat : 18456 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476469913 29456678912 23663 33554432000 4194304 4196468 140733406249648 140360500865424 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 ################ # More data... # ################ [pid=18452/tid=18469] ppid=18450 vsize=28766288 memory=692 CPUtime=0.56 cores=0-7 /proc/18452/task/18469/stat : 18469 (java) S 18450 18450 14667 0 -1 1077944384 3143 0 0 0 56 0 0 0 20 0 28 0 476469918 29456678912 58500 33554432000 4194304 4196468 140733406249648 140359860455920 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18470] ppid=18450 vsize=28766288 memory=1056 CPUtime=0 cores=0-7 /proc/18452/task/18470/stat : 18470 (java) S 18450 18450 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476469918 29456678912 58500 33554432000 4194304 4196468 140733406249648 140359859403360 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18471] ppid=18450 vsize=28766288 memory=1556 CPUtime=0 cores=0-7 /proc/18452/task/18471/stat : 18471 (java) S 18450 18450 14667 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 476469918 29456678912 58500 33554432000 4194304 4196468 140733406249648 140359858350640 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18472] ppid=18450 vsize=28766288 memory=780 CPUtime=2.12 cores=0-7 /proc/18452/task/18472/stat : 18472 (java) R 18450 18450 14667 0 -1 4202560 181 0 0 0 212 0 0 0 20 0 28 0 476469977 29456678912 58500 33554432000 4194304 4196468 140733406249648 140359849134624 140360157390002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18473] ppid=18450 vsize=28766288 memory=3616 CPUtime=2.04 cores=0-7 /proc/18452/task/18473/stat : 18473 (java) R 18450 18450 14667 0 -1 4202560 117 0 0 0 204 0 0 0 20 0 28 0 476469977 29456678912 58500 33554432000 4194304 4196468 140733406249648 140359848082960 140360157575039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18474] ppid=18450 vsize=28766288 memory=1112 CPUtime=2.08 cores=0-7 /proc/18452/task/18474/stat : 18474 (java) R 18450 18450 14667 0 -1 4202560 159 0 0 0 208 0 0 0 20 0 28 0 476469977 29456678912 58500 33554432000 4194304 4196468 140733406249648 140359847031184 140360157575271 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18475] ppid=18450 vsize=28766288 memory=6048 CPUtime=2.13 cores=0-7 /proc/18452/task/18475/stat : 18475 (java) R 18450 18450 14667 0 -1 4202560 300 0 0 0 212 1 0 0 20 0 28 0 476469977 29456678912 58500 33554432000 4194304 4196468 140733406249648 140359845978304 140360157397127 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18476] ppid=18450 vsize=28766288 memory=288230574492221466 CPUtime=1.94 cores=0-7 /proc/18452/task/18476/stat : 18476 (java) R 18450 18450 14667 0 -1 4202560 213 0 0 0 194 0 0 0 20 0 28 0 476469977 29456678912 58500 33554432000 4194304 4196468 140733406249648 140359844925680 140360156579517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18477] ppid=18450 vsize=28766288 memory=0 CPUtime=2.11 cores=0-7 /proc/18452/task/18477/stat : 18477 (java) R 18450 18450 14667 0 -1 4202560 148 0 0 0 211 0 0 0 20 0 28 0 476469977 29456678912 58500 33554432000 4194304 4196468 140733406249648 140359843872784 140360157575220 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18478] ppid=18450 vsize=28766288 memory=0 CPUtime=2.24 cores=0-7 /proc/18452/task/18478/stat : 18478 (java) R 18450 18450 14667 0 -1 4202560 91 0 0 0 224 0 0 0 20 0 28 0 476469977 29456678912 58500 33554432000 4194304 4196468 140733406249648 140359842820080 140360157397470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18479] ppid=18450 vsize=28766288 memory=0 CPUtime=2.23 cores=0-7 /proc/18452/task/18479/stat : 18479 (java) R 18450 18450 14667 0 -1 4202560 192 0 0 0 223 0 0 0 20 0 28 0 476469977 29456678912 58500 33554432000 4194304 4196468 140733406249648 140359841767184 140360156579595 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 Current children cumulated CPU time: 21.39 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 235452 KiB [startup+3.60485 s] /proc/loadavg: 5.98 7.56 8.00 9/218 18480 /proc/meminfo: memFree=18209424/32770624 swapFree=66986244/67108860 [pid=18450] ppid=18447 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18450/stat : 18450 (xcsp3-exec) S 18447 18450 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476469912 115843072 363 33554432000 4194304 5098028 140728121676848 140728121674952 140292320989820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30334976 140728121680759 140728121681001 140728121681001 140728121683914 0 /proc/18450/statm: 28282 363 304 221 0 87 0 [pid=18452] ppid=18450 vsize=28766288 memory=355620 CPUtime=24.48 cores=0-7 /proc/18452/stat : 18452 (java) S 18450 18450 14667 0 -1 1077944320 37338 0 0 0 2424 24 0 0 20 0 28 0 476469912 29456678912 88905 33554432000 4194304 4196468 140733406249648 140733406232192 140360550350583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 /proc/18452/statm: 7191572 88905 3521 1 0 7152672 0 [pid=18452/tid=18453] ppid=18450 vsize=28766288 memory=0 CPUtime=0.63 cores=0-7 /proc/18452/task/18453/stat : 18453 (java) S 18450 18450 14667 0 -1 1077944384 9241 0 0 0 59 4 0 0 20 0 28 0 476469912 29456678912 88905 33554432000 4194304 4196468 140733406249648 140360554591360 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18454] ppid=18450 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/18452/task/18454/stat : 18454 (java) S 18450 18450 14667 0 -1 1077944384 556 0 0 0 1 0 0 0 20 0 28 0 476469913 29456678912 88905 33554432000 4194304 4196468 140733406249648 140360502971024 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18455] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18455/stat : 18455 (java) S 18450 18450 14667 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 28 0 476469913 29456678912 88905 33554432000 4194304 4196468 140733406249648 140360501918224 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18456] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18456/stat : 18456 (java) S 18450 18450 14667 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 476469913 29456678912 88905 33554432000 4194304 4196468 140733406249648 140360500865424 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18457] ppid=18450 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/18452/task/18457/stat : 18457 (java) S 18450 18450 14667 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 28 0 476469913 29456678912 88905 33554432000 4194304 4196468 140733406249648 140360499812624 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18458] ppid=18450 vsize=28766288 memory=281109904864064 CPUtime=0.01 cores=0-7 /proc/18452/task/18458/stat : 18458 (java) S 18450 18450 14667 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 476469913 29456678912 88905 33554432000 4194304 4196468 140733406249648 140360498760848 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18459] ppid=18450 vsize=28766288 memory=1537 CPUtime=0.01 cores=0-7 /proc/18452/task/18459/stat : 18459 (java) S 18450 18450 14667 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 28 0 476469913 29456678912 88905 33554432000 4194304 4196468 140733406249648 140360497708048 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18460] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18460/stat : 18460 (java) S 18450 18450 14667 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 476469913 29456678912 88905 33554432000 4194304 4196468 140733406249648 140360496655248 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18461] ppid=18450 vsize=28766288 memory=281109904558064 CPUtime=0.01 cores=0-7 /proc/18452/task/18461/stat : 18461 (java) S 18450 18450 14667 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 28 0 476469913 29456678912 88905 33554432000 4194304 4196468 140733406249648 140360495602448 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18462] ppid=18450 vsize=28766288 memory=8562125494162282060 CPUtime=0.01 cores=0-7 /proc/18452/task/18462/stat : 18462 (java) S 18450 18450 14667 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 28 0 476469914 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359934994800 140360550361730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18463] ppid=18450 vsize=28766288 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/18452/task/18463/stat : 18463 (java) S 18450 18450 14667 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476469915 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359866770528 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18464] ppid=18450 vsize=28766288 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/18452/task/18464/stat : 18464 (java) S 18450 18450 14667 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 476469915 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359865717632 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18465] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18465/stat : 18465 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476469918 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359864665936 140360550369179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18466] ppid=18450 vsize=28766288 memory=2241 CPUtime=1.07 cores=0-7 /proc/18452/task/18466/stat : 18466 (java) S 18450 18450 14667 0 -1 1077944384 5570 0 0 0 105 2 0 0 20 0 28 0 476469918 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359863614320 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18467] ppid=18450 vsize=28766288 memory=2244 CPUtime=1.1 cores=0-7 /proc/18452/task/18467/stat : 18467 (java) R 18450 18450 14667 0 -1 4202560 5411 0 0 0 108 2 0 0 20 0 28 0 476469918 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359862542672 140360533847367 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18468] ppid=18450 vsize=28766288 memory=0 CPUtime=1.09 cores=0-7 /proc/18452/task/18468/stat : 18468 (java) R 18450 18450 14667 0 -1 1077944384 9504 0 0 0 106 3 0 0 20 0 28 0 476469918 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359861500048 140360550360789 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18469] ppid=18450 vsize=28766288 memory=0 CPUtime=0.58 cores=0-7 /proc/18452/task/18469/stat : 18469 (java) R 18450 18450 14667 0 -1 1077944384 3233 0 0 0 57 1 0 0 20 0 28 0 476469918 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359860455920 140360550361730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18470] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18470/stat : 18470 (java) S 18450 18450 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476469918 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359859403360 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18471] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18471/stat : 18471 (java) S 18450 18450 14667 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 476469918 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359858350640 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18472] ppid=18450 vsize=28766288 memory=0 CPUtime=2.51 cores=0-7 /proc/18452/task/18472/stat : 18472 (java) R 18450 18450 14667 0 -1 4202560 185 0 0 0 251 0 0 0 20 0 28 0 476469977 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359849130736 140360158648751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18473] ppid=18450 vsize=28766288 memory=0 CPUtime=2.38 cores=0-7 /proc/18452/task/18473/stat : 18473 (java) R 18450 18450 14667 0 -1 4202560 134 0 0 0 238 0 0 0 20 0 28 0 476469977 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359848079320 140360157390675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18474] ppid=18450 vsize=28766288 memory=0 CPUtime=2.42 cores=0-7 /proc/18452/task/18474/stat : 18474 (java) R 18450 18450 14667 0 -1 4202560 168 0 0 0 242 0 0 0 20 0 28 0 476469977 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359847027008 140360158648591 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18475] ppid=18450 vsize=28766288 memory=0 CPUtime=2.46 cores=0-7 /proc/18452/task/18475/stat : 18475 (java) R 18450 18450 14667 0 -1 4202560 406 0 0 0 244 2 0 0 20 0 28 0 476469977 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359845976856 140360158650296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18476] ppid=18450 vsize=28766288 memory=0 CPUtime=2.31 cores=0-7 /proc/18452/task/18476/stat : 18476 (java) R 18450 18450 14667 0 -1 4202560 215 0 0 0 231 0 0 0 20 0 28 0 476469977 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359844921688 140360158649975 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18477] ppid=18450 vsize=28766288 memory=0 CPUtime=2.48 cores=0-7 /proc/18452/task/18477/stat : 18477 (java) R 18450 18450 14667 0 -1 4202560 155 0 0 0 248 0 0 0 20 0 28 0 476469977 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359843868888 140360156721344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18478] ppid=18450 vsize=28766288 memory=0 CPUtime=2.62 cores=0-7 /proc/18452/task/18478/stat : 18478 (java) R 18450 18450 14667 0 -1 4202560 93 0 0 0 262 0 0 0 20 0 28 0 476469977 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359842816088 140360158648871 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18479] ppid=18450 vsize=28766288 memory=0 CPUtime=2.59 cores=0-7 /proc/18452/task/18479/stat : 18479 (java) R 18450 18450 14667 0 -1 4202560 207 0 0 0 259 0 0 0 20 0 28 0 476469977 29456678912 88905 33554432000 4194304 4196468 140733406249648 140359841763288 140360158650280 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 Current children cumulated CPU time: 24.48 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 357072 KiB [startup+4.00159 s]* /proc/loadavg: 6.22 7.59 8.00 10/218 18480 /proc/meminfo: memFree=18081516/32770624 swapFree=66986244/67108860 [pid=18450] ppid=18447 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18450/stat : 18450 (xcsp3-exec) S 18447 18450 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476469912 115843072 363 33554432000 4194304 5098028 140728121676848 140728121674952 140292320989820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30334976 140728121680759 140728121681001 140728121681001 140728121683914 0 /proc/18450/statm: 28282 363 304 221 0 87 0 [pid=18452] ppid=18450 vsize=28766288 memory=356572 CPUtime=27.68 cores=0-7 /proc/18452/stat : 18452 (java) S 18450 18450 14667 0 -1 1077944320 37622 0 0 0 2743 25 0 0 20 0 28 0 476469912 29456678912 89143 33554432000 4194304 4196468 140733406249648 140733406232192 140360550350583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 /proc/18452/statm: 7191572 89143 3521 1 0 7152672 0 [pid=18452/tid=18453] ppid=18450 vsize=28766288 memory=8317482817917895235 CPUtime=0.63 cores=0-7 /proc/18452/task/18453/stat : 18453 (java) S 18450 18450 14667 0 -1 1077944384 9241 0 0 0 59 4 0 0 20 0 28 0 476469912 29456678912 89143 33554432000 4194304 4196468 140733406249648 140360554591360 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18454] ppid=18450 vsize=28766288 memory=4126316290023845779 CPUtime=0.01 cores=0-7 /proc/18452/task/18454/stat : 18454 (java) S 18450 18450 14667 0 -1 1077944384 556 0 0 0 1 0 0 0 20 0 28 0 476469913 29456678912 89143 33554432000 4194304 4196468 140733406249648 140360502971024 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18455] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18455/stat : 18455 (java) S 18450 18450 14667 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 28 0 476469913 29456678912 89143 33554432000 4194304 4196468 140733406249648 140360501918224 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18456] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18456/stat : 18456 (java) S 18450 18450 14667 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 476469913 29456678912 89143 33554432000 4194304 4196468 140733406249648 140360500865424 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18457] ppid=18450 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/18452/task/18457/stat : 18457 (java) S 18450 18450 14667 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 28 0 476469913 29456678912 89143 33554432000 4194304 4196468 140733406249648 140360499812624 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18458] ppid=18450 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/18452/task/18458/stat : 18458 (java) S 18450 18450 14667 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 476469913 29456678912 89143 33554432000 4194304 4196468 140733406249648 140360498760848 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18459] ppid=18450 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/18452/task/18459/stat : 18459 (java) S 18450 18450 14667 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 28 0 476469913 29456678912 89143 33554432000 4194304 4196468 140733406249648 140360497708048 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18460] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18460/stat : 18460 (java) S 18450 18450 14667 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 476469913 29456678912 89143 33554432000 4194304 4196468 140733406249648 140360496655248 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18461] ppid=18450 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/18452/task/18461/stat : 18461 (java) S 18450 18450 14667 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 28 0 476469913 29456678912 89143 33554432000 4194304 4196468 140733406249648 140360495602448 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18462] ppid=18450 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/18452/task/18462/stat : 18462 (java) S 18450 18450 14667 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 28 0 476469914 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359934994800 140360550361730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18463] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18463/stat : 18463 (java) S 18450 18450 14667 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476469915 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359866770528 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18464] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18464/stat : 18464 (java) S 18450 18450 14667 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 476469915 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359865717632 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18465] ppid=18450 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/18452/task/18465/stat : 18465 (java) S 18450 18450 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476469918 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359864665936 140360550369179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18466] ppid=18450 vsize=28766288 memory=0 CPUtime=1.13 cores=0-7 /proc/18452/task/18466/stat : 18466 (java) R 18450 18450 14667 0 -1 4202560 5583 0 0 0 111 2 0 0 20 0 28 0 476469918 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359863614320 140360535248245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18467] ppid=18450 vsize=28766288 memory=0 CPUtime=1.21 cores=0-7 /proc/18452/task/18467/stat : 18467 (java) S 18450 18450 14667 0 -1 1077944384 5659 0 0 0 119 2 0 0 20 0 28 0 476469918 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359862561520 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18468] ppid=18450 vsize=28766288 memory=140554952390316 CPUtime=1.17 cores=0-7 /proc/18452/task/18468/stat : 18468 (java) R 18450 18450 14667 0 -1 1077944384 9523 0 0 0 114 3 0 0 20 0 28 0 476469918 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359861508720 140360550361730 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18469] ppid=18450 vsize=28766288 memory=1556 CPUtime=0.58 cores=0-7 /proc/18452/task/18469/stat : 18469 (java) S 18450 18450 14667 0 -1 1077944384 3234 0 0 0 57 1 0 0 20 0 28 0 476469918 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359860455920 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18470] ppid=18450 vsize=28766288 memory=780 CPUtime=0 cores=0-7 /proc/18452/task/18470/stat : 18470 (java) S 18450 18450 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476469918 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359859403360 140360550360789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18471] ppid=18450 vsize=28766288 memory=3616 CPUtime=0 cores=0-7 /proc/18452/task/18471/stat : 18471 (java) S 18450 18450 14667 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 476469918 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359858350640 140360550361730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18472] ppid=18450 vsize=28766288 memory=1112 CPUtime=2.91 cores=0-7 /proc/18452/task/18472/stat : 18472 (java) R 18450 18450 14667 0 -1 4202560 185 0 0 0 291 0 0 0 20 0 28 0 476469977 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359849134720 140360158874817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18473] ppid=18450 vsize=28766288 memory=6048 CPUtime=2.75 cores=0-7 /proc/18452/task/18473/stat : 18473 (java) R 18450 18450 14667 0 -1 4202560 134 0 0 0 275 0 0 0 20 0 28 0 476469977 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359848082944 140360157392097 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18474] ppid=18450 vsize=28766288 memory=7598542776401657925 CPUtime=2.79 cores=0-7 /proc/18452/task/18474/stat : 18474 (java) R 18450 18450 14667 0 -1 4202560 168 0 0 0 279 0 0 0 20 0 28 0 476469977 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359847031280 140360158843613 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18475] ppid=18450 vsize=28766288 memory=288288857284212436 CPUtime=2.81 cores=0-7 /proc/18452/task/18475/stat : 18475 (java) R 18450 18450 14667 0 -1 4202560 406 0 0 0 279 2 0 0 20 0 28 0 476469977 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359845978872 140360157392327 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18476] ppid=18450 vsize=28766288 memory=3407806 CPUtime=2.69 cores=0-7 /proc/18452/task/18476/stat : 18476 (java) R 18450 18450 14667 0 -1 4202560 215 0 0 0 269 0 0 0 20 0 28 0 476469977 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359844925584 140360157398145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18477] ppid=18450 vsize=28766288 memory=-6524722422740014494 CPUtime=2.81 cores=0-7 /proc/18452/task/18477/stat : 18477 (java) R 18450 18450 14667 0 -1 4202560 156 0 0 0 281 0 0 0 20 0 28 0 476469977 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359843872704 140360158884752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18478] ppid=18450 vsize=28766288 memory=7974038411334692957 CPUtime=3 cores=0-7 /proc/18452/task/18478/stat : 18478 (java) R 18450 18450 14667 0 -1 4202560 93 0 0 0 300 0 0 0 20 0 28 0 476469977 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359842816520 140360158875253 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 [pid=18452/tid=18479] ppid=18450 vsize=28766288 memory=6805124639032654198 CPUtime=2.93 cores=0-7 /proc/18452/task/18479/stat : 18479 (java) R 18450 18450 14667 0 -1 4202560 209 0 0 0 293 0 0 0 20 0 28 0 476469977 29456678912 89143 33554432000 4194304 4196468 140733406249648 140359841767280 140360157394846 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 16994304 140733406254058 140733406254230 140733406254230 140733406257103 0 Current children cumulated CPU time: 27.68 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 358024 KiB Child status: 0 Real time (s): 4.07585 CPU time (s): 28.0373 CPU user time (s): 27.7747 CPU system time (s): 0.262595 CPU usage (%): 687.887 Max. virtual memory (cumulated for all children) (KiB): 28881412 Max. memory (cumulated for all children) (KiB): 358024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 27.7747 system time used= 0.262595 maximum resident set size= 356956 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38764 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5257 involuntary context switches= 687 # summary of solver processes directly reported to runsolver: # pid: 18450 # total CPU time (s): 28.0373 # total CPU user time (s): 27.7747 # total CPU system time (s): 0.262595 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.060526 second user time and 0.086011 second system time The end
Begin job on node104 at 2019-09-20 18:45:09 IDJOB=4404345 IDBENCH=133410 IDSOLVER=2865 FILE ID=node104/4404345-1569002130 RUNJOBID= node104-1568989783-14694 PBS_JOBID= 21704713 Free space on /tmp= 9832 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-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 /tmp/evaluation-result-4404345-1569002130/watcher-4404345-1569002130 -o /tmp/evaluation-result-4404345-1569002130/solver-4404345-1569002130 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 83442996 HOME/instance-4404345-1569002130.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c03c7f5b7c3afa870e2bbdca7571e3a2 RANDOM SEED=83442996 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 18424412 kB MemAvailable: 31825772 kB Buffers: 93752 kB Cached: 13231996 kB SwapCached: 22652 kB Active: 6645852 kB Inactive: 6706776 kB Active(anon): 2816 kB Inactive(anon): 73004 kB Active(file): 6643036 kB Inactive(file): 6633772 kB Unevictable: 109708 kB Mlocked: 109708 kB SwapTotal: 67108860 kB SwapFree: 66986244 kB Dirty: 25908 kB Writeback: 0 kB AnonPages: 124932 kB Mapped: 51916 kB Shmem: 40708 kB Slab: 583400 kB SReclaimable: 553012 kB SUnreclaim: 30388 kB KernelStack: 3696 kB PageTables: 4836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498016 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9808 MiB End job on node104 at 2019-09-20 18:45:14