Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 132 | 24.1237 | 5.4401 |
Name | Tpp/Tpp-zinc-s1/ Tpp-6-5-30-1.xml |
MD5SUM | ef915df37055c75537688959881a75d3 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 132 |
Best CPU time to get the best result obtained on this benchmark | 1.77323 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 962 |
Number of domains | 62 |
Minimum domain size | 2 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":2,"count":1},{"size":3,"count":6},{"size":4,"count":14},{"size":5,"count":9},{"size":13,"count":3},{"size":14,"count":4},{"size":15,"count":7},{"size":16,"count":7},{"size":17,"count":8},{"size":18,"count":1},{"size":29,"count":30},{"size":30,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":60},{"degree":31,"count":30},{"degree":32,"count":29},{"degree":33,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":960},{"arity":30,"count":1}] |
Number of extensional constraints | 60 |
Number of intensional constraints | 901 |
Distribution of constraint types | [{"type":"extension","count":60},{"type":"intension","count":901},{"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-4407070-1569349058.xml" -tl '20160s' -p 8 0.11/0.20 c Choco e747e1e 0.11/0.20 c [HOME/instance-4407070-1569349058.xml, -tl, 20160s, -p, 8] 0.33/0.25 c 8 solvers in parallel 0.52/0.32 c parse instance... 11.97/3.67 c solve instance... 12.89/3.89 o 323 13.65/4.00 o 320 15.22/4.14 o 319 15.22/4.15 o 316 15.22/4.15 o 315 15.22/4.16 o 314 15.22/4.16 o 311 15.22/4.17 o 308 15.22/4.18 o 306 15.22/4.19 o 303 15.22/4.19 o 300 15.63/4.20 o 297 15.63/4.21 o 295 15.63/4.29 o 292 15.63/4.29 o 289 16.27/4.30 o 288 16.27/4.31 o 287 16.27/4.32 o 285 16.27/4.36 o 282 16.27/4.37 o 281 16.27/4.37 o 280 16.27/4.37 o 279 16.27/4.38 o 276 16.65/4.42 o 275 16.65/4.42 o 274 16.65/4.43 o 272 16.65/4.45 o 269 16.65/4.46 o 268 16.65/4.46 o 184 17.05/4.50 o 165 17.80/4.63 o 147 18.52/4.71 o 132 24.06/5.41 s OPTIMUM FOUND 24.06/5.41 v <instantiation> 24.06/5.41 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] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] 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] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] 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] l[20] l[21] l[22] l[23] l[24] l[25] l[26] l[27] l[28] l[29] 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] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] </list> 24.06/5.41 v <values>0 1 2 3 4 5 6 7 8 9 11 17 12 13 14 15 10 23 18 19 20 21 16 29 24 25 26 27 22 28 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 16 5 0 0 0 0 8 3 0 0 0 0 1 2 28 28 10 11 23 17 17 10 10 23 16 10 11 10 28 17 23 10 23 16 16 10 28 16 10 22 11 11 10 16 2 3 5 4 2 1 3 1 2 4 2 5 4 5 4 1 4 1 4 4 7 4 4 2 5 1 1 1 1 5 </values> 24.06/5.41 v </instantiation>
OK 132
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-4407070-1569349058/watcher-4407070-1569349058 -o /tmp/evaluation-result-4407070-1569349058/solver-4407070-1569349058 -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 1803610371 HOME/instance-4407070-1569349058.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 solver pid=29076, runsolver pid=29073 Current StackSize limit: 8192 KiB [startup+0.100112 s]* /proc/loadavg: 6.85 8.02 8.08 3/211 29097 /proc/meminfo: memFree=25458764/32770688 swapFree=66927640/67108860 [pid=29076] ppid=29073 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29076/stat : 29076 (xcsp3-exec) S 29073 29076 23783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510911979 115843072 363 33554432000 4194304 5098028 140725380242400 140725380240504 139926515233404 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9383936 140725380248437 140725380248681 140725380248681 140725380251594 0 /proc/29076/statm: 28282 363 305 221 0 87 0 [pid=29078] ppid=29076 vsize=28227396 memory=29032 CPUtime=0.11 cores=0-7 /proc/29078/stat : 29078 (java) S 29076 29076 23783 0 -1 1077944320 5712 0 0 0 10 1 0 0 20 0 20 0 510911979 28904853504 7258 33554432000 4194304 4196468 140732136295616 140732136278160 140256519225079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 /proc/29078/statm: 7056849 7258 3122 1 0 7019032 0 [pid=29078/tid=29079] ppid=29076 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29078/task/29079/stat : 29079 (java) R 29076 29076 23783 0 -1 4202560 3630 0 0 0 8 0 0 0 20 0 20 0 510911980 28904853504 7258 33554432000 4194304 4196468 140732136295616 140256523458560 140256519247005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29080] ppid=29076 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/29078/task/29080/stat : 29080 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 7258 33554432000 4194304 4196468 140732136295616 140256471845264 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29081] ppid=29076 vsize=28227396 memory=140302646916736 CPUtime=0 cores=0-7 /proc/29078/task/29081/stat : 29081 (java) S 29076 29076 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 7258 33554432000 4194304 4196468 140732136295616 140256470792464 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29082] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29082/stat : 29082 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 7258 33554432000 4194304 4196468 140732136295616 140256469740176 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29083] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29083/stat : 29083 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 7258 33554432000 4194304 4196468 140732136295616 140256468687376 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29084] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29084/stat : 29084 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 7258 33554432000 4194304 4196468 140732136295616 140256467635088 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29085] ppid=29076 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29078/task/29085/stat : 29085 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 7258 33554432000 4194304 4196468 140732136295616 140256466582288 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29086] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29086/stat : 29086 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 7258 33554432000 4194304 4196468 140732136295616 140256465530000 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29087] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29087/stat : 29087 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 7258 33554432000 4194304 4196468 140732136295616 140256464477200 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29088] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29088/stat : 29088 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911982 28904853504 7258 33554432000 4194304 4196468 140732136295616 140255568017520 140256519236226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29089] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29089/stat : 29089 (java) S 29076 29076 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510911983 28904853504 7258 33554432000 4194304 4196468 140732136295616 140255566963488 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29090] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29090/stat : 29090 (java) S 29076 29076 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510911983 28904853504 7258 33554432000 4194304 4196468 140732136295616 140255565911152 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29091] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29091/stat : 29091 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911986 28904853504 7258 33554432000 4194304 4196468 140732136295616 140255564859472 140256519243675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29092] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29092/stat : 29092 (java) S 29076 29076 23783 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 510911986 28904853504 7258 33554432000 4194304 4196468 140732136295616 140255563807344 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29093] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29093/stat : 29093 (java) S 29076 29076 23783 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510911986 28904853504 7258 33554432000 4194304 4196468 140732136295616 140255562754544 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29094] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29094/stat : 29094 (java) S 29076 29076 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911986 28904853504 7258 33554432000 4194304 4196468 140732136295616 140255561702256 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29095] ppid=29076 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29078/task/29095/stat : 29095 (java) S 29076 29076 23783 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 510911986 28904853504 7258 33554432000 4194304 4196468 140732136295616 140255560649456 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29096] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29096/stat : 29096 (java) S 29076 29076 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911986 28904853504 7258 33554432000 4194304 4196468 140732136295616 140255559596384 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29097] ppid=29076 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29078/task/29097/stat : 29097 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911986 28904853504 7258 33554432000 4194304 4196468 140732136295616 140255558543664 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30484 KiB [startup+0.211397 s]* /proc/loadavg: 6.85 8.02 8.08 2/211 29097 /proc/meminfo: memFree=25445320/32770688 swapFree=66927640/67108860 [pid=29076] ppid=29073 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29076/stat : 29076 (xcsp3-exec) S 29073 29076 23783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510911979 115843072 363 33554432000 4194304 5098028 140725380242400 140725380240504 139926515233404 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9383936 140725380248437 140725380248681 140725380248681 140725380251594 0 /proc/29076/statm: 28282 363 305 221 0 87 0 [pid=29078] ppid=29076 vsize=28227396 memory=40644 CPUtime=0.33 cores=0-7 /proc/29078/stat : 29078 (java) S 29076 29076 23783 0 -1 1077944320 9432 0 0 0 30 3 0 0 20 0 20 0 510911979 28904853504 10161 33554432000 4194304 4196468 140732136295616 140732136278160 140256519225079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 /proc/29078/statm: 7056849 10161 3271 1 0 7019032 0 [pid=29078/tid=29079] ppid=29076 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/29078/task/29079/stat : 29079 (java) R 29076 29076 23783 0 -1 4202560 6577 0 0 0 18 2 0 0 20 0 20 0 510911980 28904853504 10161 33554432000 4194304 4196468 140732136295616 140256523444416 140256519247005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29080] ppid=29076 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/29078/task/29080/stat : 29080 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 10161 33554432000 4194304 4196468 140732136295616 140256471845264 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29081] ppid=29076 vsize=28227396 memory=140302646940803 CPUtime=0 cores=0-7 /proc/29078/task/29081/stat : 29081 (java) S 29076 29076 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 10161 33554432000 4194304 4196468 140732136295616 140256470792464 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29082] ppid=29076 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29078/task/29082/stat : 29082 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 10161 33554432000 4194304 4196468 140732136295616 140256469740176 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29083] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29083/stat : 29083 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 10161 33554432000 4194304 4196468 140732136295616 140256468687376 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29084] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29084/stat : 29084 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 10161 33554432000 4194304 4196468 140732136295616 140256467635088 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29085] ppid=29076 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29078/task/29085/stat : 29085 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 10161 33554432000 4194304 4196468 140732136295616 140256466582288 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29086] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29086/stat : 29086 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 10161 33554432000 4194304 4196468 140732136295616 140256465530000 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29087] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29087/stat : 29087 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911981 28904853504 10161 33554432000 4194304 4196468 140732136295616 140256464477200 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29088] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29088/stat : 29088 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911982 28904853504 10161 33554432000 4194304 4196468 140732136295616 140255568017520 140256519236226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29089] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29089/stat : 29089 (java) S 29076 29076 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510911983 28904853504 10161 33554432000 4194304 4196468 140732136295616 140255566963488 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29090] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29090/stat : 29090 (java) S 29076 29076 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510911983 28904853504 10161 33554432000 4194304 4196468 140732136295616 140255565911152 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29091] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29091/stat : 29091 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911986 28904853504 10161 33554432000 4194304 4196468 140732136295616 140255564859472 140256519243675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29092] ppid=29076 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29078/task/29092/stat : 29092 (java) S 29076 29076 23783 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 20 0 510911986 28904853504 10161 33554432000 4194304 4196468 140732136295616 140255563807344 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29093] ppid=29076 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29078/task/29093/stat : 29093 (java) S 29076 29076 23783 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 20 0 510911986 28904853504 10161 33554432000 4194304 4196468 140732136295616 140255562754544 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29094] ppid=29076 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29078/task/29094/stat : 29094 (java) S 29076 29076 23783 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 510911986 28904853504 10161 33554432000 4194304 4196468 140732136295616 140255561702256 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29095] ppid=29076 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/29078/task/29095/stat : 29095 (java) S 29076 29076 23783 0 -1 1077944384 707 0 0 0 7 0 0 0 20 0 20 0 510911986 28904853504 10161 33554432000 4194304 4196468 140732136295616 140255560649456 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29096] ppid=29076 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29096/stat : 29096 (java) S 29076 29076 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911986 28904853504 10161 33554432000 4194304 4196468 140732136295616 140255559596384 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29097] ppid=29076 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29078/task/29097/stat : 29097 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911986 28904853504 10161 33554432000 4194304 4196468 140732136295616 140255558543664 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42096 KiB [startup+0.310823 s]* /proc/loadavg: 6.85 8.02 8.08 5/211 29097 /proc/meminfo: memFree=25439912/32770688 swapFree=66927640/67108860 [pid=29076] ppid=29073 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29076/stat : 29076 (xcsp3-exec) S 29073 29076 23783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510911979 115843072 363 33554432000 4194304 5098028 140725380242400 140725380240504 139926515233404 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9383936 140725380248437 140725380248681 140725380248681 140725380251594 0 /proc/29076/statm: 28282 363 305 221 0 87 0 [pid=29078] ppid=29076 vsize=28231652 memory=46584 CPUtime=0.52 cores=0-7 /proc/29078/stat : 29078 (java) S 29076 29076 23783 0 -1 1077944320 10556 0 0 0 48 4 0 0 20 0 20 0 510911979 28909211648 11646 33554432000 4194304 4196468 140732136295616 140732136278160 140256519225079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 /proc/29078/statm: 7057913 11646 3294 1 0 7019032 0 [pid=29078/tid=29079] ppid=29076 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/29078/task/29079/stat : 29079 (java) R 29076 29076 23783 0 -1 4202560 7580 0 0 0 27 3 0 0 20 0 20 0 510911980 28909211648 11646 33554432000 4194304 4196468 140732136295616 140256523446592 140256504905269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29080] ppid=29076 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29080/stat : 29080 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911981 28909211648 11646 33554432000 4194304 4196468 140732136295616 140256471845264 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29081] ppid=29076 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29081/stat : 29081 (java) S 29076 29076 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911981 28909211648 11646 33554432000 4194304 4196468 140732136295616 140256470792464 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29082] ppid=29076 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29082/stat : 29082 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911981 28909211648 11646 33554432000 4194304 4196468 140732136295616 140256469740176 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29083] ppid=29076 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29083/stat : 29083 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911981 28909211648 11646 33554432000 4194304 4196468 140732136295616 140256468687376 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29084] ppid=29076 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/29078/task/29084/stat : 29084 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911981 28909211648 11646 33554432000 4194304 4196468 140732136295616 140256467635088 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29085] ppid=29076 vsize=28231652 memory=140302488794031 CPUtime=0 cores=0-7 /proc/29078/task/29085/stat : 29085 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911981 28909211648 11646 33554432000 4194304 4196468 140732136295616 140256466582288 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29086] ppid=29076 vsize=28231652 memory=140302488796336 CPUtime=0 cores=0-7 /proc/29078/task/29086/stat : 29086 (java) S 29076 29076 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510911981 28909211648 11646 33554432000 4194304 4196468 140732136295616 140256465530000 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29087] ppid=29076 vsize=28231652 memory=140302488798640 CPUtime=0 cores=0-7 /proc/29078/task/29087/stat : 29087 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911981 28909211648 11646 33554432000 4194304 4196468 140732136295616 140256464477200 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29088] ppid=29076 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29088/stat : 29088 (java) S 29076 29076 23783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510911982 28909211648 11646 33554432000 4194304 4196468 140732136295616 140255568017520 140256519236226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29089] ppid=29076 vsize=28231652 memory=280604977604240 CPUtime=0 cores=0-7 /proc/29078/task/29089/stat : 29089 (java) S 29076 29076 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510911983 28909211648 11646 33554432000 4194304 4196468 140732136295616 140255566963488 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29090] ppid=29076 vsize=28231652 memory=280604977611152 CPUtime=0 cores=0-7 /proc/29078/task/29090/stat : 29090 (java) S 29076 29076 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510911983 28909211648 11646 33554432000 4194304 4196468 140732136295616 140255565911152 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29091] ppid=29076 vsize=28231652 memory=280604977552432 CPUtime=0 cores=0-7 /proc/29078/task/29091/stat : 29091 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911986 28909211648 11646 33554432000 4194304 4196468 140732136295616 140255564859472 140256519243675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29092] ppid=29076 vsize=28231652 memory=280604977624976 CPUtime=0.02 cores=0-7 /proc/29078/task/29092/stat : 29092 (java) S 29076 29076 23783 0 -1 1077944384 574 0 0 0 2 0 0 0 20 0 20 0 510911986 28909211648 11646 33554432000 4194304 4196468 140732136295616 140255563807344 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29093] ppid=29076 vsize=28231652 memory=280604977631888 CPUtime=0.03 cores=0-7 /proc/29078/task/29093/stat : 29093 (java) S 29076 29076 23783 0 -1 1077944384 238 0 0 0 3 0 0 0 20 0 20 0 510911986 28909211648 11646 33554432000 4194304 4196468 140732136295616 140255562754544 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29094] ppid=29076 vsize=28231652 memory=280604977629584 CPUtime=0.01 cores=0-7 /proc/29078/task/29094/stat : 29094 (java) S 29076 29076 23783 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 510911986 28909211648 11646 33554432000 4194304 4196468 140732136295616 140255561702256 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29095] ppid=29076 vsize=28231652 memory=280604977645744 CPUtime=0.12 cores=0-7 /proc/29078/task/29095/stat : 29095 (java) S 29076 29076 23783 0 -1 1077944384 787 0 0 0 12 0 0 0 20 0 20 0 510911986 28909211648 11646 33554432000 4194304 4196468 140732136295616 140255560649456 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29096] ppid=29076 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29096/stat : 29096 (java) S 29076 29076 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911986 28909211648 11646 33554432000 4194304 4196468 140732136295616 140255559596384 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29097] ppid=29076 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/29078/task/29097/stat : 29097 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911986 28909211648 11646 33554432000 4194304 4196468 140732136295616 140255558543664 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48036 KiB [startup+0.700984 s] /proc/loadavg: 6.85 8.02 8.08 5/211 29097 /proc/meminfo: memFree=25427060/32770688 swapFree=66927640/67108860 [pid=29076] ppid=29073 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29076/stat : 29076 (xcsp3-exec) S 29073 29076 23783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510911979 115843072 363 33554432000 4194304 5098028 140725380242400 140725380240504 139926515233404 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9383936 140725380248437 140725380248681 140725380248681 140725380251594 0 /proc/29076/statm: 28282 363 305 221 0 87 0 [pid=29078] ppid=29076 vsize=28233776 memory=83800 CPUtime=1.77 cores=0-7 /proc/29078/stat : 29078 (java) S 29076 29076 23783 0 -1 1077944320 16095 0 0 0 170 7 0 0 20 0 20 0 510911979 28911386624 20950 33554432000 4194304 4196468 140732136295616 140732136278160 140256519225079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 /proc/29078/statm: 7058444 20950 3446 1 0 7019544 0 [pid=29078/tid=29079] ppid=29076 vsize=28233776 memory=280604978003632 CPUtime=0.67 cores=0-7 /proc/29078/task/29079/stat : 29079 (java) R 29076 29076 23783 0 -1 4202560 8992 0 0 0 63 4 0 0 20 0 20 0 510911980 28911386624 20950 33554432000 4194304 4196468 140732136295616 140256523461792 140256137164575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29080] ppid=29076 vsize=28233776 memory=140302489002864 CPUtime=0 cores=0-7 /proc/29078/task/29080/stat : 29080 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911981 28911386624 20950 33554432000 4194304 4196468 140732136295616 140256471845264 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29081] ppid=29076 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29081/stat : 29081 (java) S 29076 29076 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510911981 28911386624 20950 33554432000 4194304 4196468 140732136295616 140256470792464 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29082] ppid=29076 vsize=28233776 memory=2828 CPUtime=0 cores=0-7 /proc/29078/task/29082/stat : 29082 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510911981 28911386624 20950 33554432000 4194304 4196468 140732136295616 140256469740176 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 ################ # More data... # ################ [pid=29078/tid=29087] ppid=29076 vsize=29167720 memory=4112 CPUtime=0.56 cores=0-7 /proc/29078/task/29087/stat : 29087 (java) S 29076 29076 23783 0 -1 1077944384 415 0 0 0 40 16 0 0 20 0 28 0 510911981 29867745280 220364 33554432000 4194304 4196468 140732136295616 140256464477200 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29088] ppid=29076 vsize=29167720 memory=1656 CPUtime=0.03 cores=0-7 /proc/29078/task/29088/stat : 29088 (java) S 29076 29076 23783 0 -1 1077944384 1908 0 0 0 3 0 0 0 20 0 28 0 510911982 29867745280 220364 33554432000 4194304 4196468 140732136295616 140255568017520 140256519236226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29089] ppid=29076 vsize=29167720 memory=3472328296227679313 CPUtime=0 cores=0-7 /proc/29078/task/29089/stat : 29089 (java) S 29076 29076 23783 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 510911983 29867745280 220364 33554432000 4194304 4196468 140732136295616 140255566963552 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29090] ppid=29076 vsize=29167720 memory=280604978153248 CPUtime=0 cores=0-7 /proc/29078/task/29090/stat : 29090 (java) S 29076 29076 23783 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 510911983 29867745280 220364 33554432000 4194304 4196468 140732136295616 140255565911168 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29091] ppid=29076 vsize=29167720 memory=6645459911560372124 CPUtime=0 cores=0-7 /proc/29078/task/29091/stat : 29091 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510911986 29867745280 220364 33554432000 4194304 4196468 140732136295616 140255564859472 140256519243675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29092] ppid=29076 vsize=29167720 memory=6944656592385698452 CPUtime=1.98 cores=0-7 /proc/29078/task/29092/stat : 29092 (java) S 29076 29076 23783 0 -1 1077944384 5008 0 0 0 197 1 0 0 20 0 28 0 510911986 29867745280 220364 33554432000 4194304 4196468 140732136295616 140255563807344 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29093] ppid=29076 vsize=29167720 memory=-7161131788332309537 CPUtime=1.94 cores=0-7 /proc/29078/task/29093/stat : 29093 (java) R 29076 29076 23783 0 -1 4202560 4181 0 0 0 193 1 0 0 20 0 28 0 510911986 29867745280 220364 33554432000 4194304 4196468 140732136295616 140255562754544 140256497670685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29094] ppid=29076 vsize=29167720 memory=-8316900901535099443 CPUtime=2.29 cores=0-7 /proc/29078/task/29094/stat : 29094 (java) R 29076 29076 23783 0 -1 4202560 4465 0 0 0 228 1 0 0 20 0 28 0 510911986 29867745280 220364 33554432000 4194304 4196468 140732136295616 140255561702552 140256504332618 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29095] ppid=29076 vsize=29167720 memory=7976406965554101975 CPUtime=1.03 cores=0-7 /proc/29078/task/29095/stat : 29095 (java) S 29076 29076 23783 0 -1 1077944384 4544 0 0 0 101 2 0 0 20 0 28 0 510911986 29867745280 220364 33554432000 4194304 4196468 140732136295616 140255560649456 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29096] ppid=29076 vsize=29167720 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29096/stat : 29096 (java) S 29076 29076 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510911986 29867745280 220364 33554432000 4194304 4196468 140732136295616 140255559596384 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29097] ppid=29076 vsize=29167720 memory=97 CPUtime=0 cores=0-7 /proc/29078/task/29097/stat : 29097 (java) S 29076 29076 23783 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510911986 29867745280 220364 33554432000 4194304 4196468 140732136295616 140255558543664 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 Current children cumulated CPU time: 19.24 s Current children cumulated vsize: 29280848 KiB Current children cumulated memory: 882908 KiB [startup+5.20124 s] /proc/loadavg: 6.70 7.97 8.06 13/219 29362 /proc/meminfo: memFree=24604600/32770688 swapFree=66927640/67108860 [pid=29076] ppid=29073 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29076/stat : 29076 (xcsp3-exec) S 29073 29076 23783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510911979 115843072 363 33554432000 4194304 5098028 140725380242400 140725380240504 139926515233404 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9383936 140725380248437 140725380248681 140725380248681 140725380251594 0 /proc/29076/statm: 28282 363 305 221 0 87 0 [pid=29078] ppid=29076 vsize=29167720 memory=881644 CPUtime=22.43 cores=0-7 /proc/29078/stat : 29078 (java) S 29076 29076 23783 0 -1 1077944320 41664 0 0 0 2115 128 0 0 20 0 28 0 510911979 29867745280 220411 33554432000 4194304 4196468 140732136295616 140732136278160 140256519225079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 /proc/29078/statm: 7291930 220411 3546 1 0 7253030 0 [pid=29078/tid=29079] ppid=29076 vsize=29167720 memory=0 CPUtime=2.86 cores=0-7 /proc/29078/task/29079/stat : 29079 (java) S 29076 29076 23783 0 -1 1077944384 11855 0 0 0 277 9 0 0 20 0 28 0 510911980 29867745280 220411 33554432000 4194304 4196468 140732136295616 140256523465856 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29080] ppid=29076 vsize=29167720 memory=0 CPUtime=0.58 cores=0-7 /proc/29078/task/29080/stat : 29080 (java) S 29076 29076 23783 0 -1 1077944384 365 0 0 0 46 12 0 0 20 0 28 0 510911981 29867745280 220411 33554432000 4194304 4196468 140732136295616 140256471845264 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29081] ppid=29076 vsize=29167720 memory=0 CPUtime=0.55 cores=0-7 /proc/29078/task/29081/stat : 29081 (java) S 29076 29076 23783 0 -1 1077944384 832 0 0 0 43 12 0 0 20 0 28 0 510911981 29867745280 220411 33554432000 4194304 4196468 140732136295616 140256470792464 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29082] ppid=29076 vsize=29167720 memory=0 CPUtime=0.54 cores=0-7 /proc/29078/task/29082/stat : 29082 (java) S 29076 29076 23783 0 -1 1077944384 220 0 0 0 44 10 0 0 20 0 28 0 510911981 29867745280 220411 33554432000 4194304 4196468 140732136295616 140256469740176 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29083] ppid=29076 vsize=29167720 memory=0 CPUtime=0.59 cores=0-7 /proc/29078/task/29083/stat : 29083 (java) S 29076 29076 23783 0 -1 1077944384 500 0 0 0 45 14 0 0 20 0 28 0 510911981 29867745280 220411 33554432000 4194304 4196468 140732136295616 140256468687376 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29084] ppid=29076 vsize=29167720 memory=0 CPUtime=0.55 cores=0-7 /proc/29078/task/29084/stat : 29084 (java) S 29076 29076 23783 0 -1 1077944384 268 0 0 0 44 11 0 0 20 0 28 0 510911981 29867745280 220411 33554432000 4194304 4196468 140732136295616 140256467635088 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29085] ppid=29076 vsize=29167720 memory=0 CPUtime=0.52 cores=0-7 /proc/29078/task/29085/stat : 29085 (java) S 29076 29076 23783 0 -1 1077944384 373 0 0 0 40 12 0 0 20 0 28 0 510911981 29867745280 220411 33554432000 4194304 4196468 140732136295616 140256466582288 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29086] ppid=29076 vsize=29167720 memory=0 CPUtime=0.57 cores=0-7 /proc/29078/task/29086/stat : 29086 (java) S 29076 29076 23783 0 -1 1077944384 401 0 0 0 45 12 0 0 20 0 28 0 510911981 29867745280 220411 33554432000 4194304 4196468 140732136295616 140256465530000 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29087] ppid=29076 vsize=29167720 memory=0 CPUtime=0.56 cores=0-7 /proc/29078/task/29087/stat : 29087 (java) S 29076 29076 23783 0 -1 1077944384 415 0 0 0 40 16 0 0 20 0 28 0 510911981 29867745280 220411 33554432000 4194304 4196468 140732136295616 140256464477200 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29088] ppid=29076 vsize=29167720 memory=0 CPUtime=0.03 cores=0-7 /proc/29078/task/29088/stat : 29088 (java) S 29076 29076 23783 0 -1 1077944384 1908 0 0 0 3 0 0 0 20 0 28 0 510911982 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255568017520 140256519236226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29089] ppid=29076 vsize=29167720 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29089/stat : 29089 (java) S 29076 29076 23783 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 510911983 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255566963552 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29090] ppid=29076 vsize=29167720 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/29078/task/29090/stat : 29090 (java) S 29076 29076 23783 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 510911983 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255565911168 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29091] ppid=29076 vsize=29167720 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29091/stat : 29091 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510911986 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255564859472 140256519243675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29092] ppid=29076 vsize=29167720 memory=0 CPUtime=2.11 cores=0-7 /proc/29078/task/29092/stat : 29092 (java) R 29076 29076 23783 0 -1 1077944384 5010 0 0 0 209 2 0 0 20 0 28 0 510911986 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255563798800 140256519235285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29093] ppid=29076 vsize=29167720 memory=0 CPUtime=2.08 cores=0-7 /proc/29078/task/29093/stat : 29093 (java) R 29076 29076 23783 0 -1 1077944384 4182 0 0 0 207 1 0 0 20 0 28 0 510911986 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255562741328 140256519235285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29094] ppid=29076 vsize=29167720 memory=0 CPUtime=2.57 cores=0-7 /proc/29078/task/29094/stat : 29094 (java) S 29076 29076 23783 0 -1 1077944384 4475 0 0 0 256 1 0 0 20 0 28 0 510911986 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255561702256 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29095] ppid=29076 vsize=29167720 memory=0 CPUtime=1.06 cores=0-7 /proc/29078/task/29095/stat : 29095 (java) R 29076 29076 23783 0 -1 1077944384 4551 0 0 0 104 2 0 0 20 0 28 0 510911986 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255560649456 140256519236226 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29096] ppid=29076 vsize=29167720 memory=280604977915568 CPUtime=0 cores=0-7 /proc/29078/task/29096/stat : 29096 (java) S 29076 29076 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510911986 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255559596384 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29097] ppid=29076 vsize=29167720 memory=3756196461599308800 CPUtime=0 cores=0-7 /proc/29078/task/29097/stat : 29097 (java) S 29076 29076 23783 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510911986 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255558543664 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29355] ppid=29076 vsize=29167720 memory=7079765598914236496 CPUtime=0.4 cores=0-7 /proc/29078/task/29355/stat : 29355 (java) R 29076 29076 23783 0 -1 4202560 17 0 0 0 40 0 0 0 20 0 28 0 510912451 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255540098104 140256142956169 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29356] ppid=29076 vsize=29167720 memory=6935650410838380624 CPUtime=0.48 cores=0-7 /proc/29078/task/29356/stat : 29356 (java) R 29076 29076 23783 0 -1 4202560 20 0 0 0 48 0 0 0 20 0 28 0 510912451 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255535886440 140256143131013 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29357] ppid=29076 vsize=29167720 memory=161 CPUtime=0.25 cores=0-7 /proc/29078/task/29357/stat : 29357 (java) R 29076 29076 23783 0 -1 4202560 27 0 0 0 25 0 0 0 20 0 28 0 510912451 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255537992248 140256142823508 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29358] ppid=29076 vsize=29167720 memory=0 CPUtime=0.45 cores=0-7 /proc/29078/task/29358/stat : 29358 (java) R 29076 29076 23783 0 -1 4202560 19 0 0 0 45 0 0 0 20 0 28 0 510912451 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255534835752 140256136869081 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29359] ppid=29076 vsize=29167720 memory=0 CPUtime=0.48 cores=0-7 /proc/29078/task/29359/stat : 29359 (java) R 29076 29076 23783 0 -1 4202560 17 0 0 0 48 0 0 0 20 0 28 0 510912451 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255545361352 140256142131289 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29360] ppid=29076 vsize=29167720 memory=0 CPUtime=0.48 cores=0-7 /proc/29078/task/29360/stat : 29360 (java) R 29076 29076 23783 0 -1 4202560 17 0 0 0 48 0 0 0 20 0 28 0 510912451 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255536941144 140256143131182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29361] ppid=29076 vsize=29167720 memory=6943526294502006880 CPUtime=0.33 cores=0-7 /proc/29078/task/29361/stat : 29361 (java) R 29076 29076 23783 0 -1 4202560 18 0 0 0 33 0 0 0 20 0 28 0 510912451 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255533782616 140256143130993 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29362] ppid=29076 vsize=29167720 memory=0 CPUtime=0.27 cores=0-7 /proc/29078/task/29362/stat : 29362 (java) R 29076 29076 23783 0 -1 4202560 17 0 0 0 27 0 0 0 20 0 28 0 510912451 29867745280 220411 33554432000 4194304 4196468 140732136295616 140255544307544 140256142131162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 Current children cumulated CPU time: 22.43 s Current children cumulated vsize: 29280848 KiB Current children cumulated memory: 883096 KiB [startup+5.40793 s] /proc/loadavg: 6.70 7.97 8.06 13/219 29362 /proc/meminfo: memFree=24604600/32770688 swapFree=66927640/67108860 [pid=29076] ppid=29073 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29076/stat : 29076 (xcsp3-exec) S 29073 29076 23783 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510911979 115843072 363 33554432000 4194304 5098028 140725380242400 140725380240504 139926515233404 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9383936 140725380248437 140725380248681 140725380248681 140725380251594 0 /proc/29076/statm: 28282 363 305 221 0 87 0 [pid=29078] ppid=29076 vsize=29167720 memory=883692 CPUtime=24.06 cores=0-7 /proc/29078/stat : 29078 (java) S 29076 29076 23783 0 -1 1077944320 41688 0 0 0 2278 128 0 0 20 0 28 0 510911979 29867745280 220923 33554432000 4194304 4196468 140732136295616 140732136278160 140256519225079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 /proc/29078/statm: 7291930 220923 3546 1 0 7253030 0 [pid=29078/tid=29079] ppid=29076 vsize=29167720 memory=0 CPUtime=2.86 cores=0-7 /proc/29078/task/29079/stat : 29079 (java) S 29076 29076 23783 0 -1 1077944384 11855 0 0 0 277 9 0 0 20 0 28 0 510911980 29867745280 220923 33554432000 4194304 4196468 140732136295616 140256523465856 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29080] ppid=29076 vsize=29167720 memory=0 CPUtime=0.58 cores=0-7 /proc/29078/task/29080/stat : 29080 (java) S 29076 29076 23783 0 -1 1077944384 365 0 0 0 46 12 0 0 20 0 28 0 510911981 29867745280 220923 33554432000 4194304 4196468 140732136295616 140256471845264 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29081] ppid=29076 vsize=29167720 memory=0 CPUtime=0.55 cores=0-7 /proc/29078/task/29081/stat : 29081 (java) S 29076 29076 23783 0 -1 1077944384 832 0 0 0 43 12 0 0 20 0 28 0 510911981 29867745280 220923 33554432000 4194304 4196468 140732136295616 140256470792464 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29082] ppid=29076 vsize=29167720 memory=0 CPUtime=0.54 cores=0-7 /proc/29078/task/29082/stat : 29082 (java) S 29076 29076 23783 0 -1 1077944384 220 0 0 0 44 10 0 0 20 0 28 0 510911981 29867745280 220923 33554432000 4194304 4196468 140732136295616 140256469740176 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29083] ppid=29076 vsize=29167720 memory=0 CPUtime=0.59 cores=0-7 /proc/29078/task/29083/stat : 29083 (java) S 29076 29076 23783 0 -1 1077944384 500 0 0 0 45 14 0 0 20 0 28 0 510911981 29867745280 220923 33554432000 4194304 4196468 140732136295616 140256468687376 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29084] ppid=29076 vsize=29167720 memory=0 CPUtime=0.55 cores=0-7 /proc/29078/task/29084/stat : 29084 (java) S 29076 29076 23783 0 -1 1077944384 268 0 0 0 44 11 0 0 20 0 28 0 510911981 29867745280 220923 33554432000 4194304 4196468 140732136295616 140256467635088 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29085] ppid=29076 vsize=29167720 memory=0 CPUtime=0.52 cores=0-7 /proc/29078/task/29085/stat : 29085 (java) S 29076 29076 23783 0 -1 1077944384 373 0 0 0 40 12 0 0 20 0 28 0 510911981 29867745280 220923 33554432000 4194304 4196468 140732136295616 140256466582288 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29086] ppid=29076 vsize=29167720 memory=0 CPUtime=0.57 cores=0-7 /proc/29078/task/29086/stat : 29086 (java) S 29076 29076 23783 0 -1 1077944384 401 0 0 0 45 12 0 0 20 0 28 0 510911981 29867745280 220923 33554432000 4194304 4196468 140732136295616 140256465530000 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29087] ppid=29076 vsize=29167720 memory=0 CPUtime=0.56 cores=0-7 /proc/29078/task/29087/stat : 29087 (java) S 29076 29076 23783 0 -1 1077944384 415 0 0 0 40 16 0 0 20 0 28 0 510911981 29867745280 220923 33554432000 4194304 4196468 140732136295616 140256464477200 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29088] ppid=29076 vsize=29167720 memory=0 CPUtime=0.03 cores=0-7 /proc/29078/task/29088/stat : 29088 (java) S 29076 29076 23783 0 -1 1077944384 1908 0 0 0 3 0 0 0 20 0 28 0 510911982 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255568017520 140256519236226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29089] ppid=29076 vsize=29167720 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29089/stat : 29089 (java) S 29076 29076 23783 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 510911983 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255566963552 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29090] ppid=29076 vsize=29167720 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29090/stat : 29090 (java) S 29076 29076 23783 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 510911983 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255565911168 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29091] ppid=29076 vsize=29167720 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29091/stat : 29091 (java) S 29076 29076 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510911986 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255564859472 140256519243675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29092] ppid=29076 vsize=29167720 memory=0 CPUtime=2.2 cores=0-7 /proc/29078/task/29092/stat : 29092 (java) R 29076 29076 23783 0 -1 4202560 5010 0 0 0 218 2 0 0 20 0 28 0 510911986 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255563807344 140256500750515 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29093] ppid=29076 vsize=29167720 memory=0 CPUtime=2.17 cores=0-7 /proc/29078/task/29093/stat : 29093 (java) R 29076 29076 23783 0 -1 4202560 4183 0 0 0 216 1 0 0 20 0 28 0 510911986 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255562736112 140256500747080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29094] ppid=29076 vsize=29167720 memory=0 CPUtime=2.64 cores=0-7 /proc/29078/task/29094/stat : 29094 (java) R 29076 29076 23783 0 -1 1077944384 4480 0 0 0 263 1 0 0 20 0 28 0 510911986 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255561701440 140256519235285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29095] ppid=29076 vsize=29167720 memory=0 CPUtime=1.07 cores=0-7 /proc/29078/task/29095/stat : 29095 (java) R 29076 29076 23783 0 -1 4202560 4552 0 0 0 105 2 0 0 20 0 28 0 510911986 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255560649456 140256519237014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29096] ppid=29076 vsize=29167720 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29096/stat : 29096 (java) S 29076 29076 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510911986 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255559596384 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29097] ppid=29076 vsize=29167720 memory=0 CPUtime=0 cores=0-7 /proc/29078/task/29097/stat : 29097 (java) S 29076 29076 23783 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510911986 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255558543664 140256519236226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29355] ppid=29076 vsize=29167720 memory=0 CPUtime=0.59 cores=0-7 /proc/29078/task/29355/stat : 29355 (java) S 29076 29076 23783 0 -1 1077944384 17 0 0 0 59 0 0 0 20 0 28 0 510912451 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255540100736 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29356] ppid=29076 vsize=29167720 memory=0 CPUtime=0.69 cores=0-7 /proc/29078/task/29356/stat : 29356 (java) R 29076 29076 23783 0 -1 4202560 20 0 0 0 69 0 0 0 20 0 28 0 510912451 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255535886888 140256142131289 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29357] ppid=29076 vsize=29167720 memory=0 CPUtime=0.38 cores=0-7 /proc/29078/task/29357/stat : 29357 (java) R 29076 29076 23783 0 -1 4202560 27 0 0 0 38 0 0 0 20 0 28 0 510912451 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255537992616 140256143132670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29358] ppid=29076 vsize=29167720 memory=0 CPUtime=0.65 cores=0-7 /proc/29078/task/29358/stat : 29358 (java) S 29076 29076 23783 0 -1 1077944384 35 0 0 0 65 0 0 0 20 0 28 0 510912451 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255534839040 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29359] ppid=29076 vsize=29167720 memory=0 CPUtime=0.68 cores=0-7 /proc/29078/task/29359/stat : 29359 (java) S 29076 29076 23783 0 -1 1077944384 17 0 0 0 68 0 0 0 20 0 28 0 510912451 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255545366144 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29360] ppid=29076 vsize=29167720 memory=0 CPUtime=0.61 cores=0-7 /proc/29078/task/29360/stat : 29360 (java) R 29076 29076 23783 0 -1 4202560 17 0 0 0 61 0 0 0 20 0 28 0 510912451 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255536941144 140256142131047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29361] ppid=29076 vsize=29167720 memory=0 CPUtime=0.47 cores=0-7 /proc/29078/task/29361/stat : 29361 (java) R 29076 29076 23783 0 -1 4202560 19 0 0 0 47 0 0 0 20 0 28 0 510912451 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255533782616 140256142131027 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 [pid=29078/tid=29362] ppid=29076 vsize=29167720 memory=0 CPUtime=0.45 cores=0-7 /proc/29078/task/29362/stat : 29362 (java) S 29076 29076 23783 0 -1 1077944384 17 0 0 0 45 0 0 0 20 0 28 0 510912451 29867745280 220923 33554432000 4194304 4196468 140732136295616 140255544312576 140256519235285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732136297450 140732136297622 140732136297622 140732136300495 0 Current children cumulated CPU time: 24.06 s Current children cumulated vsize: 29280848 KiB Current children cumulated memory: 885144 KiB Child status: 0 Real time (s): 5.4401 CPU time (s): 24.1237 CPU user time (s): 22.8157 CPU system time (s): 1.30797 CPU usage (%): 443.442 Max. virtual memory (cumulated for all children) (KiB): 29280848 Max. memory (cumulated for all children) (KiB): 885144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 22.8157 system time used= 1.30797 maximum resident set size= 884764 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42278 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7043 involuntary context switches= 422 # summary of solver processes directly reported to runsolver: # pid: 29076 # total CPU time (s): 24.1237 # total CPU user time (s): 22.8157 # total CPU system time (s): 1.30797 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.067067 second user time and 0.111779 second system time The end
Begin job on node120 at 2011-12-26 02:37:59 IDJOB=4407070 IDBENCH=126830 IDSOLVER=2871 FILE ID=node120/4407070-1569349058 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-6-5-30-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-4407070-1569349058/watcher-4407070-1569349058 -o /tmp/evaluation-result-4407070-1569349058/solver-4407070-1569349058 -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 1803610371 HOME/instance-4407070-1569349058.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ef915df37055c75537688959881a75d3 RANDOM SEED=1803610371 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: 25475092 kB MemAvailable: 31775404 kB Buffers: 110672 kB Cached: 6465712 kB SwapCached: 68820 kB Active: 3251112 kB Inactive: 3397548 kB Active(anon): 3028 kB Inactive(anon): 133816 kB Active(file): 3248084 kB Inactive(file): 3263732 kB Unevictable: 107952 kB Mlocked: 107952 kB SwapTotal: 67108860 kB SwapFree: 66927640 kB Dirty: 26484 kB Writeback: 0 kB AnonPages: 112768 kB Mapped: 63420 kB Shmem: 55948 kB Slab: 237512 kB SReclaimable: 208660 kB SUnreclaim: 28852 kB KernelStack: 3376 kB PageTables: 5232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 531400 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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:38:05