Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 105 | 23.1521 | 5.15194 |
Name | Tpp/Tpp-zinc-s1/ Tpp-7-5-20-1.xml |
MD5SUM | e35b04ec576605d811ffb09e6056798d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 105 |
Best CPU time to get the best result obtained on this benchmark | 1.03722 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 757 |
Number of domains | 57 |
Minimum domain size | 2 |
Maximum domain size | 35 |
Distribution of domain sizes | [{"size":2,"count":1},{"size":3,"count":6},{"size":4,"count":18},{"size":5,"count":10},{"size":15,"count":6},{"size":16,"count":4},{"size":17,"count":4},{"size":18,"count":5},{"size":19,"count":1},{"size":34,"count":20},{"size":35,"count":35}] |
Minimum variable degree | 2 |
Maximum variable degree | 36 |
Distribution of variable degrees | [{"degree":2,"count":55},{"degree":22,"count":34},{"degree":23,"count":1},{"degree":36,"count":20}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 35 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":755},{"arity":35,"count":1}] |
Number of extensional constraints | 55 |
Number of intensional constraints | 701 |
Distribution of constraint types | [{"type":"extension","count":55},{"type":"intension","count":701},{"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-4407019-1569349044.xml" -tl '20160s' -p 8 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4407019-1569349044.xml, -tl, 20160s, -p, 8] 0.33/0.25 c 8 solvers in parallel 0.33/0.32 c parse instance... 11.53/3.39 c solve instance... 13.17/3.66 o 605 13.90/3.78 o 254 14.58/3.81 o 226 14.58/3.82 o 217 14.58/3.87 o 215 14.58/3.88 o 210 14.58/3.89 o 208 14.58/3.90 o 207 15.23/3.91 o 205 15.23/3.93 o 200 15.23/3.96 o 198 15.23/3.97 o 197 15.23/3.98 o 195 15.23/3.99 o 190 15.84/4.02 o 134 15.84/4.06 o 132 15.84/4.10 o 131 16.43/4.13 o 129 16.43/4.19 o 128 16.92/4.23 o 127 16.92/4.27 o 126 17.37/4.32 o 124 17.37/4.33 o 123 17.37/4.34 o 121 17.37/4.35 o 120 17.37/4.40 o 119 17.85/4.43 o 114 17.85/4.49 o 107 18.44/4.51 o 105 23.09/5.11 s OPTIMUM FOUND 23.09/5.11 v <instantiation> 23.09/5.11 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] s[30] s[31] s[32] s[33] s[34] 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] d[30] d[31] d[32] d[33] d[34] 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> 23.09/5.11 v <values>0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 18 19 26 20 21 22 23 17 25 27 34 28 29 30 24 31 32 33 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 4 9 0 0 0 0 2 0 1 2 0 0 0 5 8 12 7 19 24 26 18 27 24 17 33 31 17 17 24 26 18 27 19 33 24 17 18 4 4 4 1 2 2 2 1 4 1 3 5 2 4 1 1 2 1 1 5 </values> 23.09/5.11 v </instantiation>
OK 105
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 (12527 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-4407019-1569349044/watcher-4407019-1569349044 -o /tmp/evaluation-result-4407019-1569349044/solver-4407019-1569349044 -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 499944816 HOME/instance-4407019-1569349044.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 threadsolver pid=27769, runsolver pid= 27766 Starting watchdog threadsolver pid=27769, runsolver pid= Current StackSize limit: 8192 KiB [startup+0.10013 s]* /proc/loadavg: 8.15 8.31 8.17 3/211 27790 /proc/meminfo: memFree=25458668/32770688 swapFree=66927640/67108860 [pid=27769] ppid=27766 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27769/stat : 27769 (xcsp3-exec) S 27766 27769 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510910538 115843072 363 33554432000 4194304 5098028 140726899544000 140726899542104 140009618535036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33710080 140726899549046 140726899549289 140726899549289 140726899552202 0 /proc/27769/statm: 28282 363 304 221 0 87 0 [pid=27771] ppid=27769 vsize=28227396 memory=29048 CPUtime=0.12 cores=0-7 /proc/27771/stat : 27771 (java) S 27769 27769 23783 0 -1 1077944320 5655 0 0 0 11 1 0 0 20 0 20 0 510910538 28904853504 7262 33554432000 4194304 4196468 140721604613392 140721604595936 140298477870839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 /proc/27771/statm: 7056849 7262 3145 1 0 7019032 0 [pid=27771/tid=27772] ppid=27769 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/27771/task/27772/stat : 27772 (java) R 27769 27769 23783 0 -1 4202560 3570 0 0 0 8 0 0 0 20 0 20 0 510910539 28904853504 7262 33554432000 4194304 4196468 140721604613392 140298482099072 140298477892765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27773] ppid=27769 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/27771/task/27773/stat : 27773 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 7262 33554432000 4194304 4196468 140721604613392 140298397723408 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27774] ppid=27769 vsize=28227396 memory=140259032749696 CPUtime=0 cores=0-7 /proc/27771/task/27774/stat : 27774 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 7262 33554432000 4194304 4196468 140721604613392 140298396670864 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27775] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27775/stat : 27775 (java) S 27769 27769 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 7262 33554432000 4194304 4196468 140721604613392 140298027129872 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27776] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27776/stat : 27776 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 7262 33554432000 4194304 4196468 140721604613392 140298026077328 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27777] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27777/stat : 27777 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 7262 33554432000 4194304 4196468 140721604613392 140298025023760 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27778] ppid=27769 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27771/task/27778/stat : 27778 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 7262 33554432000 4194304 4196468 140721604613392 140298023971216 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27779] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27779/stat : 27779 (java) S 27769 27769 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 7262 33554432000 4194304 4196468 140721604613392 140298022918672 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27780] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27780/stat : 27780 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 7262 33554432000 4194304 4196468 140721604613392 140298021866128 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27781] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27781/stat : 27781 (java) S 27769 27769 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910541 28904853504 7262 33554432000 4194304 4196468 140721604613392 140297862453744 140298477881986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27782] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27782/stat : 27782 (java) S 27769 27769 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510910542 28904853504 7262 33554432000 4194304 4196468 140721604613392 140297861399968 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27783] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27783/stat : 27783 (java) S 27769 27769 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510910542 28904853504 7262 33554432000 4194304 4196468 140721604613392 140297860347376 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27784] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27784/stat : 27784 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910545 28904853504 7262 33554432000 4194304 4196468 140721604613392 140297859295952 140298477889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27785] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27785/stat : 27785 (java) S 27769 27769 23783 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 510910545 28904853504 7262 33554432000 4194304 4196468 140721604613392 140297656854512 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27786] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27786/stat : 27786 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910545 28904853504 7262 33554432000 4194304 4196468 140721604613392 140297655801968 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27787] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27787/stat : 27787 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910545 28904853504 7262 33554432000 4194304 4196468 140721604613392 140297654749424 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27788] ppid=27769 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/27771/task/27788/stat : 27788 (java) R 27769 27769 23783 0 -1 4202560 346 0 0 0 1 0 0 0 20 0 20 0 510910545 28904853504 7262 33554432000 4194304 4196468 140721604613392 140297653696880 140298477892186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27789] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27789/stat : 27789 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910545 28904853504 7262 33554432000 4194304 4196468 140721604613392 140297652644576 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27790] ppid=27769 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27771/task/27790/stat : 27790 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910545 28904853504 7262 33554432000 4194304 4196468 140721604613392 140297651592112 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30500 KiB [startup+0.21146 s]* /proc/loadavg: 8.15 8.31 8.17 2/211 27790 /proc/meminfo: memFree=25445208/32770688 swapFree=66927640/67108860 [pid=27769] ppid=27766 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27769/stat : 27769 (xcsp3-exec) S 27766 27769 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510910538 115843072 363 33554432000 4194304 5098028 140726899544000 140726899542104 140009618535036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33710080 140726899549046 140726899549289 140726899549289 140726899552202 0 /proc/27769/statm: 28282 363 304 221 0 87 0 [pid=27771] ppid=27769 vsize=28227396 memory=39880 CPUtime=0.33 cores=0-7 /proc/27771/stat : 27771 (java) S 27769 27769 23783 0 -1 1077944320 9272 0 0 0 30 3 0 0 20 0 20 0 510910538 28904853504 9970 33554432000 4194304 4196468 140721604613392 140721604595936 140298477870839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 /proc/27771/statm: 7056849 9970 3243 1 0 7019032 0 [pid=27771/tid=27772] ppid=27769 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/27771/task/27772/stat : 27772 (java) R 27769 27769 23783 0 -1 4202560 6524 0 0 0 18 2 0 0 20 0 20 0 510910539 28904853504 9970 33554432000 4194304 4196468 140721604613392 140298482108912 140298461951326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27773] ppid=27769 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/27771/task/27773/stat : 27773 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 9970 33554432000 4194304 4196468 140721604613392 140298397723408 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27774] ppid=27769 vsize=28227396 memory=140259032773763 CPUtime=0 cores=0-7 /proc/27771/task/27774/stat : 27774 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 9970 33554432000 4194304 4196468 140721604613392 140298396670864 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27775] ppid=27769 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27771/task/27775/stat : 27775 (java) S 27769 27769 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 9970 33554432000 4194304 4196468 140721604613392 140298027129872 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27776] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27776/stat : 27776 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 9970 33554432000 4194304 4196468 140721604613392 140298026077328 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27777] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27777/stat : 27777 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 9970 33554432000 4194304 4196468 140721604613392 140298025023760 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27778] ppid=27769 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27771/task/27778/stat : 27778 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 9970 33554432000 4194304 4196468 140721604613392 140298023971216 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27779] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27779/stat : 27779 (java) S 27769 27769 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 9970 33554432000 4194304 4196468 140721604613392 140298022918672 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27780] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27780/stat : 27780 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910540 28904853504 9970 33554432000 4194304 4196468 140721604613392 140298021866128 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27781] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27781/stat : 27781 (java) S 27769 27769 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910541 28904853504 9970 33554432000 4194304 4196468 140721604613392 140297862453744 140298477881986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27782] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27782/stat : 27782 (java) S 27769 27769 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510910542 28904853504 9970 33554432000 4194304 4196468 140721604613392 140297861399968 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27783] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27783/stat : 27783 (java) S 27769 27769 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510910542 28904853504 9970 33554432000 4194304 4196468 140721604613392 140297860347376 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27784] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27784/stat : 27784 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910545 28904853504 9970 33554432000 4194304 4196468 140721604613392 140297859295952 140298477889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27785] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27785/stat : 27785 (java) S 27769 27769 23783 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 510910545 28904853504 9970 33554432000 4194304 4196468 140721604613392 140297656854512 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27786] ppid=27769 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/27771/task/27786/stat : 27786 (java) S 27769 27769 23783 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 510910545 28904853504 9970 33554432000 4194304 4196468 140721604613392 140297655801968 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27787] ppid=27769 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/27771/task/27787/stat : 27787 (java) S 27769 27769 23783 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 20 0 510910545 28904853504 9970 33554432000 4194304 4196468 140721604613392 140297654749424 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27788] ppid=27769 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/27771/task/27788/stat : 27788 (java) S 27769 27769 23783 0 -1 1077944384 788 0 0 0 7 0 0 0 20 0 20 0 510910545 28904853504 9970 33554432000 4194304 4196468 140721604613392 140297653696880 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27789] ppid=27769 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27789/stat : 27789 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910545 28904853504 9970 33554432000 4194304 4196468 140721604613392 140297652644576 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27790] ppid=27769 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/27771/task/27790/stat : 27790 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910545 28904853504 9970 33554432000 4194304 4196468 140721604613392 140297651592112 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41332 KiB [startup+0.310936 s]* /proc/loadavg: 8.15 8.31 8.17 6/211 27790 /proc/meminfo: memFree=25440044/32770688 swapFree=66927640/67108860 [pid=27769] ppid=27766 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27769/stat : 27769 (xcsp3-exec) S 27766 27769 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510910538 115843072 363 33554432000 4194304 5098028 140726899544000 140726899542104 140009618535036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33710080 140726899549046 140726899549289 140726899549289 140726899552202 0 /proc/27769/statm: 28282 363 304 221 0 87 0 [pid=27771] ppid=27769 vsize=28231652 memory=46496 CPUtime=0.51 cores=0-7 /proc/27771/stat : 27771 (java) S 27769 27769 23783 0 -1 1077944320 10499 0 0 0 47 4 0 0 20 0 20 0 510910538 28909211648 11624 33554432000 4194304 4196468 140721604613392 140721604595936 140298477870839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 /proc/27771/statm: 7057913 11624 3333 1 0 7019032 0 [pid=27771/tid=27772] ppid=27769 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/27771/task/27772/stat : 27772 (java) R 27769 27769 23783 0 -1 4202560 7504 0 0 0 27 3 0 0 20 0 20 0 510910539 28909211648 11624 33554432000 4194304 4196468 140721604613392 140298482083248 140298477892186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27773] ppid=27769 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27773/stat : 27773 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28909211648 11624 33554432000 4194304 4196468 140721604613392 140298397723408 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27774] ppid=27769 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27774/stat : 27774 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910540 28909211648 11624 33554432000 4194304 4196468 140721604613392 140298396670864 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27775] ppid=27769 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27775/stat : 27775 (java) S 27769 27769 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910540 28909211648 11624 33554432000 4194304 4196468 140721604613392 140298027129872 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27776] ppid=27769 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27776/stat : 27776 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28909211648 11624 33554432000 4194304 4196468 140721604613392 140298026077328 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27777] ppid=27769 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27777/stat : 27777 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28909211648 11624 33554432000 4194304 4196468 140721604613392 140298025023760 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27778] ppid=27769 vsize=28231652 memory=140258935138991 CPUtime=0 cores=0-7 /proc/27771/task/27778/stat : 27778 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28909211648 11624 33554432000 4194304 4196468 140721604613392 140298023971216 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27779] ppid=27769 vsize=28231652 memory=140258935141296 CPUtime=0 cores=0-7 /proc/27771/task/27779/stat : 27779 (java) S 27769 27769 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910540 28909211648 11624 33554432000 4194304 4196468 140721604613392 140298022918672 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27780] ppid=27769 vsize=28231652 memory=140258935143600 CPUtime=0 cores=0-7 /proc/27771/task/27780/stat : 27780 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910540 28909211648 11624 33554432000 4194304 4196468 140721604613392 140298021866128 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27781] ppid=27769 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27781/stat : 27781 (java) S 27769 27769 23783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510910541 28909211648 11624 33554432000 4194304 4196468 140721604613392 140297862453744 140298477881986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27782] ppid=27769 vsize=28231652 memory=280517870301072 CPUtime=0 cores=0-7 /proc/27771/task/27782/stat : 27782 (java) S 27769 27769 23783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510910542 28909211648 11624 33554432000 4194304 4196468 140721604613392 140297861399968 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27783] ppid=27769 vsize=28231652 memory=280517870298768 CPUtime=0 cores=0-7 /proc/27771/task/27783/stat : 27783 (java) S 27769 27769 23783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510910542 28909211648 11624 33554432000 4194304 4196468 140721604613392 140297860347376 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27784] ppid=27769 vsize=28231652 memory=280517870305680 CPUtime=0 cores=0-7 /proc/27771/task/27784/stat : 27784 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910545 28909211648 11624 33554432000 4194304 4196468 140721604613392 140297859295952 140298477889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27785] ppid=27769 vsize=28231652 memory=280517870246960 CPUtime=0.01 cores=0-7 /proc/27771/task/27785/stat : 27785 (java) S 27769 27769 23783 0 -1 1077944384 479 0 0 0 1 0 0 0 20 0 20 0 510910545 28909211648 11624 33554432000 4194304 4196468 140721604613392 140297656854512 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27786] ppid=27769 vsize=28231652 memory=280517870319504 CPUtime=0.02 cores=0-7 /proc/27771/task/27786/stat : 27786 (java) S 27769 27769 23783 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 20 0 510910545 28909211648 11624 33554432000 4194304 4196468 140721604613392 140297655801968 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27787] ppid=27769 vsize=28231652 memory=280517870326416 CPUtime=0.02 cores=0-7 /proc/27771/task/27787/stat : 27787 (java) S 27769 27769 23783 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 20 0 510910545 28909211648 11624 33554432000 4194304 4196468 140721604613392 140297654749424 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27788] ppid=27769 vsize=28231652 memory=280517870324112 CPUtime=0.12 cores=0-7 /proc/27771/task/27788/stat : 27788 (java) R 27769 27769 23783 0 -1 4202560 926 0 0 0 12 0 0 0 20 0 20 0 510910545 28909211648 11624 33554432000 4194304 4196468 140721604613392 140297653696880 140298461951326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27789] ppid=27769 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27789/stat : 27789 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910545 28909211648 11624 33554432000 4194304 4196468 140721604613392 140297652644576 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27790] ppid=27769 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/27771/task/27790/stat : 27790 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910545 28909211648 11624 33554432000 4194304 4196468 140721604613392 140297651592112 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 47948 KiB [startup+0.701046 s] /proc/loadavg: 8.15 8.31 8.17 6/211 27790 /proc/meminfo: memFree=25428320/32770688 swapFree=66927640/67108860 [pid=27769] ppid=27766 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27769/stat : 27769 (xcsp3-exec) S 27766 27769 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510910538 115843072 363 33554432000 4194304 5098028 140726899544000 140726899542104 140009618535036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33710080 140726899549046 140726899549289 140726899549289 140726899552202 0 /proc/27769/statm: 28282 363 304 221 0 87 0 [pid=27771] ppid=27769 vsize=28233776 memory=84536 CPUtime=1.77 cores=0-7 /proc/27771/stat : 27771 (java) S 27769 27769 23783 0 -1 1077944320 16377 0 0 0 170 7 0 0 20 0 20 0 510910538 28911386624 21134 33554432000 4194304 4196468 140721604613392 140721604595936 140298477870839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 /proc/27771/statm: 7058444 21134 3446 1 0 7019544 0 [pid=27771/tid=27772] ppid=27769 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/27771/task/27772/stat : 27772 (java) R 27769 27769 23783 0 -1 4202560 9157 0 0 0 63 4 0 0 20 0 20 0 510910539 28911386624 21134 33554432000 4194304 4196468 140721604613392 140298482108032 140298077443614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27773] ppid=27769 vsize=28233776 memory=140258935350128 CPUtime=0 cores=0-7 /proc/27771/task/27773/stat : 27773 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910540 28911386624 21134 33554432000 4194304 4196468 140721604613392 140298397723408 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27774] ppid=27769 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27774/stat : 27774 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910540 28911386624 21134 33554432000 4194304 4196468 140721604613392 140298396670864 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27775] ppid=27769 vsize=28233776 memory=1176 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=27771/tid=27780] ppid=27769 vsize=28769364 memory=0 CPUtime=0.58 cores=0-7 /proc/27771/task/27780/stat : 27780 (java) S 27769 27769 23783 0 -1 1077944384 501 0 0 0 46 12 0 0 20 0 28 0 510910540 29459828736 228259 33554432000 4194304 4196468 140721604613392 140298021866128 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27781] ppid=27769 vsize=28769364 memory=1452 CPUtime=0.03 cores=0-7 /proc/27771/task/27781/stat : 27781 (java) S 27769 27769 23783 0 -1 1077944384 1971 0 0 0 3 0 0 0 20 0 28 0 510910541 29459828736 228259 33554432000 4194304 4196468 140721604613392 140297862453744 140298477881986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27782] ppid=27769 vsize=28769364 memory=317764 CPUtime=0 cores=0-7 /proc/27771/task/27782/stat : 27782 (java) S 27769 27769 23783 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 510910542 29459828736 228259 33554432000 4194304 4196468 140721604613392 140297861400032 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27783] ppid=27769 vsize=28769364 memory=-2605811476043407915 CPUtime=0 cores=0-7 /proc/27771/task/27783/stat : 27783 (java) S 27769 27769 23783 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 510910542 29459828736 228259 33554432000 4194304 4196468 140721604613392 140297860347392 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27784] ppid=27769 vsize=28769364 memory=-4695043397844020537 CPUtime=0 cores=0-7 /proc/27771/task/27784/stat : 27784 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510910545 29459828736 228259 33554432000 4194304 4196468 140721604613392 140297859295952 140298477889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27785] ppid=27769 vsize=28769364 memory=-3756611412707075625 CPUtime=2.41 cores=0-7 /proc/27771/task/27785/stat : 27785 (java) R 27769 27769 23783 0 -1 4202560 4825 0 0 0 240 1 0 0 20 0 28 0 510910545 29459828736 228259 33554432000 4194304 4196468 140721604613392 140297656835904 140298462978838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27786] ppid=27769 vsize=28769364 memory=8562125494162282060 CPUtime=2.32 cores=0-7 /proc/27771/task/27786/stat : 27786 (java) R 27769 27769 23783 0 -1 4202560 4702 0 0 0 231 1 0 0 20 0 28 0 510910545 29459828736 228259 33554432000 4194304 4196468 140721604613392 140297655788288 140298458571442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27787] ppid=27769 vsize=28769364 memory=-2672971630408907303 CPUtime=2.18 cores=0-7 /proc/27771/task/27787/stat : 27787 (java) R 27769 27769 23783 0 -1 4202560 4914 0 0 0 217 1 0 0 20 0 28 0 510910545 29459828736 228259 33554432000 4194304 4196468 140721604613392 140297654735304 140298457118499 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27788] ppid=27769 vsize=28769364 memory=-7022074515825631275 CPUtime=1.06 cores=0-7 /proc/27771/task/27788/stat : 27788 (java) S 27769 27769 23783 0 -1 1077944384 5221 0 0 0 104 2 0 0 20 0 28 0 510910545 29459828736 228259 33554432000 4194304 4196468 140721604613392 140297653696880 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27789] ppid=27769 vsize=28769364 memory=-2026666227646604569 CPUtime=0 cores=0-7 /proc/27771/task/27789/stat : 27789 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510910545 29459828736 228259 33554432000 4194304 4196468 140721604613392 140297652644576 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27790] ppid=27769 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27790/stat : 27790 (java) S 27769 27769 23783 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510910545 29459828736 228259 33554432000 4194304 4196468 140721604613392 140297651592112 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 Current children cumulated CPU time: 20.71 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 914488 KiB [startup+5.00182 s]* /proc/loadavg: 7.82 8.24 8.15 12/219 28030 /proc/meminfo: memFree=24569752/32770688 swapFree=66927640/67108860 [pid=27769] ppid=27766 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27769/stat : 27769 (xcsp3-exec) S 27766 27769 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510910538 115843072 363 33554432000 4194304 5098028 140726899544000 140726899542104 140009618535036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33710080 140726899549046 140726899549289 140726899549289 140726899552202 0 /proc/27769/statm: 28282 363 304 221 0 87 0 [pid=27771] ppid=27769 vsize=28769364 memory=916164 CPUtime=22.31 cores=0-7 /proc/27771/stat : 27771 (java) S 27769 27769 23783 0 -1 1077944320 43058 0 0 0 2104 127 0 0 20 0 28 0 510910538 29459828736 229041 33554432000 4194304 4196468 140721604613392 140721604595936 140298477870839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 /proc/27771/statm: 7192341 229041 3549 1 0 7153441 0 [pid=27771/tid=27772] ppid=27769 vsize=28769364 memory=8318255677412212789 CPUtime=2.76 cores=0-7 /proc/27771/task/27772/stat : 27772 (java) S 27769 27769 23783 0 -1 1077944384 11637 0 0 0 269 7 0 0 20 0 28 0 510910539 29459828736 229041 33554432000 4194304 4196468 140721604613392 140298482111616 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27773] ppid=27769 vsize=28769364 memory=301741407901843824 CPUtime=0.6 cores=0-7 /proc/27771/task/27773/stat : 27773 (java) S 27769 27769 23783 0 -1 1077944384 397 0 0 0 48 12 0 0 20 0 28 0 510910540 29459828736 229041 33554432000 4194304 4196468 140721604613392 140298397723408 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27774] ppid=27769 vsize=28769364 memory=140259032773921 CPUtime=0.59 cores=0-7 /proc/27771/task/27774/stat : 27774 (java) S 27769 27769 23783 0 -1 1077944384 367 0 0 0 47 12 0 0 20 0 28 0 510910540 29459828736 229041 33554432000 4194304 4196468 140721604613392 140298396670864 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27775] ppid=27769 vsize=28769364 memory=3472328296227418159 CPUtime=0.57 cores=0-7 /proc/27771/task/27775/stat : 27775 (java) S 27769 27769 23783 0 -1 1077944384 849 0 0 0 46 11 0 0 20 0 28 0 510910540 29459828736 229041 33554432000 4194304 4196468 140721604613392 140298027129872 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27776] ppid=27769 vsize=28769364 memory=7666622358649794145 CPUtime=0.59 cores=0-7 /proc/27771/task/27776/stat : 27776 (java) S 27769 27769 23783 0 -1 1077944384 325 0 0 0 46 13 0 0 20 0 28 0 510910540 29459828736 229041 33554432000 4194304 4196468 140721604613392 140298026077328 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27777] ppid=27769 vsize=28769364 memory=0 CPUtime=0.57 cores=0-7 /proc/27771/task/27777/stat : 27777 (java) S 27769 27769 23783 0 -1 1077944384 361 0 0 0 45 12 0 0 20 0 28 0 510910540 29459828736 229041 33554432000 4194304 4196468 140721604613392 140298025023760 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27778] ppid=27769 vsize=28769364 memory=-1 CPUtime=0.57 cores=0-7 /proc/27771/task/27778/stat : 27778 (java) S 27769 27769 23783 0 -1 1077944384 331 0 0 0 45 12 0 0 20 0 28 0 510910540 29459828736 229041 33554432000 4194304 4196468 140721604613392 140298023971216 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27779] ppid=27769 vsize=28769364 memory=-7101718590825193272 CPUtime=0.6 cores=0-7 /proc/27771/task/27779/stat : 27779 (java) S 27769 27769 23783 0 -1 1077944384 413 0 0 0 47 13 0 0 20 0 28 0 510910540 29459828736 229041 33554432000 4194304 4196468 140721604613392 140298022918672 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27780] ppid=27769 vsize=28769364 memory=288285593090392631 CPUtime=0.58 cores=0-7 /proc/27771/task/27780/stat : 27780 (java) S 27769 27769 23783 0 -1 1077944384 501 0 0 0 46 12 0 0 20 0 28 0 510910540 29459828736 229041 33554432000 4194304 4196468 140721604613392 140298021866128 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27781] ppid=27769 vsize=28769364 memory=0 CPUtime=0.03 cores=0-7 /proc/27771/task/27781/stat : 27781 (java) S 27769 27769 23783 0 -1 1077944384 1971 0 0 0 3 0 0 0 20 0 28 0 510910541 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297862453744 140298477881986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27782] ppid=27769 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27782/stat : 27782 (java) S 27769 27769 23783 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 510910542 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297861400032 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27783] ppid=27769 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27783/stat : 27783 (java) S 27769 27769 23783 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 510910542 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297860347392 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27784] ppid=27769 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27784/stat : 27784 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510910545 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297859295952 140298477889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27785] ppid=27769 vsize=28769364 memory=0 CPUtime=2.6 cores=0-7 /proc/27771/task/27785/stat : 27785 (java) R 27769 27769 23783 0 -1 4202560 4846 0 0 0 259 1 0 0 20 0 28 0 510910545 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297656841080 140298459390868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27786] ppid=27769 vsize=28769364 memory=0 CPUtime=2.49 cores=0-7 /proc/27771/task/27786/stat : 27786 (java) R 27769 27769 23783 0 -1 4202560 4716 0 0 0 248 1 0 0 20 0 28 0 510910545 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297655787648 140298461402367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27787] ppid=27769 vsize=28769364 memory=-1 CPUtime=2.3 cores=0-7 /proc/27771/task/27787/stat : 27787 (java) R 27769 27769 23783 0 -1 4202560 5100 0 0 0 229 1 0 0 20 0 28 0 510910545 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297654735304 140298456249345 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27788] ppid=27769 vsize=28769364 memory=0 CPUtime=1.08 cores=0-7 /proc/27771/task/27788/stat : 27788 (java) S 27769 27769 23783 0 -1 1077944384 5258 0 0 0 106 2 0 0 20 0 28 0 510910545 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297653696880 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27789] ppid=27769 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27789/stat : 27789 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510910545 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297652644576 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27790] ppid=27769 vsize=28769364 memory=-1 CPUtime=0 cores=0-7 /proc/27771/task/27790/stat : 27790 (java) S 27769 27769 23783 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 510910545 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297651592112 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28023] ppid=27769 vsize=28769364 memory=-1 CPUtime=0.39 cores=0-7 /proc/27771/task/28023/stat : 28023 (java) R 27769 27769 23783 0 -1 4202560 25 0 0 0 39 0 0 0 20 0 28 0 510910989 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297640277448 140298086050456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28024] ppid=27769 vsize=28769364 memory=0 CPUtime=0.39 cores=0-7 /proc/27771/task/28024/stat : 28024 (java) R 27769 27769 23783 0 -1 4202560 17 0 0 0 39 0 0 0 20 0 28 0 510910990 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297639226072 140298082206950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28025] ppid=27769 vsize=28769364 memory=0 CPUtime=0.34 cores=0-7 /proc/27771/task/28025/stat : 28025 (java) R 27769 27769 23783 0 -1 4202560 22 0 0 0 34 0 0 0 20 0 28 0 510910990 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297636065288 140298084734182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28026] ppid=27769 vsize=28769364 memory=0 CPUtime=0.29 cores=0-7 /proc/27771/task/28026/stat : 28026 (java) R 27769 27769 23783 0 -1 4202560 20 0 0 0 29 0 0 0 20 0 28 0 510910990 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297637119480 140298084733748 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28027] ppid=27769 vsize=28769364 memory=0 CPUtime=0.36 cores=0-7 /proc/27771/task/28027/stat : 28027 (java) R 27769 27769 23783 0 -1 4202560 19 0 0 0 36 0 0 0 20 0 28 0 510910990 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297631856664 140298084888737 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28028] ppid=27769 vsize=28769364 memory=0 CPUtime=0.25 cores=0-7 /proc/27771/task/28028/stat : 28028 (java) R 27769 27769 23783 0 -1 4202560 26 0 0 0 25 0 0 0 20 0 28 0 510910990 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297632909176 140298084734182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28029] ppid=27769 vsize=28769364 memory=0 CPUtime=0.33 cores=0-7 /proc/27771/task/28029/stat : 28029 (java) R 27769 27769 23783 0 -1 4202560 23 0 0 0 33 0 0 0 20 0 28 0 510910990 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297638172632 140298077443628 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28030] ppid=27769 vsize=28769364 memory=0 CPUtime=0.26 cores=0-7 /proc/27771/task/28030/stat : 28030 (java) R 27769 27769 23783 0 -1 4202560 19 0 0 0 26 0 0 0 20 0 28 0 510910990 29459828736 229041 33554432000 4194304 4196468 140721604613392 140297633960696 140298085663172 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 Current children cumulated CPU time: 22.31 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 917616 KiB [startup+5.11382 s] /proc/loadavg: 7.82 8.24 8.15 12/219 28030 /proc/meminfo: memFree=24569752/32770688 swapFree=66927640/67108860 [pid=27769] ppid=27766 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/27769/stat : 27769 (xcsp3-exec) S 27766 27769 23783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510910538 115843072 363 33554432000 4194304 5098028 140726899544000 140726899542104 140009618535036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33710080 140726899549046 140726899549289 140726899549289 140726899552202 0 /proc/27769/statm: 28282 363 304 221 0 87 0 [pid=27771] ppid=27769 vsize=28769364 memory=918740 CPUtime=23.09 cores=0-7 /proc/27771/stat : 27771 (java) S 27769 27769 23783 0 -1 1077944320 43170 0 0 0 2182 127 0 0 20 0 28 0 510910538 29459828736 229685 33554432000 4194304 4196468 140721604613392 140721604595936 140298477870839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 /proc/27771/statm: 7192341 229685 3551 1 0 7153441 0 [pid=27771/tid=27772] ppid=27769 vsize=28769364 memory=276 CPUtime=2.76 cores=0-7 /proc/27771/task/27772/stat : 27772 (java) S 27769 27769 23783 0 -1 1077944384 11637 0 0 0 269 7 0 0 20 0 28 0 510910539 29459828736 229685 33554432000 4194304 4196468 140721604613392 140298482111616 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27773] ppid=27769 vsize=28769364 memory=0 CPUtime=0.6 cores=0-7 /proc/27771/task/27773/stat : 27773 (java) S 27769 27769 23783 0 -1 1077944384 397 0 0 0 48 12 0 0 20 0 28 0 510910540 29459828736 229685 33554432000 4194304 4196468 140721604613392 140298397723408 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27774] ppid=27769 vsize=28769364 memory=0 CPUtime=0.59 cores=0-7 /proc/27771/task/27774/stat : 27774 (java) S 27769 27769 23783 0 -1 1077944384 367 0 0 0 47 12 0 0 20 0 28 0 510910540 29459828736 229685 33554432000 4194304 4196468 140721604613392 140298396670864 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27775] ppid=27769 vsize=28769364 memory=0 CPUtime=0.57 cores=0-7 /proc/27771/task/27775/stat : 27775 (java) S 27769 27769 23783 0 -1 1077944384 849 0 0 0 46 11 0 0 20 0 28 0 510910540 29459828736 229685 33554432000 4194304 4196468 140721604613392 140298027129872 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27776] ppid=27769 vsize=28769364 memory=0 CPUtime=0.59 cores=0-7 /proc/27771/task/27776/stat : 27776 (java) S 27769 27769 23783 0 -1 1077944384 325 0 0 0 46 13 0 0 20 0 28 0 510910540 29459828736 229685 33554432000 4194304 4196468 140721604613392 140298026077328 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27777] ppid=27769 vsize=28769364 memory=2241 CPUtime=0.57 cores=0-7 /proc/27771/task/27777/stat : 27777 (java) S 27769 27769 23783 0 -1 1077944384 361 0 0 0 45 12 0 0 20 0 28 0 510910540 29459828736 229685 33554432000 4194304 4196468 140721604613392 140298025023760 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27778] ppid=27769 vsize=28769364 memory=2244 CPUtime=0.57 cores=0-7 /proc/27771/task/27778/stat : 27778 (java) S 27769 27769 23783 0 -1 1077944384 331 0 0 0 45 12 0 0 20 0 28 0 510910540 29459828736 229685 33554432000 4194304 4196468 140721604613392 140298023971216 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27779] ppid=27769 vsize=28769364 memory=0 CPUtime=0.6 cores=0-7 /proc/27771/task/27779/stat : 27779 (java) S 27769 27769 23783 0 -1 1077944384 413 0 0 0 47 13 0 0 20 0 28 0 510910540 29459828736 229685 33554432000 4194304 4196468 140721604613392 140298022918672 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27780] ppid=27769 vsize=28769364 memory=56 CPUtime=0.58 cores=0-7 /proc/27771/task/27780/stat : 27780 (java) S 27769 27769 23783 0 -1 1077944384 501 0 0 0 46 12 0 0 20 0 28 0 510910540 29459828736 229685 33554432000 4194304 4196468 140721604613392 140298021866128 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27781] ppid=27769 vsize=28769364 memory=1915838 CPUtime=0.03 cores=0-7 /proc/27771/task/27781/stat : 27781 (java) S 27769 27769 23783 0 -1 1077944384 1971 0 0 0 3 0 0 0 20 0 28 0 510910541 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297862453744 140298477881986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27782] ppid=27769 vsize=28769364 memory=1918122 CPUtime=0 cores=0-7 /proc/27771/task/27782/stat : 27782 (java) S 27769 27769 23783 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 510910542 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297861400032 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27783] ppid=27769 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/27771/task/27783/stat : 27783 (java) S 27769 27769 23783 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 510910542 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297860347392 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27784] ppid=27769 vsize=28769364 memory=851988 CPUtime=0 cores=0-7 /proc/27771/task/27784/stat : 27784 (java) S 27769 27769 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510910545 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297859295952 140298477889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27785] ppid=27769 vsize=28769364 memory=1452 CPUtime=2.66 cores=0-7 /proc/27771/task/27785/stat : 27785 (java) R 27769 27769 23783 0 -1 4202560 4855 0 0 0 265 1 0 0 20 0 28 0 510910545 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297656835504 140298459058019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27786] ppid=27769 vsize=28769364 memory=1452 CPUtime=2.59 cores=0-7 /proc/27771/task/27786/stat : 27786 (java) R 27769 27769 23783 0 -1 4202560 4759 0 0 0 258 1 0 0 20 0 28 0 510910545 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297655787648 140298455720192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27787] ppid=27769 vsize=28769364 memory=713464 CPUtime=2.37 cores=0-7 /proc/27771/task/27787/stat : 27787 (java) R 27769 27769 23783 0 -1 4202560 5135 0 0 0 236 1 0 0 20 0 28 0 510910545 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297654735296 140298456286664 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27788] ppid=27769 vsize=28769364 memory=2319406795981862450 CPUtime=1.09 cores=0-7 /proc/27771/task/27788/stat : 27788 (java) S 27769 27769 23783 0 -1 1077944384 5279 0 0 0 107 2 0 0 20 0 28 0 510910545 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297653696880 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27789] ppid=27769 vsize=28769364 memory=2241 CPUtime=0 cores=0-7 /proc/27771/task/27789/stat : 27789 (java) S 27769 27769 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510910545 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297652644576 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=27790] ppid=27769 vsize=28769364 memory=2244 CPUtime=0 cores=0-7 /proc/27771/task/27790/stat : 27790 (java) S 27769 27769 23783 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 510910545 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297651592112 140298477881986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28023] ppid=27769 vsize=28769364 memory=288230574492221466 CPUtime=0.48 cores=0-7 /proc/27771/task/28023/stat : 28023 (java) S 27769 27769 23783 0 -1 1077944384 26 0 0 0 48 0 0 0 20 0 28 0 510910989 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297640280064 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28024] ppid=27769 vsize=28769364 memory=0 CPUtime=0.43 cores=0-7 /proc/27771/task/28024/stat : 28024 (java) S 27769 27769 23783 0 -1 1077944384 17 0 0 0 43 0 0 0 20 0 28 0 510910990 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297639228944 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28025] ppid=27769 vsize=28769364 memory=0 CPUtime=0.42 cores=0-7 /proc/27771/task/28025/stat : 28025 (java) S 27769 27769 23783 0 -1 1077944384 24 0 0 0 42 0 0 0 20 0 28 0 510910990 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297636070032 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28026] ppid=27769 vsize=28769364 memory=140259032752385 CPUtime=0.35 cores=0-7 /proc/27771/task/28026/stat : 28026 (java) S 27769 27769 23783 0 -1 1077944384 20 0 0 0 35 0 0 0 20 0 28 0 510910990 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297637122832 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28027] ppid=27769 vsize=28769364 memory=0 CPUtime=0.42 cores=0-7 /proc/27771/task/28027/stat : 28027 (java) R 27769 27769 23783 0 -1 4202560 19 0 0 0 42 0 0 0 20 0 28 0 510910990 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297631852120 140298084733192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28028] ppid=27769 vsize=28769364 memory=6656426216303648864 CPUtime=0.29 cores=0-7 /proc/27771/task/28028/stat : 28028 (java) S 27769 27769 23783 0 -1 1077944384 26 0 0 0 29 0 0 0 20 0 28 0 510910990 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297632912400 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28029] ppid=27769 vsize=28769364 memory=0 CPUtime=0.42 cores=0-7 /proc/27771/task/28029/stat : 28029 (java) S 27769 27769 23783 0 -1 1077944384 23 0 0 0 42 0 0 0 20 0 28 0 510910990 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297638175888 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 [pid=27771/tid=28030] ppid=27769 vsize=28769364 memory=0 CPUtime=0.31 cores=0-7 /proc/27771/task/28030/stat : 28030 (java) S 27769 27769 23783 0 -1 1077944384 19 0 0 0 31 0 0 0 20 0 28 0 510910990 29459828736 229685 33554432000 4194304 4196468 140721604613392 140297633965328 140298477881045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10432512 140721604617194 140721604617366 140721604617366 140721604620239 0 Current children cumulated CPU time: 23.09 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 920192 KiB Child status: 0 Real time (s): 5.15194 CPU time (s): 23.1521 CPU user time (s): 21.8583 CPU system time (s): 1.29378 CPU usage (%): 449.385 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 920192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 21.8583 system time used= 1.29378 maximum resident set size= 920356 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43957 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6515 involuntary context switches= 364 # summary of solver processes directly reported to runsolver: # pid: 27769 # total CPU time (s): 23.1521 # total CPU user time (s): 21.8583 # total CPU system time (s): 1.29378 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.065895 second user time and 0.110185 second system time The end
Begin job on node120 at 2011-12-26 02:37:45 IDJOB=4407019 IDBENCH=126827 IDSOLVER=2871 FILE ID=node120/4407019-1569349044 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-7-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-4407019-1569349044/watcher-4407019-1569349044 -o /tmp/evaluation-result-4407019-1569349044/solver-4407019-1569349044 -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 499944816 HOME/instance-4407019-1569349044.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e35b04ec576605d811ffb09e6056798d RANDOM SEED=499944816 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: 25474368 kB MemAvailable: 31774748 kB Buffers: 110612 kB Cached: 6465512 kB SwapCached: 68820 kB Active: 3252372 kB Inactive: 3397168 kB Active(anon): 3840 kB Inactive(anon): 133816 kB Active(file): 3248532 kB Inactive(file): 3263352 kB Unevictable: 107952 kB Mlocked: 107952 kB SwapTotal: 67108860 kB SwapFree: 66927640 kB Dirty: 26288 kB Writeback: 0 kB AnonPages: 131988 kB Mapped: 63492 kB Shmem: 55948 kB Slab: 237568 kB SReclaimable: 208660 kB SUnreclaim: 28908 kB KernelStack: 3712 kB PageTables: 5776 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: 86016 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:50