Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 7 | 116.975 | 16.1207 |
Name | PeacableArmies/ PeacableArmies-m1-07_c18.xml |
MD5SUM | 93689e7972bcd89c8c0248fcf1fc8ef9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 22.5888 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 98 |
Number of constraints | 1002 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":98}] |
Minimum variable degree | 20 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":20,"count":24},{"degree":21,"count":24},{"degree":22,"count":16},{"degree":23,"count":16},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":26,"count":1},{"degree":27,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 98 |
Distribution of constraint arities | [{"arity":2,"count":1001},{"arity":98,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1001 |
Distribution of constraint types | [{"type":"intension","count":1001},{"type":"sum","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407043-1569364105.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407043-1569364105.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 4.67/1.43 c solve instance... 4.67/1.47 o 4 5.24/1.71 o 5 5.24/1.71 o 5 5.24/1.71 o 6 5.24/1.71 o 7 116.89/16.11 s OPTIMUM FOUND 116.89/16.11 v <instantiation> 116.89/16.11 v <list>b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] </list> 116.89/16.11 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 116.89/16.11 v </instantiation>
OK 7
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (11989 MiB free) memory of node 1: 16384 MiB (13152 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407043-1569364105/watcher-4407043-1569364105 -o /var/tmp/evaluation-result-4407043-1569364105/solver-4407043-1569364105 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1910837977 HOME/instance-4407043-1569364105.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=22999, runsolver pid=22996 Current StackSize limit: 8192 KiB [startup+0.100109 s]* /proc/loadavg: 6.15 6.93 7.13 2/211 23020 /proc/meminfo: memFree=25728492/32770624 swapFree=66992472/67108860 [pid=22999] ppid=22996 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22999/stat : 22999 (xcsp3-exec) S 22996 22999 20811 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512673082 115843072 363 33554432000 4194304 5098028 140725313599584 140725313597688 140049123291772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40251392 140725313606481 140725313606741 140725313606741 140725313609670 0 /proc/22999/statm: 28282 363 304 221 0 87 0 [pid=23001] ppid=22999 vsize=28227396 memory=29036 CPUtime=0.12 cores=0-7 /proc/23001/stat : 23001 (java) S 22999 22999 20811 0 -1 1077944320 5692 0 0 0 11 1 0 0 20 0 20 0 512673082 28904853504 7259 33554432000 4194304 4196468 140724662667712 140724662650256 139868516044535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 /proc/23001/statm: 7056849 7259 3148 1 0 7019032 0 [pid=23001/tid=23002] ppid=22999 vsize=28227396 memory=-2177352373413752899 CPUtime=0.08 cores=0-7 /proc/23001/task/23002/stat : 23002 (java) R 22999 22999 20811 0 -1 4202560 3602 0 0 0 8 0 0 0 20 0 20 0 512673083 28904853504 7259 33554432000 4194304 4196468 140724662667712 139868520277808 139868500125022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23003] ppid=22999 vsize=28227396 memory=732369915813551077 CPUtime=0 cores=0-7 /proc/23001/task/23003/stat : 23003 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 7259 33554432000 4194304 4196468 140724662667712 139868435897360 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23004] ppid=22999 vsize=28227396 memory=139777476097664 CPUtime=0 cores=0-7 /proc/23001/task/23004/stat : 23004 (java) S 22999 22999 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 7259 33554432000 4194304 4196468 140724662667712 139868434844816 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23005] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23005/stat : 23005 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 7259 33554432000 4194304 4196468 140724662667712 139868433791760 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23006] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23006/stat : 23006 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 7259 33554432000 4194304 4196468 140724662667712 139868432739216 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23007] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23007/stat : 23007 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 7259 33554432000 4194304 4196468 140724662667712 139868431686160 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23008] ppid=22999 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23001/task/23008/stat : 23008 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 7259 33554432000 4194304 4196468 140724662667712 139868430633616 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23009] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23009/stat : 23009 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 7259 33554432000 4194304 4196468 140724662667712 139868060637456 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23010] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23010/stat : 23010 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 7259 33554432000 4194304 4196468 140724662667712 139868059584912 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23011] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23011/stat : 23011 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673085 28904853504 7259 33554432000 4194304 4196468 140724662667712 139867900173040 139868516055682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23012] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23012/stat : 23012 (java) S 22999 22999 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512673085 28904853504 7259 33554432000 4194304 4196468 140724662667712 139867899119264 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23013] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23013/stat : 23013 (java) S 22999 22999 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512673086 28904853504 7259 33554432000 4194304 4196468 140724662667712 139867898066160 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23014] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23014/stat : 23014 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512673088 28904853504 7259 33554432000 4194304 4196468 140724662667712 139867897014736 139868516063131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23015] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23015/stat : 23015 (java) S 22999 22999 20811 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 512673088 28904853504 7259 33554432000 4194304 4196468 140724662667712 139867895961840 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23016] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23016/stat : 23016 (java) S 22999 22999 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512673088 28904853504 7259 33554432000 4194304 4196468 140724662667712 139867894909296 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23017] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23017/stat : 23017 (java) S 22999 22999 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512673088 28904853504 7259 33554432000 4194304 4196468 140724662667712 139867893856240 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23018] ppid=22999 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/23001/task/23018/stat : 23018 (java) S 22999 22999 20811 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 20 0 512673088 28904853504 7259 33554432000 4194304 4196468 140724662667712 139867892803696 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23019] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23019/stat : 23019 (java) S 22999 22999 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512673088 28904853504 7259 33554432000 4194304 4196468 140724662667712 139867824581600 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23020] ppid=22999 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23001/task/23020/stat : 23020 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512673089 28904853504 7259 33554432000 4194304 4196468 140724662667712 139867823529136 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30488 KiB [startup+0.210461 s]* /proc/loadavg: 6.15 6.93 7.13 2/211 23020 /proc/meminfo: memFree=25713796/32770624 swapFree=66992472/67108860 [pid=22999] ppid=22996 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22999/stat : 22999 (xcsp3-exec) S 22996 22999 20811 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512673082 115843072 363 33554432000 4194304 5098028 140725313599584 140725313597688 140049123291772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40251392 140725313606481 140725313606741 140725313606741 140725313609670 0 /proc/22999/statm: 28282 363 304 221 0 87 0 [pid=23001] ppid=22999 vsize=28227396 memory=41140 CPUtime=0.33 cores=0-7 /proc/23001/stat : 23001 (java) S 22999 22999 20811 0 -1 1077944320 9538 0 0 0 30 3 0 0 20 0 20 0 512673082 28904853504 10285 33554432000 4194304 4196468 140724662667712 140724662650256 139868516044535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 /proc/23001/statm: 7056849 10285 3278 1 0 7019032 0 [pid=23001/tid=23002] ppid=22999 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7 /proc/23001/task/23002/stat : 23002 (java) R 22999 22999 20811 0 -1 4202560 6627 0 0 0 18 1 0 0 20 0 20 0 512673083 28904853504 10285 33554432000 4194304 4196468 140724662667712 139868520274256 139868500125022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23003] ppid=22999 vsize=28227396 memory=732369915813551077 CPUtime=0 cores=0-7 /proc/23001/task/23003/stat : 23003 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 10285 33554432000 4194304 4196468 140724662667712 139868435897360 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23004] ppid=22999 vsize=28227396 memory=139777476097664 CPUtime=0 cores=0-7 /proc/23001/task/23004/stat : 23004 (java) S 22999 22999 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 10285 33554432000 4194304 4196468 140724662667712 139868434844816 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23005] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23005/stat : 23005 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 10285 33554432000 4194304 4196468 140724662667712 139868433791760 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23006] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23006/stat : 23006 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 10285 33554432000 4194304 4196468 140724662667712 139868432739216 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23007] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23007/stat : 23007 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 10285 33554432000 4194304 4196468 140724662667712 139868431686160 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23008] ppid=22999 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23001/task/23008/stat : 23008 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 10285 33554432000 4194304 4196468 140724662667712 139868430633616 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23009] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23009/stat : 23009 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 10285 33554432000 4194304 4196468 140724662667712 139868060637456 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23010] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23010/stat : 23010 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512673083 28904853504 10285 33554432000 4194304 4196468 140724662667712 139868059584912 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23011] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23011/stat : 23011 (java) S 22999 22999 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512673085 28904853504 10285 33554432000 4194304 4196468 140724662667712 139867900173040 139868516055682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23012] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23012/stat : 23012 (java) S 22999 22999 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512673085 28904853504 10285 33554432000 4194304 4196468 140724662667712 139867899119264 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23013] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23013/stat : 23013 (java) S 22999 22999 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512673086 28904853504 10285 33554432000 4194304 4196468 140724662667712 139867898066160 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23014] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23014/stat : 23014 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512673088 28904853504 10285 33554432000 4194304 4196468 140724662667712 139867897014736 139868516063131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23015] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23015/stat : 23015 (java) S 22999 22999 20811 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 512673088 28904853504 10285 33554432000 4194304 4196468 140724662667712 139867895961840 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23016] ppid=22999 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/23001/task/23016/stat : 23016 (java) S 22999 22999 20811 0 -1 1077944384 302 0 0 0 2 0 0 0 20 0 20 0 512673088 28904853504 10285 33554432000 4194304 4196468 140724662667712 139867894909296 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23017] ppid=22999 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23001/task/23017/stat : 23017 (java) S 22999 22999 20811 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 512673088 28904853504 10285 33554432000 4194304 4196468 140724662667712 139867893856240 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23018] ppid=22999 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/23001/task/23018/stat : 23018 (java) S 22999 22999 20811 0 -1 1077944384 752 0 0 0 7 0 0 0 20 0 20 0 512673088 28904853504 10285 33554432000 4194304 4196468 140724662667712 139867892803696 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23019] ppid=22999 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23019/stat : 23019 (java) S 22999 22999 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512673088 28904853504 10285 33554432000 4194304 4196468 140724662667712 139867824581600 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23020] ppid=22999 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23001/task/23020/stat : 23020 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512673089 28904853504 10285 33554432000 4194304 4196468 140724662667712 139867823529136 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42592 KiB [startup+0.309878 s]* /proc/loadavg: 6.15 6.93 7.13 3/211 23020 /proc/meminfo: memFree=25707840/32770624 swapFree=66992472/67108860 [pid=22999] ppid=22996 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22999/stat : 22999 (xcsp3-exec) S 22996 22999 20811 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512673082 115843072 363 33554432000 4194304 5098028 140725313599584 140725313597688 140049123291772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40251392 140725313606481 140725313606741 140725313606741 140725313609670 0 /proc/22999/statm: 28282 363 304 221 0 87 0 [pid=23001] ppid=22999 vsize=28231652 memory=49744 CPUtime=0.53 cores=0-7 /proc/23001/stat : 23001 (java) S 22999 22999 20811 0 -1 1077944320 10823 0 0 0 49 4 0 0 20 0 20 0 512673082 28909211648 12436 33554432000 4194304 4196468 140724662667712 140724662650256 139868516044535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 /proc/23001/statm: 7057913 12436 3314 1 0 7019032 0 [pid=23001/tid=23002] ppid=22999 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/23001/task/23002/stat : 23002 (java) R 22999 22999 20811 0 -1 4202560 7735 0 0 0 27 2 0 0 20 0 20 0 512673083 28909211648 12436 33554432000 4194304 4196468 140724662667712 139868520275648 139868500125022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23003] ppid=22999 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23003/stat : 23003 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28909211648 12436 33554432000 4194304 4196468 140724662667712 139868435897360 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23004] ppid=22999 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23004/stat : 23004 (java) S 22999 22999 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512673083 28909211648 12436 33554432000 4194304 4196468 140724662667712 139868434844816 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23005] ppid=22999 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23005/stat : 23005 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28909211648 12436 33554432000 4194304 4196468 140724662667712 139868433791760 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23006] ppid=22999 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23006/stat : 23006 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28909211648 12436 33554432000 4194304 4196468 140724662667712 139868432739216 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23007] ppid=22999 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23007/stat : 23007 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28909211648 12436 33554432000 4194304 4196468 140724662667712 139868431686160 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23008] ppid=22999 vsize=28231652 memory=139777361930927 CPUtime=0 cores=0-7 /proc/23001/task/23008/stat : 23008 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28909211648 12436 33554432000 4194304 4196468 140724662667712 139868430633616 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23009] ppid=22999 vsize=28231652 memory=139777361933232 CPUtime=0 cores=0-7 /proc/23001/task/23009/stat : 23009 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512673083 28909211648 12436 33554432000 4194304 4196468 140724662667712 139868060637456 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23010] ppid=22999 vsize=28231652 memory=139777361935536 CPUtime=0 cores=0-7 /proc/23001/task/23010/stat : 23010 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512673083 28909211648 12436 33554432000 4194304 4196468 140724662667712 139868059584912 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23011] ppid=22999 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23011/stat : 23011 (java) S 22999 22999 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512673085 28909211648 12436 33554432000 4194304 4196468 140724662667712 139867900173040 139868516055682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23012] ppid=22999 vsize=28231652 memory=279554723884944 CPUtime=0 cores=0-7 /proc/23001/task/23012/stat : 23012 (java) S 22999 22999 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512673085 28909211648 12436 33554432000 4194304 4196468 140724662667712 139867899119264 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23013] ppid=22999 vsize=28231652 memory=279554723882640 CPUtime=0 cores=0-7 /proc/23001/task/23013/stat : 23013 (java) S 22999 22999 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512673086 28909211648 12436 33554432000 4194304 4196468 140724662667712 139867898066160 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23014] ppid=22999 vsize=28231652 memory=279554723889552 CPUtime=0 cores=0-7 /proc/23001/task/23014/stat : 23014 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512673088 28909211648 12436 33554432000 4194304 4196468 140724662667712 139867897014736 139868516063131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23015] ppid=22999 vsize=28231652 memory=279554723830800 CPUtime=0.01 cores=0-7 /proc/23001/task/23015/stat : 23015 (java) S 22999 22999 20811 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 20 0 512673088 28909211648 12436 33554432000 4194304 4196468 140724662667712 139867895961840 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23016] ppid=22999 vsize=28231652 memory=279554723903376 CPUtime=0.03 cores=0-7 /proc/23001/task/23016/stat : 23016 (java) S 22999 22999 20811 0 -1 1077944384 319 0 0 0 3 0 0 0 20 0 20 0 512673088 28909211648 12436 33554432000 4194304 4196468 140724662667712 139867894909296 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23017] ppid=22999 vsize=28231652 memory=279554723910288 CPUtime=0.03 cores=0-7 /proc/23001/task/23017/stat : 23017 (java) R 22999 22999 20811 0 -1 4202560 194 0 0 0 3 0 0 0 20 0 20 0 512673088 28909211648 12436 33554432000 4194304 4196468 140724662667712 139867893846624 139868493696400 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23018] ppid=22999 vsize=28231652 memory=279554723907984 CPUtime=0.12 cores=0-7 /proc/23001/task/23018/stat : 23018 (java) S 22999 22999 20811 0 -1 1077944384 824 0 0 0 12 0 0 0 20 0 20 0 512673088 28909211648 12436 33554432000 4194304 4196468 140724662667712 139867892803696 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23019] ppid=22999 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23019/stat : 23019 (java) S 22999 22999 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512673088 28909211648 12436 33554432000 4194304 4196468 140724662667712 139867824581600 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23020] ppid=22999 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/23001/task/23020/stat : 23020 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512673089 28909211648 12436 33554432000 4194304 4196468 140724662667712 139867823529136 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51196 KiB [startup+0.700944 s] /proc/loadavg: 6.15 6.93 7.13 3/211 23020 /proc/meminfo: memFree=25691732/32770624 swapFree=66992472/67108860 [pid=22999] ppid=22996 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22999/stat : 22999 (xcsp3-exec) S 22996 22999 20811 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512673082 115843072 363 33554432000 4194304 5098028 140725313599584 140725313597688 140049123291772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40251392 140725313606481 140725313606741 140725313606741 140725313609670 0 /proc/22999/statm: 28282 363 304 221 0 87 0 [pid=23001] ppid=22999 vsize=28233776 memory=94320 CPUtime=1.83 cores=0-7 /proc/23001/stat : 23001 (java) S 22999 22999 20811 0 -1 1077944320 15779 0 0 0 176 7 0 0 20 0 20 0 512673082 28911386624 23580 33554432000 4194304 4196468 140724662667712 140724662650256 139868516044535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 /proc/23001/statm: 7058444 23580 3457 1 0 7019544 0 [pid=23001/tid=23002] ppid=22999 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/23001/task/23002/stat : 23002 (java) R 22999 22999 20811 0 -1 4202560 8634 0 0 0 64 3 0 0 20 0 20 0 512673083 28911386624 23580 33554432000 4194304 4196468 140724662667712 139868520279616 139868516056470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23003] ppid=22999 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23003/stat : 23003 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28911386624 23580 33554432000 4194304 4196468 140724662667712 139868435897360 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23004] ppid=22999 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23004/stat : 23004 (java) S 22999 22999 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512673083 28911386624 23580 33554432000 4194304 4196468 140724662667712 139868434844816 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23005] ppid=22999 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23005/stat : 23005 (java) S 22999 22999 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512673083 28911386624 23580 33554432000 4194304 4196468 140724662667712 139868433791760 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 ################ # More data... # ################ [pid=23001/tid=23018] ppid=22999 vsize=28768336 memory=3620 CPUtime=0.83 cores=0-7 /proc/23001/task/23018/stat : 23018 (java) S 22999 22999 20811 0 -1 1077944384 4365 0 0 0 82 1 0 0 20 0 28 0 512673088 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867892803696 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23019] ppid=22999 vsize=28768336 memory=1576 CPUtime=0 cores=0-7 /proc/23001/task/23019/stat : 23019 (java) S 22999 22999 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512673088 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867824581600 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23020] ppid=22999 vsize=28768336 memory=1028 CPUtime=0 cores=0-7 /proc/23001/task/23020/stat : 23020 (java) S 22999 22999 20811 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 28 0 512673089 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867823529136 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23061] ppid=22999 vsize=28768336 memory=1060 CPUtime=13.05 cores=0-7 /proc/23001/task/23061/stat : 23061 (java) R 22999 22999 20811 0 -1 4202560 458 0 0 0 1301 4 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867808234528 139868500545171 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23062] ppid=22999 vsize=28768336 memory=2828 CPUtime=12.96 cores=0-7 /proc/23001/task/23062/stat : 23062 (java) R 22999 22999 20811 0 -1 4202560 252 0 0 0 1291 5 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867814551888 139868499427577 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23063] ppid=22999 vsize=28768336 memory=756 CPUtime=12.97 cores=0-7 /proc/23001/task/23063/stat : 23063 (java) R 22999 22999 20811 0 -1 4202560 428 0 0 0 1293 4 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867812446064 139868111018173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23064] ppid=22999 vsize=28768336 memory=1548 CPUtime=13.28 cores=0-7 /proc/23001/task/23064/stat : 23064 (java) R 22999 22999 20811 0 -1 4202560 566 0 0 0 1323 5 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867810340848 139868119320971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23065] ppid=22999 vsize=28768336 memory=6791534058613427641 CPUtime=13.18 cores=0-7 /proc/23001/task/23065/stat : 23065 (java) R 22999 22999 20811 0 -1 4202560 766 0 0 0 1314 4 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867809287792 139868118603107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23066] ppid=22999 vsize=28768336 memory=9520 CPUtime=13.27 cores=0-7 /proc/23001/task/23066/stat : 23066 (java) R 22999 22999 20811 0 -1 4202560 365 0 0 0 1323 4 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867807182672 139868118486861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23067] ppid=22999 vsize=28768336 memory=14008 CPUtime=12.92 cores=0-7 /proc/23001/task/23067/stat : 23067 (java) R 22999 22999 20811 0 -1 4202560 605 0 0 0 1287 5 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867811394000 139868500545171 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23068] ppid=22999 vsize=28768336 memory=2120 CPUtime=13.22 cores=0-7 /proc/23001/task/23068/stat : 23068 (java) R 22999 22999 20811 0 -1 4202560 379 0 0 0 1319 3 0 0 20 0 28 0 512673249 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867813499864 139868118149829 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 Current children cumulated CPU time: 114.56 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 305996 KiB [startup+16.0035 s] /proc/loadavg: 6.56 6.98 7.15 9/219 23069 /proc/meminfo: memFree=25445692/32770624 swapFree=66992472/67108860 [pid=22999] ppid=22996 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22999/stat : 22999 (xcsp3-exec) S 22996 22999 20811 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512673082 115843072 363 33554432000 4194304 5098028 140725313599584 140725313597688 140049123291772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40251392 140725313606481 140725313606741 140725313606741 140725313609670 0 /proc/22999/statm: 28282 363 304 221 0 87 0 [pid=23001] ppid=22999 vsize=28768336 memory=304544 CPUtime=116.11 cores=0-7 /proc/23001/stat : 23001 (java) S 22999 22999 20811 0 -1 1077944320 46829 0 0 0 11542 69 0 0 20 0 28 0 512673082 29458776064 76136 33554432000 4194304 4196468 140724662667712 140724662650256 139868516044535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 /proc/23001/statm: 7192084 76136 3529 1 0 7153184 0 [pid=23001/tid=23002] ppid=22999 vsize=28768336 memory=512 CPUtime=1.4 cores=0-7 /proc/23001/task/23002/stat : 23002 (java) S 22999 22999 20811 0 -1 1077944384 9224 0 0 0 135 5 0 0 20 0 28 0 512673083 29458776064 76136 33554432000 4194304 4196468 140724662667712 139868520285312 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23003] ppid=22999 vsize=28768336 memory=1564 CPUtime=0.03 cores=0-7 /proc/23001/task/23003/stat : 23003 (java) S 22999 22999 20811 0 -1 1077944384 998 0 0 0 1 2 0 0 20 0 28 0 512673083 29458776064 76136 33554432000 4194304 4196468 140724662667712 139868435897360 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23004] ppid=22999 vsize=28768336 memory=928 CPUtime=0.03 cores=0-7 /proc/23001/task/23004/stat : 23004 (java) S 22999 22999 20811 0 -1 1077944384 378 0 0 0 2 1 0 0 20 0 28 0 512673083 29458776064 76136 33554432000 4194304 4196468 140724662667712 139868434844816 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23005] ppid=22999 vsize=28768336 memory=3784 CPUtime=0.04 cores=0-7 /proc/23001/task/23005/stat : 23005 (java) S 22999 22999 20811 0 -1 1077944384 118 0 0 0 3 1 0 0 20 0 28 0 512673083 29458776064 76136 33554432000 4194304 4196468 140724662667712 139868433791760 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23006] ppid=22999 vsize=28768336 memory=1440 CPUtime=0.04 cores=0-7 /proc/23001/task/23006/stat : 23006 (java) S 22999 22999 20811 0 -1 1077944384 174 0 0 0 3 1 0 0 20 0 28 0 512673083 29458776064 76136 33554432000 4194304 4196468 140724662667712 139868432739216 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23007] ppid=22999 vsize=28768336 memory=904 CPUtime=0.04 cores=0-7 /proc/23001/task/23007/stat : 23007 (java) S 22999 22999 20811 0 -1 1077944384 656 0 0 0 3 1 0 0 20 0 28 0 512673083 29458776064 76136 33554432000 4194304 4196468 140724662667712 139868431686160 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23008] ppid=22999 vsize=28768336 memory=7448488012996306002 CPUtime=0.04 cores=0-7 /proc/23001/task/23008/stat : 23008 (java) S 22999 22999 20811 0 -1 1077944384 348 0 0 0 3 1 0 0 20 0 28 0 512673083 29458776064 76136 33554432000 4194304 4196468 140724662667712 139868430633616 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23009] ppid=22999 vsize=28768336 memory=7739276948478193513 CPUtime=0.04 cores=0-7 /proc/23001/task/23009/stat : 23009 (java) S 22999 22999 20811 0 -1 1077944384 538 0 0 0 3 1 0 0 20 0 28 0 512673083 29458776064 76136 33554432000 4194304 4196468 140724662667712 139868060637456 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23010] ppid=22999 vsize=28768336 memory=6154282490091891024 CPUtime=0.04 cores=0-7 /proc/23001/task/23010/stat : 23010 (java) S 22999 22999 20811 0 -1 1077944384 216 0 0 0 3 1 0 0 20 0 28 0 512673083 29458776064 76136 33554432000 4194304 4196468 140724662667712 139868059584912 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23011] ppid=22999 vsize=28768336 memory=4638778398735482976 CPUtime=0.03 cores=0-7 /proc/23001/task/23011/stat : 23011 (java) S 22999 22999 20811 0 -1 1077944384 1091 0 0 0 2 1 0 0 20 0 28 0 512673085 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867900173040 139868516055682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23012] ppid=22999 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23012/stat : 23012 (java) S 22999 22999 20811 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 512673085 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867899119328 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23013] ppid=22999 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23001/task/23013/stat : 23013 (java) S 22999 22999 20811 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 512673086 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867898066176 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23014] ppid=22999 vsize=28768336 memory=4580 CPUtime=0 cores=0-7 /proc/23001/task/23014/stat : 23014 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512673088 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867897014736 139868516063131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23015] ppid=22999 vsize=28768336 memory=29971449312 CPUtime=1.98 cores=0-7 /proc/23001/task/23015/stat : 23015 (java) S 22999 22999 20811 0 -1 1077944384 8537 0 0 0 196 2 0 0 20 0 28 0 512673088 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867895961840 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23016] ppid=22999 vsize=28768336 memory=279554723676400 CPUtime=1.98 cores=0-7 /proc/23001/task/23016/stat : 23016 (java) S 22999 22999 20811 0 -1 1077944384 6796 0 0 0 196 2 0 0 20 0 28 0 512673088 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867894909296 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23017] ppid=22999 vsize=28768336 memory=279554723744952 CPUtime=2.05 cores=0-7 /proc/23001/task/23017/stat : 23017 (java) S 22999 22999 20811 0 -1 1077944384 7134 0 0 0 202 3 0 0 20 0 28 0 512673088 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867893856240 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23018] ppid=22999 vsize=28768336 memory=7452163715045420138 CPUtime=0.83 cores=0-7 /proc/23001/task/23018/stat : 23018 (java) S 22999 22999 20811 0 -1 1077944384 4365 0 0 0 82 1 0 0 20 0 28 0 512673088 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867892803696 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23019] ppid=22999 vsize=28768336 memory=7380666876301042518 CPUtime=0 cores=0-7 /proc/23001/task/23019/stat : 23019 (java) S 22999 22999 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512673088 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867824581600 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23020] ppid=22999 vsize=28768336 memory=279554724260832 CPUtime=0 cores=0-7 /proc/23001/task/23020/stat : 23020 (java) S 22999 22999 20811 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 28 0 512673089 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867823529136 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23061] ppid=22999 vsize=28768336 memory=4 CPUtime=13.24 cores=0-7 /proc/23001/task/23061/stat : 23061 (java) R 22999 22999 20811 0 -1 4202560 459 0 0 0 1320 4 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867808234432 139868516056470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23062] ppid=22999 vsize=28768336 memory=0 CPUtime=13.16 cores=0-7 /proc/23001/task/23062/stat : 23062 (java) S 22999 22999 20811 0 -1 1077944384 252 0 0 0 1311 5 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867814551888 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23063] ppid=22999 vsize=28768336 memory=6082202987142016855 CPUtime=13.17 cores=0-7 /proc/23001/task/23063/stat : 23063 (java) S 22999 22999 20811 0 -1 1077944384 429 0 0 0 1313 4 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867812446160 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23064] ppid=22999 vsize=28768336 memory=7810763844726514514 CPUtime=13.48 cores=0-7 /proc/23001/task/23064/stat : 23064 (java) R 22999 22999 20811 0 -1 1077944384 566 0 0 0 1343 5 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867810340848 139868516055682 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23065] ppid=22999 vsize=28768336 memory=7300447495781379181 CPUtime=13.38 cores=0-7 /proc/23001/task/23065/stat : 23065 (java) R 22999 22999 20811 0 -1 4202560 767 0 0 0 1333 5 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867809287888 139868118207901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23066] ppid=22999 vsize=28768336 memory=7523107478184158290 CPUtime=13.47 cores=0-7 /proc/23001/task/23066/stat : 23066 (java) R 22999 22999 20811 0 -1 4202560 365 0 0 0 1343 4 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867807182576 139868119252581 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23067] ppid=22999 vsize=28768336 memory=7739271459543738983 CPUtime=13.11 cores=0-7 /proc/23001/task/23067/stat : 23067 (java) R 22999 22999 20811 0 -1 4202560 605 0 0 0 1306 5 0 0 20 0 28 0 512673248 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867811394000 139868516056470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23068] ppid=22999 vsize=28768336 memory=7811053003365049200 CPUtime=13.42 cores=0-7 /proc/23001/task/23068/stat : 23068 (java) R 22999 22999 20811 0 -1 4202560 379 0 0 0 1339 3 0 0 20 0 28 0 512673249 29458776064 76136 33554432000 4194304 4196468 140724662667712 139867813499472 139868119320806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 Current children cumulated CPU time: 116.11 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 305996 KiB [startup+16.1015 s] /proc/loadavg: 6.56 6.98 7.15 9/219 23069 /proc/meminfo: memFree=25445692/32770624 swapFree=66992472/67108860 [pid=22999] ppid=22996 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22999/stat : 22999 (xcsp3-exec) S 22996 22999 20811 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512673082 115843072 363 33554432000 4194304 5098028 140725313599584 140725313597688 140049123291772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40251392 140725313606481 140725313606741 140725313606741 140725313609670 0 /proc/22999/statm: 28282 363 304 221 0 87 0 [pid=23001] ppid=22999 vsize=28768336 memory=304548 CPUtime=116.89 cores=0-7 /proc/23001/stat : 23001 (java) S 22999 22999 20811 0 -1 1077944320 46968 0 0 0 11620 69 0 0 20 0 28 0 512673082 29458776064 76137 33554432000 4194304 4196468 140724662667712 140724662650256 139868516044535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 /proc/23001/statm: 7192084 76137 3529 1 0 7153184 0 [pid=23001/tid=23002] ppid=22999 vsize=28768336 memory=1452 CPUtime=1.4 cores=0-7 /proc/23001/task/23002/stat : 23002 (java) S 22999 22999 20811 0 -1 1077944384 9224 0 0 0 135 5 0 0 20 0 28 0 512673083 29458776064 76137 33554432000 4194304 4196468 140724662667712 139868520285312 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23003] ppid=22999 vsize=28768336 memory=279554723973312 CPUtime=0.03 cores=0-7 /proc/23001/task/23003/stat : 23003 (java) S 22999 22999 20811 0 -1 1077944384 998 0 0 0 1 2 0 0 20 0 28 0 512673083 29458776064 76137 33554432000 4194304 4196468 140724662667712 139868435897360 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23004] ppid=22999 vsize=28768336 memory=279554723758240 CPUtime=0.03 cores=0-7 /proc/23001/task/23004/stat : 23004 (java) S 22999 22999 20811 0 -1 1077944384 378 0 0 0 2 1 0 0 20 0 28 0 512673083 29458776064 76137 33554432000 4194304 4196468 140724662667712 139868434844816 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23005] ppid=22999 vsize=28768336 memory=6944656592455097440 CPUtime=0.04 cores=0-7 /proc/23001/task/23005/stat : 23005 (java) S 22999 22999 20811 0 -1 1077944384 118 0 0 0 3 1 0 0 20 0 28 0 512673083 29458776064 76137 33554432000 4194304 4196468 140724662667712 139868433791760 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23006] ppid=22999 vsize=28768336 memory=56 CPUtime=0.04 cores=0-7 /proc/23001/task/23006/stat : 23006 (java) S 22999 22999 20811 0 -1 1077944384 174 0 0 0 3 1 0 0 20 0 28 0 512673083 29458776064 76137 33554432000 4194304 4196468 140724662667712 139868432739216 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23007] ppid=22999 vsize=28768336 memory=7649399384214352690 CPUtime=0.04 cores=0-7 /proc/23001/task/23007/stat : 23007 (java) S 22999 22999 20811 0 -1 1077944384 656 0 0 0 3 1 0 0 20 0 28 0 512673083 29458776064 76137 33554432000 4194304 4196468 140724662667712 139868431686160 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23008] ppid=22999 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7 /proc/23001/task/23008/stat : 23008 (java) S 22999 22999 20811 0 -1 1077944384 348 0 0 0 3 1 0 0 20 0 28 0 512673083 29458776064 76137 33554432000 4194304 4196468 140724662667712 139868430633616 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23009] ppid=22999 vsize=28768336 memory=37380 CPUtime=0.04 cores=0-7 /proc/23001/task/23009/stat : 23009 (java) S 22999 22999 20811 0 -1 1077944384 538 0 0 0 3 1 0 0 20 0 28 0 512673083 29458776064 76137 33554432000 4194304 4196468 140724662667712 139868060637456 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23010] ppid=22999 vsize=28768336 memory=279554724158112 CPUtime=0.04 cores=0-7 /proc/23001/task/23010/stat : 23010 (java) S 22999 22999 20811 0 -1 1077944384 216 0 0 0 3 1 0 0 20 0 28 0 512673083 29458776064 76137 33554432000 4194304 4196468 140724662667712 139868059584912 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23011] ppid=22999 vsize=28768336 memory=100963742386666 CPUtime=0.03 cores=0-7 /proc/23001/task/23011/stat : 23011 (java) S 22999 22999 20811 0 -1 1077944384 1091 0 0 0 2 1 0 0 20 0 28 0 512673085 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867900173040 139868516055682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23012] ppid=22999 vsize=28768336 memory=100963742386666 CPUtime=0 cores=0-7 /proc/23001/task/23012/stat : 23012 (java) S 22999 22999 20811 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 512673085 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867899119328 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23013] ppid=22999 vsize=28768336 memory=100963742386410 CPUtime=0 cores=0-7 /proc/23001/task/23013/stat : 23013 (java) S 22999 22999 20811 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 512673086 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867898066176 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23014] ppid=22999 vsize=28768336 memory=56 CPUtime=0 cores=0-7 /proc/23001/task/23014/stat : 23014 (java) S 22999 22999 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512673088 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867897014736 139868516063131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23015] ppid=22999 vsize=28768336 memory=6944656592455097440 CPUtime=1.98 cores=0-7 /proc/23001/task/23015/stat : 23015 (java) S 22999 22999 20811 0 -1 1077944384 8537 0 0 0 196 2 0 0 20 0 28 0 512673088 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867895961840 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23016] ppid=22999 vsize=28768336 memory=7805670898258702442 CPUtime=1.98 cores=0-7 /proc/23001/task/23016/stat : 23016 (java) S 22999 22999 20811 0 -1 1077944384 6796 0 0 0 196 2 0 0 20 0 28 0 512673088 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867894909296 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23017] ppid=22999 vsize=28768336 memory=8979744631437344833 CPUtime=2.05 cores=0-7 /proc/23001/task/23017/stat : 23017 (java) S 22999 22999 20811 0 -1 1077944384 7134 0 0 0 202 3 0 0 20 0 28 0 512673088 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867893856240 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23018] ppid=22999 vsize=28768336 memory=6576565900033823635 CPUtime=0.83 cores=0-7 /proc/23001/task/23018/stat : 23018 (java) S 22999 22999 20811 0 -1 1077944384 4460 0 0 0 82 1 0 0 20 0 28 0 512673088 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867892803696 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23019] ppid=22999 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/23001/task/23019/stat : 23019 (java) S 22999 22999 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512673088 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867824581600 139868516054741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23020] ppid=22999 vsize=28768336 memory=337356 CPUtime=0 cores=0-7 /proc/23001/task/23020/stat : 23020 (java) S 22999 22999 20811 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 28 0 512673089 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867823529136 139868516055682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23061] ppid=22999 vsize=28768336 memory=351908 CPUtime=13.34 cores=0-7 /proc/23001/task/23061/stat : 23061 (java) R 22999 22999 20811 0 -1 4202560 462 0 0 0 1330 4 0 0 20 0 28 0 512673248 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867808234528 139868119116104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23062] ppid=22999 vsize=28768336 memory=279554723775912 CPUtime=13.25 cores=0-7 /proc/23001/task/23062/stat : 23062 (java) R 22999 22999 20811 0 -1 1077944384 254 0 0 0 1320 5 0 0 20 0 28 0 512673248 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867814551888 139868516054741 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23063] ppid=22999 vsize=28768336 memory=279554723983240 CPUtime=13.27 cores=0-7 /proc/23001/task/23063/stat : 23063 (java) R 22999 22999 20811 0 -1 4202560 432 0 0 0 1323 4 0 0 20 0 28 0 512673248 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867812446160 139868119320935 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23064] ppid=22999 vsize=28768336 memory=3762675380339270498 CPUtime=13.58 cores=0-7 /proc/23001/task/23064/stat : 23064 (java) R 22999 22999 20811 0 -1 4202560 578 0 0 0 1353 5 0 0 20 0 28 0 512673248 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867810340944 139868110844051 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23065] ppid=22999 vsize=28768336 memory=3545376689728382088 CPUtime=13.48 cores=0-7 /proc/23001/task/23065/stat : 23065 (java) R 22999 22999 20811 0 -1 4202560 775 0 0 0 1343 5 0 0 20 0 28 0 512673248 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867809287888 139868117052549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23066] ppid=22999 vsize=28768336 memory=56 CPUtime=13.56 cores=0-7 /proc/23001/task/23066/stat : 23066 (java) R 22999 22999 20811 0 -1 4202560 376 0 0 0 1352 4 0 0 20 0 28 0 512673248 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867807182672 139868116887782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23067] ppid=22999 vsize=28768336 memory=2996124 CPUtime=13.21 cores=0-7 /proc/23001/task/23067/stat : 23067 (java) R 22999 22999 20811 0 -1 4202560 607 0 0 0 1316 5 0 0 20 0 28 0 512673248 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867811394000 139868118149829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 [pid=23001/tid=23068] ppid=22999 vsize=28768336 memory=2998518 CPUtime=13.51 cores=0-7 /proc/23001/task/23068/stat : 23068 (java) R 22999 22999 20811 0 -1 4202560 382 0 0 0 1348 3 0 0 20 0 28 0 512673249 29458776064 76137 33554432000 4194304 4196468 140724662667712 139867813499376 139868116887953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10108928 140724662674390 140724662674566 140724662674566 140724662677455 0 Current children cumulated CPU time: 116.89 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 306000 KiB Child status: 0 Real time (s): 16.1207 CPU time (s): 116.975 CPU user time (s): 116.274 CPU system time (s): 0.701814 CPU usage (%): 725.621 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 355372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 116.274 system time used= 0.701814 maximum resident set size= 360116 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48219 page faults= 0 swaps= 0 block input operations= 0 block output operations= 160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 90269 involuntary context switches= 578 # summary of solver processes directly reported to runsolver: # pid: 22999 # total CPU time (s): 116.975 # total CPU user time (s): 116.274 # total CPU system time (s): 0.701814 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.157773 second user time and 0.219243 second system time The end
Begin job on node121 at 2019-09-25 00:27:42 IDJOB=4407043 IDBENCH=141484 IDSOLVER=2871 FILE ID=node121/4407043-1569364105 RUNJOBID= node121-1569357356-20838 PBS_JOBID= 21705107 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-07_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407043-1569364105/watcher-4407043-1569364105 -o /var/tmp/evaluation-result-4407043-1569364105/solver-4407043-1569364105 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1910837977 HOME/instance-4407043-1569364105.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 93689e7972bcd89c8c0248fcf1fc8ef9 RANDOM SEED=1910837977 node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25745656 kB MemAvailable: 31845608 kB Buffers: 156040 kB Cached: 6033916 kB SwapCached: 4680 kB Active: 3071348 kB Inactive: 3126776 kB Active(anon): 2652 kB Inactive(anon): 55024 kB Active(file): 3068696 kB Inactive(file): 3071752 kB Unevictable: 109592 kB Mlocked: 109592 kB SwapTotal: 67108860 kB SwapFree: 66992472 kB Dirty: 26180 kB Writeback: 4 kB AnonPages: 113460 kB Mapped: 53624 kB Shmem: 41156 kB Slab: 417224 kB SReclaimable: 387964 kB SUnreclaim: 29260 kB KernelStack: 3328 kB PageTables: 5280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514984 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 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: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13484 MiB End job on node121 at 2019-09-25 00:27:58