Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 115 | 11.3345 | 2.58704 |
Name | Tpp/Tpp-zinc-s1/ Tpp-4-5-20-1.xml |
MD5SUM | e6e5223db5de59749ca81141a6ec4e70 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 115 |
Best CPU time to get the best result obtained on this benchmark | 0.249208 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 80 |
Number of constraints | 442 |
Number of domains | 42 |
Minimum domain size | 3 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":3,"count":7},{"size":4,"count":10},{"size":5,"count":3},{"size":11,"count":3},{"size":12,"count":3},{"size":13,"count":8},{"size":14,"count":2},{"size":15,"count":4},{"size":19,"count":20},{"size":20,"count":20}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":40},{"degree":21,"count":20},{"degree":22,"count":19},{"degree":23,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 20 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":440},{"arity":20,"count":1}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 401 |
Distribution of constraint types | [{"type":"extension","count":40},{"type":"intension","count":401},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406970-1569349055.xml" -tl '20160s' -p 8 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4406970-1569349055.xml, -tl, 20160s, -p, 8] 0.34/0.25 c 8 solvers in parallel 0.52/0.32 c parse instance... 6.47/1.82 c solve instance... 7.88/2.04 o 175 7.88/2.04 o 170 7.88/2.04 o 169 7.88/2.05 o 167 7.88/2.06 o 166 7.88/2.07 o 165 7.88/2.08 o 164 7.88/2.08 o 163 7.88/2.10 o 161 7.88/2.10 o 160 7.88/2.11 o 159 8.49/2.14 o 158 8.49/2.14 o 156 8.49/2.14 o 155 8.49/2.15 o 154 8.49/2.15 o 153 8.49/2.16 o 151 8.49/2.17 o 149 8.49/2.18 o 148 8.49/2.18 o 147 8.49/2.18 o 146 8.49/2.18 o 145 8.49/2.19 o 144 8.49/2.19 o 143 8.49/2.20 o 142 8.49/2.20 o 140 8.95/2.21 o 139 8.95/2.21 o 138 8.95/2.21 o 137 8.95/2.25 o 136 8.95/2.25 o 135 8.95/2.26 o 134 8.95/2.26 o 133 8.95/2.26 o 132 8.95/2.27 o 131 8.95/2.28 o 130 8.95/2.29 o 129 8.95/2.30 o 128 9.50/2.30 o 127 9.50/2.37 o 126 9.50/2.37 o 125 9.50/2.38 o 124 9.50/2.38 o 123 9.50/2.39 o 122 9.50/2.40 o 121 10.14/2.40 o 120 10.14/2.41 o 119 10.14/2.43 o 118 10.14/2.48 o 117 10.14/2.48 o 115 10.82/2.56 s OPTIMUM FOUND 10.82/2.56 v <instantiation> 10.82/2.56 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] </list> 10.82/2.56 v <values>0 1 2 3 4 5 6 7 8 10 11 15 12 9 13 19 16 17 14 18 0 0 0 0 0 0 0 0 0 6 4 1 0 1 1 14 0 0 10 12 14 11 15 18 18 9 15 14 11 15 10 11 9 9 9 9 13 11 15 18 4 2 3 2 1 3 6 3 2 1 1 9 9 5 2 3 1 2 2 5 </values> 10.82/2.56 v </instantiation>
OK 115
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: 16375 MiB (12528 MiB free) memory of node 1: 16384 MiB (12349 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406970-1569349055/watcher-4406970-1569349055 -o /tmp/evaluation-result-4406970-1569349055/solver-4406970-1569349055 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324850400-23810 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1428284258 HOME/instance-4406970-1569349055.xml running on 8 cores: 0-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=28574, runsolver pid=28571 [startup+0.100112 s]* /proc/loadavg: 7.27 8.12 8.11 3/211 28595 /proc/meminfo: memFree=25461372/32770688 swapFree=66927640/67108860 [pid=28574] ppid=28571 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510911616 115843072 364 33554432000 4194304 5098028 140734384809616 140734384807720 140690208211580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13144064 140734384817013 140734384817257 140734384817257 140734384820170 0 /proc/28574/statm: 28282 364 305 221 0 87 0 [pid=28576] ppid=28574 vsize=28227396 memory=26776 CPUtime=0.12 cores=0-7 /proc/28576/stat : 28576 (java) S 28574 28574 23783 0 -1 1077944320 5757 0 0 0 10 2 0 0 20 0 20 0 510911616 28904853504 6694 33554432000 4194304 4196468 140726842203008 140726842185552 139836247510775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 /proc/28576/statm: 7056849 6694 3113 1 0 7019032 0 [pid=28576/tid=28577] ppid=28574 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/28576/task/28577/stat : 28577 (java) R 28574 28574 23783 0 -1 4202560 3621 0 0 0 8 1 0 0 20 0 20 0 510911616 28904853504 6694 33554432000 4194304 4196468 140726842203008 139836251733248 139836231591262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28578] ppid=28574 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28576/task/28578/stat : 28578 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835798523024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28579] ppid=28574 vsize=28227396 memory=139682570188416 CPUtime=0 cores=0-7 /proc/28576/task/28579/stat : 28579 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835797470224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28580] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28580/stat : 28580 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835796417424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28581] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28581/stat : 28581 (java) S 28574 28574 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835795364624 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28582] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28582/stat : 28582 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835794311824 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28583] ppid=28574 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28576/task/28583/stat : 28583 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835793259024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28584] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28584/stat : 28584 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835792206224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28585] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28585/stat : 28585 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835791153424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28586] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28586/stat : 28586 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911619 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835748621168 139836247521922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28587] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28587/stat : 28587 (java) S 28574 28574 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510911619 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835361846816 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28588] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28588/stat : 28588 (java) S 28574 28574 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510911619 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835360793968 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28589] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28589/stat : 28589 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911622 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835359742288 139836247529371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28590] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28590/stat : 28590 (java) R 28574 28574 23783 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 510911622 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835358689648 139836247521922 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28591] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28591/stat : 28591 (java) S 28574 28574 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911622 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835357636848 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28592] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28592/stat : 28592 (java) S 28574 28574 23783 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 510911622 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835356584048 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28593] ppid=28574 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28576/task/28593/stat : 28593 (java) R 28574 28574 23783 0 -1 4202560 371 0 0 0 1 0 0 0 20 0 20 0 510911622 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835355531248 139836247522710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28594] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28594/stat : 28594 (java) S 28574 28574 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911622 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835354479712 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28595] ppid=28574 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28576/task/28595/stat : 28595 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911623 28904853504 6694 33554432000 4194304 4196468 140726842203008 139835353426992 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28232 KiB [startup+0.211032 s]* /proc/loadavg: 7.27 8.12 8.11 2/211 28595 /proc/meminfo: memFree=25446604/32770688 swapFree=66927640/67108860 [pid=28574] ppid=28571 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510911616 115843072 364 33554432000 4194304 5098028 140734384809616 140734384807720 140690208211580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13144064 140734384817013 140734384817257 140734384817257 140734384820170 0 /proc/28574/statm: 28282 364 305 221 0 87 0 [pid=28576] ppid=28574 vsize=28227396 memory=39700 CPUtime=0.34 cores=0-7 /proc/28576/stat : 28576 (java) S 28574 28574 23783 0 -1 1077944320 9677 0 0 0 30 4 0 0 20 0 20 0 510911616 28904853504 9925 33554432000 4194304 4196468 140726842203008 140726842185552 139836247510775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 /proc/28576/statm: 7056849 9925 3310 1 0 7019032 0 [pid=28576/tid=28577] ppid=28574 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/28576/task/28577/stat : 28577 (java) R 28574 28574 23783 0 -1 4202560 6595 0 0 0 17 2 0 0 20 0 20 0 510911616 28904853504 9925 33554432000 4194304 4196468 140726842203008 139836251741040 139836247532701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28578] ppid=28574 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/28576/task/28578/stat : 28578 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835798523024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28579] ppid=28574 vsize=28227396 memory=139682570212483 CPUtime=0 cores=0-7 /proc/28576/task/28579/stat : 28579 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835797470224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28580] ppid=28574 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28576/task/28580/stat : 28580 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835796417424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28581] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28581/stat : 28581 (java) S 28574 28574 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835795364624 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28582] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28582/stat : 28582 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835794311824 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28583] ppid=28574 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28576/task/28583/stat : 28583 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835793259024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28584] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28584/stat : 28584 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835792206224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28585] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28585/stat : 28585 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835791153424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28586] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28586/stat : 28586 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911619 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835748621168 139836247521922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28587] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28587/stat : 28587 (java) S 28574 28574 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510911619 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835361846816 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28588] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28588/stat : 28588 (java) S 28574 28574 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510911619 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835360793968 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28589] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28589/stat : 28589 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911622 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835359742288 139836247529371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28590] ppid=28574 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/28576/task/28590/stat : 28590 (java) S 28574 28574 23783 0 -1 1077944384 611 0 0 0 2 0 0 0 20 0 20 0 510911622 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835358689648 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28591] ppid=28574 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/28576/task/28591/stat : 28591 (java) S 28574 28574 23783 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 20 0 510911622 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835357636848 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28592] ppid=28574 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/28576/task/28592/stat : 28592 (java) S 28574 28574 23783 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 510911622 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835356584048 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28593] ppid=28574 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/28576/task/28593/stat : 28593 (java) S 28574 28574 23783 0 -1 1077944384 855 0 0 0 7 0 0 0 20 0 20 0 510911622 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835355531248 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28594] ppid=28574 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28594/stat : 28594 (java) S 28574 28574 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911622 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835354479712 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28595] ppid=28574 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28576/task/28595/stat : 28595 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911623 28904853504 9925 33554432000 4194304 4196468 140726842203008 139835353426992 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41156 KiB [startup+0.311022 s]* /proc/loadavg: 7.27 8.12 8.11 4/211 28595 /proc/meminfo: memFree=25441940/32770688 swapFree=66927640/67108860 [pid=28574] ppid=28571 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510911616 115843072 364 33554432000 4194304 5098028 140734384809616 140734384807720 140690208211580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13144064 140734384817013 140734384817257 140734384817257 140734384820170 0 /proc/28574/statm: 28282 364 305 221 0 87 0 [pid=28576] ppid=28574 vsize=28231652 memory=46020 CPUtime=0.52 cores=0-7 /proc/28576/stat : 28576 (java) S 28574 28574 23783 0 -1 1077944320 10891 0 0 0 47 5 0 0 20 0 20 0 510911616 28909211648 11505 33554432000 4194304 4196468 140726842203008 140726842185552 139836247510775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 /proc/28576/statm: 7057913 11505 3333 1 0 7019032 0 [pid=28576/tid=28577] ppid=28574 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/28576/task/28577/stat : 28577 (java) R 28574 28574 23783 0 -1 4202560 7607 0 0 0 26 3 0 0 20 0 20 0 510911616 28909211648 11505 33554432000 4194304 4196468 140726842203008 139836251741856 139836231591262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28578] ppid=28574 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28578/stat : 28578 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835798523024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28579] ppid=28574 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28579/stat : 28579 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835797470224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28580] ppid=28574 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28580/stat : 28580 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911617 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835796417424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28581] ppid=28574 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28581/stat : 28581 (java) S 28574 28574 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911617 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835795364624 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28582] ppid=28574 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/28576/task/28582/stat : 28582 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911617 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835794311824 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28583] ppid=28574 vsize=28231652 memory=139682469999535 CPUtime=0 cores=0-7 /proc/28576/task/28583/stat : 28583 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835793259024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28584] ppid=28574 vsize=28231652 memory=139682470001840 CPUtime=0 cores=0-7 /proc/28576/task/28584/stat : 28584 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911617 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835792206224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28585] ppid=28574 vsize=28231652 memory=139682470004144 CPUtime=0 cores=0-7 /proc/28576/task/28585/stat : 28585 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835791153424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28586] ppid=28574 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28586/stat : 28586 (java) S 28574 28574 23783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510911619 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835748621168 139836247521922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28587] ppid=28574 vsize=28231652 memory=279364940015248 CPUtime=0 cores=0-7 /proc/28576/task/28587/stat : 28587 (java) S 28574 28574 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510911619 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835361846816 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28588] ppid=28574 vsize=28231652 memory=279364940022160 CPUtime=0 cores=0-7 /proc/28576/task/28588/stat : 28588 (java) S 28574 28574 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510911619 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835360793968 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28589] ppid=28574 vsize=28231652 memory=279364939963440 CPUtime=0 cores=0-7 /proc/28576/task/28589/stat : 28589 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911622 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835359742288 139836247529371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28590] ppid=28574 vsize=28231652 memory=279364940035984 CPUtime=0.02 cores=0-7 /proc/28576/task/28590/stat : 28590 (java) S 28574 28574 23783 0 -1 1077944384 617 0 0 0 2 0 0 0 20 0 20 0 510911622 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835358689648 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28591] ppid=28574 vsize=28231652 memory=279364940042896 CPUtime=0.02 cores=0-7 /proc/28576/task/28591/stat : 28591 (java) S 28574 28574 23783 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 20 0 510911622 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835357636848 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28592] ppid=28574 vsize=28231652 memory=279364940040592 CPUtime=0.02 cores=0-7 /proc/28576/task/28592/stat : 28592 (java) S 28574 28574 23783 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 20 0 510911622 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835356584048 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28593] ppid=28574 vsize=28231652 memory=279364940056752 CPUtime=0.12 cores=0-7 /proc/28576/task/28593/stat : 28593 (java) S 28574 28574 23783 0 -1 1077944384 1006 0 0 0 12 0 0 0 20 0 20 0 510911622 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835355531248 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28594] ppid=28574 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28594/stat : 28594 (java) S 28574 28574 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911622 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835354479712 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28595] ppid=28574 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/28576/task/28595/stat : 28595 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911623 28909211648 11505 33554432000 4194304 4196468 140726842203008 139835353426992 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 47476 KiB [startup+0.701066 s] /proc/loadavg: 6.85 8.02 8.08 5/211 28595 /proc/meminfo: memFree=25428984/32770688 swapFree=66927640/67108860 [pid=28574] ppid=28571 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510911616 115843072 364 33554432000 4194304 5098028 140734384809616 140734384807720 140690208211580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13144064 140734384817013 140734384817257 140734384817257 140734384820170 0 /proc/28574/statm: 28282 364 305 221 0 87 0 [pid=28576] ppid=28574 vsize=28233776 memory=76688 CPUtime=1.65 cores=0-7 /proc/28576/stat : 28576 (java) S 28574 28574 23783 0 -1 1077944320 15044 0 0 0 157 8 0 0 20 0 20 0 510911616 28911386624 19172 33554432000 4194304 4196468 140726842203008 140726842185552 139836247510775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 /proc/28576/statm: 7058444 19172 3454 1 0 7019544 0 [pid=28576/tid=28577] ppid=28574 vsize=28233776 memory=279364940414640 CPUtime=0.67 cores=0-7 /proc/28576/task/28577/stat : 28577 (java) R 28574 28574 23783 0 -1 4202560 8798 0 0 0 63 4 0 0 20 0 20 0 510911616 28911386624 19172 33554432000 4194304 4196468 140726842203008 139836251747920 139836247522710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28578] ppid=28574 vsize=28233776 memory=139682470208368 CPUtime=0 cores=0-7 /proc/28576/task/28578/stat : 28578 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28911386624 19172 33554432000 4194304 4196468 140726842203008 139835798523024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28579] ppid=28574 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28579/stat : 28579 (java) S 28574 28574 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911617 28911386624 19172 33554432000 4194304 4196468 140726842203008 139835797470224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28580] ppid=28574 vsize=28233776 memory=2828 CPUtime=0 cores=0-7 /proc/28576/task/28580/stat : 28580 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911617 28911386624 19172 33554432000 4194304 4196468 140726842203008 139835796417424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 ################ # More data... # ################ [pid=28576/tid=28577] ppid=28574 vsize=28768336 memory=6791534058613427641 CPUtime=1.74 cores=0-7 /proc/28576/task/28577/stat : 28577 (java) S 28574 28574 23783 0 -1 1077944384 10102 0 0 0 167 7 0 0 20 0 28 0 510911616 29458776064 69517 33554432000 4194304 4196468 140726842203008 139836251751552 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28578] ppid=28574 vsize=28768336 memory=4872558044660077418 CPUtime=0.05 cores=0-7 /proc/28576/task/28578/stat : 28578 (java) S 28574 28574 23783 0 -1 1077944384 64 0 0 0 3 2 0 0 20 0 28 0 510911617 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835798523024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28579] ppid=28574 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/28576/task/28579/stat : 28579 (java) S 28574 28574 23783 0 -1 1077944384 81 0 0 0 3 2 0 0 20 0 28 0 510911617 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835797470224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28580] ppid=28574 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/28576/task/28580/stat : 28580 (java) S 28574 28574 23783 0 -1 1077944384 81 0 0 0 3 2 0 0 20 0 28 0 510911617 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835796417424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28581] ppid=28574 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/28576/task/28581/stat : 28581 (java) S 28574 28574 23783 0 -1 1077944384 85 0 0 0 3 2 0 0 20 0 28 0 510911617 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835795364624 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28582] ppid=28574 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/28576/task/28582/stat : 28582 (java) S 28574 28574 23783 0 -1 1077944384 72 0 0 0 3 2 0 0 20 0 28 0 510911617 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835794311824 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28583] ppid=28574 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/28576/task/28583/stat : 28583 (java) S 28574 28574 23783 0 -1 1077944384 134 0 0 0 3 2 0 0 20 0 28 0 510911617 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835793259024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28584] ppid=28574 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7 /proc/28576/task/28584/stat : 28584 (java) S 28574 28574 23783 0 -1 1077944384 75 0 0 0 2 2 0 0 20 0 28 0 510911617 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835792206224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28585] ppid=28574 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/28576/task/28585/stat : 28585 (java) S 28574 28574 23783 0 -1 1077944384 77 0 0 0 3 2 0 0 20 0 28 0 510911617 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835791153424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28586] ppid=28574 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28586/stat : 28586 (java) S 28574 28574 23783 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 510911619 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835748621168 139836247521922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28587] ppid=28574 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28587/stat : 28587 (java) S 28574 28574 23783 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510911619 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835361846880 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28588] ppid=28574 vsize=28768336 memory=3618413826336109618 CPUtime=0 cores=0-7 /proc/28576/task/28588/stat : 28588 (java) S 28574 28574 23783 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 510911619 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835360793984 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28589] ppid=28574 vsize=28768336 memory=3976735856566481714 CPUtime=0 cores=0-7 /proc/28576/task/28589/stat : 28589 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510911622 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835359742288 139836247529371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28590] ppid=28574 vsize=28768336 memory=4048802458027124324 CPUtime=1.23 cores=0-7 /proc/28576/task/28590/stat : 28590 (java) R 28574 28574 23783 0 -1 1077944384 3974 0 0 0 122 1 0 0 20 0 28 0 510911622 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835358680112 139836247520981 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28591] ppid=28574 vsize=28768336 memory=6370711548341998691 CPUtime=1.25 cores=0-7 /proc/28576/task/28591/stat : 28591 (java) R 28574 28574 23783 0 -1 4202560 3977 0 0 0 124 1 0 0 20 0 28 0 510911622 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835357636608 139836230997146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28592] ppid=28574 vsize=28768336 memory=6370719275257063784 CPUtime=1.29 cores=0-7 /proc/28576/task/28592/stat : 28592 (java) R 28574 28574 23783 0 -1 1077944384 3697 0 0 0 128 1 0 0 20 0 28 0 510911622 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835356584048 139836247521922 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28593] ppid=28574 vsize=28768336 memory=7236547281622689387 CPUtime=0.73 cores=0-7 /proc/28576/task/28593/stat : 28593 (java) S 28574 28574 23783 0 -1 1077944384 3432 0 0 0 72 1 0 0 20 0 28 0 510911622 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835355531248 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28594] ppid=28574 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28594/stat : 28594 (java) S 28574 28574 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510911622 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835354479712 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28595] ppid=28574 vsize=28768336 memory=-1 CPUtime=0 cores=0-7 /proc/28576/task/28595/stat : 28595 (java) S 28574 28574 23783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 510911623 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835353426992 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28596] ppid=28574 vsize=28768336 memory=-1 CPUtime=0.13 cores=0-7 /proc/28576/task/28596/stat : 28596 (java) R 28574 28574 23783 0 -1 4202560 51 0 0 0 13 0 0 0 20 0 28 0 510911800 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835274676960 139836247522710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28597] ppid=28574 vsize=28768336 memory=0 CPUtime=0.13 cores=0-7 /proc/28576/task/28597/stat : 28597 (java) R 28574 28574 23783 0 -1 4202560 38 0 0 0 13 0 0 0 20 0 28 0 510911800 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835273627032 139835892307500 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28598] ppid=28574 vsize=28768336 memory=0 CPUtime=0.14 cores=0-7 /proc/28576/task/28598/stat : 28598 (java) R 28574 28574 23783 0 -1 1077944384 43 0 0 0 14 0 0 0 20 0 28 0 510911800 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835272572560 139836247520981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28599] ppid=28574 vsize=28768336 memory=279364940454784 CPUtime=0.15 cores=0-7 /proc/28576/task/28599/stat : 28599 (java) R 28574 28574 23783 0 -1 4202560 97 0 0 0 15 0 0 0 20 0 28 0 510911800 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835271519616 139835892307520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28600] ppid=28574 vsize=28768336 memory=7599388386692169796 CPUtime=0.1 cores=0-7 /proc/28576/task/28600/stat : 28600 (java) R 28574 28574 23783 0 -1 4202560 31 0 0 0 10 0 0 0 20 0 28 0 510911800 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835270468464 139835892292999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28601] ppid=28574 vsize=28768336 memory=288286675455705818 CPUtime=0.13 cores=0-7 /proc/28576/task/28601/stat : 28601 (java) S 28574 28574 23783 0 -1 1077944384 42 0 0 0 13 0 0 0 20 0 28 0 510911800 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835269414560 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28602] ppid=28574 vsize=28768336 memory=3474304153013219516 CPUtime=0.15 cores=0-7 /proc/28576/task/28602/stat : 28602 (java) R 28574 28574 23783 0 -1 4202560 42 0 0 0 15 0 0 0 20 0 28 0 510911800 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835268362912 139835892364284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28603] ppid=28574 vsize=28768336 memory=0 CPUtime=0.15 cores=0-7 /proc/28576/task/28603/stat : 28603 (java) R 28574 28574 23783 0 -1 4202560 30 0 0 0 15 0 0 0 20 0 28 0 510911800 29458776064 69517 33554432000 4194304 4196468 140726842203008 139835267311088 139835884534801 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 Current children cumulated CPU time: 7.88 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 279524 KiB [startup+2.4015 s] /proc/loadavg: 6.85 8.02 8.08 1/219 28603 /proc/meminfo: memFree=25210548/32770688 swapFree=66927640/67108860 [pid=28574] ppid=28571 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510911616 115843072 364 33554432000 4194304 5098028 140734384809616 140734384807720 140690208211580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13144064 140734384817013 140734384817257 140734384817257 140734384820170 0 /proc/28574/statm: 28282 364 305 221 0 87 0 [pid=28576] ppid=28574 vsize=28834900 memory=520872 CPUtime=10.14 cores=0-7 /proc/28576/stat : 28576 (java) S 28574 28574 23783 0 -1 1077944320 34694 0 0 0 962 52 0 0 20 0 21 0 510911616 29526937600 130218 33554432000 4194304 4196468 140726842203008 140726842185552 139836247510775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 /proc/28576/statm: 7208725 130218 3512 1 0 7169825 0 [pid=28576/tid=28577] ppid=28574 vsize=28834900 memory=6791534058613427641 CPUtime=1.77 cores=0-7 /proc/28576/task/28577/stat : 28577 (java) S 28574 28574 23783 0 -1 1077944384 10106 0 0 0 170 7 0 0 20 0 22 0 510911616 29526937600 130218 33554432000 4194304 4196468 140726842203008 139836251751552 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28578] ppid=28574 vsize=28834900 memory=1915838 CPUtime=0.08 cores=0-7 /proc/28576/task/28578/stat : 28578 (java) S 28574 28574 23783 0 -1 1077944384 145 0 0 0 5 3 0 0 20 0 22 0 510911617 29526937600 130218 33554432000 4194304 4196468 140726842203008 139835798523024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28579] ppid=28574 vsize=28834900 memory=1918122 CPUtime=0.07 cores=0-7 /proc/28576/task/28579/stat : 28579 (java) S 28574 28574 23783 0 -1 1077944384 134 0 0 0 4 3 0 0 20 0 22 0 510911617 29526937600 130218 33554432000 4194304 4196468 140726842203008 139835797470224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28580] ppid=28574 vsize=28834900 memory=0 CPUtime=0.08 cores=0-7 /proc/28576/task/28580/stat : 28580 (java) S 28574 28574 23783 0 -1 1077944384 117 0 0 0 4 4 0 0 20 0 23 0 510911617 29526937600 130218 33554432000 4194304 4196468 140726842203008 139835796417424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28581] ppid=28574 vsize=28834900 memory=0 CPUtime=0.07 cores=0-7 /proc/28576/task/28581/stat : 28581 (java) S 28574 28574 23783 0 -1 1077944384 153 0 0 0 4 3 0 0 20 0 23 0 510911617 29526937600 130218 33554432000 4194304 4196468 140726842203008 139835795364624 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28582] ppid=28574 vsize=28834900 memory=0 CPUtime=0.08 cores=0-7 /proc/28576/task/28582/stat : 28582 (java) S 28574 28574 23783 0 -1 1077944384 125 0 0 0 4 4 0 0 20 0 23 0 510911617 29526937600 130218 33554432000 4194304 4196468 140726842203008 139835794311824 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28583] ppid=28574 vsize=28834900 memory=0 CPUtime=0.09 cores=0-7 /proc/28576/task/28583/stat : 28583 (java) S 28574 28574 23783 0 -1 1077944384 182 0 0 0 5 4 0 0 20 0 23 0 510911617 29526937600 130218 33554432000 4194304 4196468 140726842203008 139835793259024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28584] ppid=28574 vsize=28834900 memory=0 CPUtime=0.07 cores=0-7 /proc/28576/task/28584/stat : 28584 (java) S 28574 28574 23783 0 -1 1077944384 97 0 0 0 3 4 0 0 20 0 23 0 510911617 29526937600 130218 33554432000 4194304 4196468 140726842203008 139835792206224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28585] ppid=28574 vsize=28834900 memory=0 CPUtime=0.08 cores=0-7 /proc/28576/task/28585/stat : 28585 (java) S 28574 28574 23783 0 -1 1077944384 135 0 0 0 4 4 0 0 20 0 23 0 510911617 29526937600 130218 33554432000 4194304 4196468 140726842203008 139835791153424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28586] ppid=28574 vsize=28834900 memory=0 CPUtime=0.01 cores=0-7 /proc/28576/task/28586/stat : 28586 (java) S 28574 28574 23783 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 23 0 510911619 29526937600 130218 33554432000 4194304 4196468 140726842203008 139835748621168 139836247521922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28587] ppid=28574 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28587/stat : 28587 (java) S 28574 28574 23783 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 23 0 510911619 29526937600 130218 33554432000 4194304 4196468 140726842203008 139835361846880 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28588] ppid=28574 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28588/stat : 28588 (java) S 28574 28574 23783 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 23 0 510911619 29526937600 130218 33554432000 4194304 4196468 140726842203008 139835360793984 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28589] ppid=28574 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28589/stat : 28589 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 510911622 29526937600 130218 33554432000 4194304 4196468 140726842203008 139835359742288 139836247529371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28590] ppid=28574 vsize=28834900 memory=1456 CPUtime=1.53 cores=0-7 /proc/28576/task/28590/stat : 28590 (java) R 28574 28574 23783 0 -1 4202560 4041 0 0 0 152 1 0 0 20 0 23 0 510911622 29526937600 130730 33554432000 4194304 4196468 140726842203008 139835358689744 139836226758131 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28591] ppid=28574 vsize=28834900 memory=276628 CPUtime=1.51 cores=0-7 /proc/28576/task/28591/stat : 28591 (java) R 28574 28574 23783 0 -1 4202560 4053 0 0 0 150 1 0 0 20 0 24 0 510911622 29526937600 130730 33554432000 4194304 4196468 140726842203008 139835357621712 139836228689745 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28592] ppid=28574 vsize=28834900 memory=8257237230052613020 CPUtime=1.56 cores=0-7 /proc/28576/task/28592/stat : 28592 (java) R 28574 28574 23783 0 -1 4202560 3753 0 0 0 155 1 0 0 20 0 24 0 510911622 29526937600 130730 33554432000 4194304 4196468 140726842203008 139835356574768 139836230921666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28593] ppid=28574 vsize=28834900 memory=-7384994778349281184 CPUtime=0.85 cores=0-7 /proc/28576/task/28593/stat : 28593 (java) S 28574 28574 23783 0 -1 1077944384 3620 0 0 0 84 1 0 0 20 0 24 0 510911622 29526937600 130730 33554432000 4194304 4196468 140726842203008 139835355531248 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28594] ppid=28574 vsize=28834900 memory=7681905605394137914 CPUtime=0 cores=0-7 /proc/28576/task/28594/stat : 28594 (java) S 28574 28574 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510911622 29526937600 130730 33554432000 4194304 4196468 140726842203008 139835354479712 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28595] ppid=28574 vsize=28834900 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/28576/task/28595/stat : 28595 (java) S 28574 28574 23783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510911623 29526937600 130730 33554432000 4194304 4196468 140726842203008 139835353426992 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 Current children cumulated CPU time: 10.14 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 522328 KiB [startup+2.50151 s] /proc/loadavg: 6.85 8.02 8.08 1/219 28603 /proc/meminfo: memFree=25210548/32770688 swapFree=66927640/67108860 [pid=28574] ppid=28571 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/28574/stat : 28574 (xcsp3-exec) S 28571 28574 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510911616 115843072 364 33554432000 4194304 5098028 140734384809616 140734384807720 140690208211580 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13144064 140734384817013 140734384817257 140734384817257 140734384820170 0 /proc/28574/statm: 28282 364 305 221 0 87 0 [pid=28576] ppid=28574 vsize=28834900 memory=585748 CPUtime=10.82 cores=0-7 /proc/28576/stat : 28576 (java) S 28574 28574 23783 0 -1 1077944320 35873 0 0 0 1026 56 0 0 20 0 28 0 510911616 29526937600 146437 33554432000 4194304 4196468 140726842203008 140726842185552 139836247510775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 /proc/28576/statm: 7208725 146437 3512 1 0 7169825 0 [pid=28576/tid=28577] ppid=28574 vsize=28834900 memory=0 CPUtime=1.77 cores=0-7 /proc/28576/task/28577/stat : 28577 (java) S 28574 28574 23783 0 -1 1077944384 10106 0 0 0 170 7 0 0 20 0 28 0 510911616 29526937600 146437 33554432000 4194304 4196468 140726842203008 139836251751552 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28578] ppid=28574 vsize=28834900 memory=0 CPUtime=0.08 cores=0-7 /proc/28576/task/28578/stat : 28578 (java) S 28574 28574 23783 0 -1 1077944384 145 0 0 0 5 3 0 0 20 0 28 0 510911617 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835798523024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28579] ppid=28574 vsize=28834900 memory=279364940688400 CPUtime=0.09 cores=0-7 /proc/28576/task/28579/stat : 28579 (java) S 28574 28574 23783 0 -1 1077944384 145 0 0 0 6 3 0 0 20 0 28 0 510911617 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835797470224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28580] ppid=28574 vsize=28834900 memory=78 CPUtime=0.09 cores=0-7 /proc/28576/task/28580/stat : 28580 (java) S 28574 28574 23783 0 -1 1077944384 127 0 0 0 5 4 0 0 20 0 28 0 510911617 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835796417424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28581] ppid=28574 vsize=28834900 memory=0 CPUtime=0.09 cores=0-7 /proc/28576/task/28581/stat : 28581 (java) S 28574 28574 23783 0 -1 1077944384 157 0 0 0 5 4 0 0 20 0 28 0 510911617 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835795364624 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28582] ppid=28574 vsize=28834900 memory=0 CPUtime=0.09 cores=0-7 /proc/28576/task/28582/stat : 28582 (java) S 28574 28574 23783 0 -1 1077944384 128 0 0 0 5 4 0 0 20 0 28 0 510911617 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835794311824 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28583] ppid=28574 vsize=28834900 memory=1456 CPUtime=0.1 cores=0-7 /proc/28576/task/28583/stat : 28583 (java) S 28574 28574 23783 0 -1 1077944384 192 0 0 0 6 4 0 0 20 0 28 0 510911617 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835793259024 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28584] ppid=28574 vsize=28834900 memory=359040 CPUtime=0.07 cores=0-7 /proc/28576/task/28584/stat : 28584 (java) S 28574 28574 23783 0 -1 1077944384 97 0 0 0 3 4 0 0 20 0 28 0 510911617 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835792206224 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28585] ppid=28574 vsize=28834900 memory=6944656592455097440 CPUtime=0.09 cores=0-7 /proc/28576/task/28585/stat : 28585 (java) S 28574 28574 23783 0 -1 1077944384 141 0 0 0 5 4 0 0 20 0 28 0 510911617 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835791153424 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28586] ppid=28574 vsize=28834900 memory=6944652177228980320 CPUtime=0.01 cores=0-7 /proc/28576/task/28586/stat : 28586 (java) S 28574 28574 23783 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 28 0 510911619 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835748621168 139836247521922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28587] ppid=28574 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28587/stat : 28587 (java) S 28574 28574 23783 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510911619 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835361846880 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28588] ppid=28574 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28588/stat : 28588 (java) S 28574 28574 23783 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 510911619 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835360793984 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28589] ppid=28574 vsize=28834900 memory=3618695336498065254 CPUtime=0 cores=0-7 /proc/28576/task/28589/stat : 28589 (java) S 28574 28574 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510911622 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835359742288 139836247529371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28590] ppid=28574 vsize=28834900 memory=4639622827774857296 CPUtime=1.62 cores=0-7 /proc/28576/task/28590/stat : 28590 (java) S 28574 28574 23783 0 -1 1077944384 4067 0 0 0 161 1 0 0 20 0 28 0 510911622 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835358675392 139836247531965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28591] ppid=28574 vsize=28834900 memory=303711698211307546 CPUtime=1.59 cores=0-7 /proc/28576/task/28591/stat : 28591 (java) S 28574 28574 23783 0 -1 1077944384 4057 0 0 0 158 1 0 0 20 0 28 0 510911622 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835357621600 139836247531965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28592] ppid=28574 vsize=28834900 memory=0 CPUtime=1.66 cores=0-7 /proc/28576/task/28592/stat : 28592 (java) R 28574 28574 23783 0 -1 4202560 3767 0 0 0 165 1 0 0 20 0 28 0 510911622 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835356565616 139836247514114 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28593] ppid=28574 vsize=28834900 memory=6154282627664735592 CPUtime=0.88 cores=0-7 /proc/28576/task/28593/stat : 28593 (java) S 28574 28574 23783 0 -1 1077944384 3659 0 0 0 87 1 0 0 20 0 28 0 510911622 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835355531248 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28594] ppid=28574 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/28576/task/28594/stat : 28594 (java) S 28574 28574 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510911622 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835354479712 139836247520981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 [pid=28576/tid=28595] ppid=28574 vsize=28834900 memory=1 CPUtime=0 cores=0-7 /proc/28576/task/28595/stat : 28595 (java) S 28574 28574 23783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 510911623 29526937600 146437 33554432000 4194304 4196468 140726842203008 139835353426992 139836247521922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25927680 140726842205162 140726842205334 140726842205334 140726842208207 0 Current children cumulated CPU time: 10.82 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 587204 KiB Child status: 0 Real time (s): 2.58704 CPU time (s): 11.3345 CPU user time (s): 10.7605 CPU system time (s): 0.574 CPU usage (%): 438.126 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 587204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.7605 system time used= 0.574 maximum resident set size= 587264 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36517 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6840 involuntary context switches= 122 # summary of solver processes directly reported to runsolver: # pid: 28574 # total CPU time (s): 11.3345 # total CPU user time (s): 10.7605 # total CPU system time (s): 0.574 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.037539 second user time and 0.082904 second system time The end
Begin job on node120 at 2011-12-26 02:37:55 IDJOB=4406970 IDBENCH=126829 IDSOLVER=2871 FILE ID=node120/4406970-1569349055 RUNJOBID= node120-1324850400-23810 PBS_JOBID= 21705064 Free space on /tmp= 23412 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-4-5-20-1.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-4406970-1569349055/watcher-4406970-1569349055 -o /tmp/evaluation-result-4406970-1569349055/solver-4406970-1569349055 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324850400-23810 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1428284258 HOME/instance-4406970-1569349055.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e6e5223db5de59749ca81141a6ec4e70 RANDOM SEED=1428284258 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 25474804 kB MemAvailable: 31775200 kB Buffers: 110660 kB Cached: 6466084 kB SwapCached: 68820 kB Active: 3252808 kB Inactive: 3397256 kB Active(anon): 4356 kB Inactive(anon): 133816 kB Active(file): 3248452 kB Inactive(file): 3263440 kB Unevictable: 107952 kB Mlocked: 107952 kB SwapTotal: 67108860 kB SwapFree: 66927640 kB Dirty: 26888 kB Writeback: 0 kB AnonPages: 156108 kB Mapped: 63680 kB Shmem: 55948 kB Slab: 237700 kB SReclaimable: 208680 kB SUnreclaim: 29020 kB KernelStack: 3824 kB PageTables: 5528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 531464 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 110592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 23384 MiB End job on node120 at 2011-12-26 02:37:58