Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 832 | 161.949 | 20.9862 |
Name | Mario/Mario-zinc-s1/ Mario-n-medium-4.xml |
MD5SUM | 6d883eab13fdde7c2f2cac6b4a0af40c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 832 |
Best CPU time to get the best result obtained on this benchmark | 83.6236 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 61 |
Number of domains | 53 |
Minimum domain size | 1 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":28},{"size":29,"count":8},{"size":30,"count":52}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] |
Number of extensional constraints | 30 |
Number of intensional constraints | 29 |
Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","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-4400128-1568711153.xml" -tl '2016s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4400128-1568711153.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.27/0.84 c solve instance... 2.88/0.94 o 0 2.88/0.96 o 3 3.61/1.01 o 27 3.61/1.02 o 50 3.61/1.03 o 56 3.61/1.03 o 80 3.61/1.04 o 107 3.61/1.04 o 132 3.61/1.05 o 143 3.61/1.06 o 268 3.61/1.10 o 272 3.61/1.11 o 290 4.31/1.11 o 351 4.31/1.16 o 353 4.31/1.19 o 410 4.31/1.20 o 479 4.93/1.26 o 540 11.25/2.07 o 567 11.25/2.08 o 582 14.29/2.42 o 590 16.69/2.74 o 594 17.48/2.81 o 616 17.48/2.87 o 634 21.33/3.30 o 665 23.74/3.69 o 678 25.24/3.81 o 737 52.26/7.26 o 741 60.20/8.23 o 747 60.20/8.25 o 799 64.16/8.79 o 832 161.43/20.96 s OPTIMUM FOUND 161.43/20.96 v <instantiation> 161.43/20.96 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] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] </list> 161.43/20.96 v <values>6 0 15 17 18 5 26 7 9 12 10 11 16 4 2 8 21 14 28 19 20 13 22 23 24 25 3 27 1 29 52 0 54 45 179 0 14 0 47 215 0 0 279 141 18 6 154 274 29 0 0 146 0 0 0 0 196 0 91 0 0 0 3 58 67 0 11 0 62 27 0 0 52 60 62 52 69 76 62 0 0 69 0 0 0 0 33 0 69 0 </values> 161.43/20.96 v </instantiation>
OK 832
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 (15225 MiB free) memory of node 1: 16384 MiB (15529 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400128-1568711153/watcher-4400128-1568711153 -o /tmp/evaluation-result-4400128-1568711153/solver-4400128-1568711153 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568700929-11062 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1085981381 HOME/instance-4400128-1568711153.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=13849, runsolver pid=13846 Current StackSize limit: 8192 KiB [startup+0.100175 s]* /proc/loadavg: 7.98 8.15 8.25 3/213 13870 /proc/meminfo: memFree=31478308/32770624 swapFree=66997372/67108860 [pid=13849] ppid=13846 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13849/stat : 13849 (xcsp3-exec) S 13846 13849 11035 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447368367 115843072 363 33554432000 4194304 5098028 140723374610784 140723374608888 140341200155260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37371904 140723374613371 140723374613614 140723374613614 140723374616522 0 /proc/13849/statm: 28282 363 304 221 0 87 0 [pid=13851] ppid=13849 vsize=28227396 memory=28420 CPUtime=0.11 cores=0-7 /proc/13851/stat : 13851 (java) S 13849 13849 11035 0 -1 1077944320 5591 0 0 0 10 1 0 0 20 0 20 0 447368367 28904853504 7105 33554432000 4194304 4196468 140732665810656 140732665793200 139968009170679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 /proc/13851/statm: 7056849 7105 3102 1 0 7019032 0 [pid=13851/tid=13852] ppid=13849 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/13851/task/13852/stat : 13852 (java) R 13849 13849 11035 0 -1 4202560 3594 0 0 0 8 1 0 0 20 0 20 0 447368368 28904853504 7170 33554432000 4194304 4196468 140732665810656 139968013405856 139967632383936 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13853] ppid=13849 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13851/task/13853/stat : 13853 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967961791248 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13854] ppid=13849 vsize=28227396 memory=140044511766144 CPUtime=0 cores=0-7 /proc/13851/task/13854/stat : 13854 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967960738704 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13855] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13855/stat : 13855 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967959686160 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13856] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13856/stat : 13856 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967958633616 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13857] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13857/stat : 13857 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967957580048 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13858] ppid=13849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13851/task/13858/stat : 13858 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967956527504 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13859] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13859/stat : 13859 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967955474960 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13860] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13860/stat : 13860 (java) S 13849 13849 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967954422416 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13861] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13861/stat : 13861 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368370 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967192537584 139968009181826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13862] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13862/stat : 13862 (java) S 13849 13849 11035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447368370 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967191483808 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13863] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13863/stat : 13863 (java) S 13849 13849 11035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447368371 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967190431216 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13864] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13864/stat : 13864 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368373 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967189379792 139968009189275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13865] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13865/stat : 13865 (java) S 13849 13849 11035 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 447368373 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967188326384 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13866] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13866/stat : 13866 (java) S 13849 13849 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447368373 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967187273840 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13867] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13867/stat : 13867 (java) S 13849 13849 11035 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447368373 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967186221296 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13868] ppid=13849 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13851/task/13868/stat : 13868 (java) R 13849 13849 11035 0 -1 4202560 320 0 0 0 1 0 0 0 20 0 20 0 447368373 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967185168752 139967988137576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13869] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13869/stat : 13869 (java) S 13849 13849 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447368373 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967184116448 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13870] ppid=13849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13851/task/13870/stat : 13870 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368374 28904853504 7170 33554432000 4194304 4196468 140732665810656 139967183063984 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29872 KiB [startup+0.209992 s]* /proc/loadavg: 7.98 8.15 8.25 2/213 13870 /proc/meminfo: memFree=31465004/32770624 swapFree=66997372/67108860 [pid=13849] ppid=13846 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13849/stat : 13849 (xcsp3-exec) S 13846 13849 11035 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447368367 115843072 363 33554432000 4194304 5098028 140723374610784 140723374608888 140341200155260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37371904 140723374613371 140723374613614 140723374613614 140723374616522 0 /proc/13849/statm: 28282 363 304 221 0 87 0 [pid=13851] ppid=13849 vsize=28227396 memory=40980 CPUtime=0.33 cores=0-7 /proc/13851/stat : 13851 (java) S 13849 13849 11035 0 -1 1077944320 9489 0 0 0 29 4 0 0 20 0 20 0 447368367 28904853504 10245 33554432000 4194304 4196468 140732665810656 140732665793200 139968009170679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 /proc/13851/statm: 7056849 10245 3280 1 0 7019032 0 [pid=13851/tid=13852] ppid=13849 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/13851/task/13852/stat : 13852 (java) R 13849 13849 11035 0 -1 4202560 6616 0 0 0 16 3 0 0 20 0 20 0 447368368 28904853504 10245 33554432000 4194304 4196468 140732665810656 139968013403408 139967993251166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13853] ppid=13849 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/13851/task/13853/stat : 13853 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967961791248 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13854] ppid=13849 vsize=28227396 memory=288370420663477888 CPUtime=0 cores=0-7 /proc/13851/task/13854/stat : 13854 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967960738704 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13855] ppid=13849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13851/task/13855/stat : 13855 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967959686160 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13856] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13856/stat : 13856 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967958633616 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13857] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13857/stat : 13857 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967957580048 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13858] ppid=13849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13851/task/13858/stat : 13858 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967956527504 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13859] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13859/stat : 13859 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967955474960 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13860] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13860/stat : 13860 (java) S 13849 13849 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447368368 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967954422416 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13861] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13861/stat : 13861 (java) S 13849 13849 11035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447368370 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967192537584 139968009181826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13862] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13862/stat : 13862 (java) S 13849 13849 11035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447368370 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967191483808 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13863] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13863/stat : 13863 (java) S 13849 13849 11035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447368371 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967190431216 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13864] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13864/stat : 13864 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368373 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967189379792 139968009189275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13865] ppid=13849 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/13851/task/13865/stat : 13865 (java) S 13849 13849 11035 0 -1 1077944384 560 0 0 0 2 0 0 0 20 0 20 0 447368373 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967188326384 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13866] ppid=13849 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13851/task/13866/stat : 13866 (java) S 13849 13849 11035 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 447368373 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967187273840 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13867] ppid=13849 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/13851/task/13867/stat : 13867 (java) S 13849 13849 11035 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 20 0 447368373 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967186221296 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13868] ppid=13849 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/13851/task/13868/stat : 13868 (java) R 13849 13849 11035 0 -1 1077944384 774 0 0 0 7 0 0 0 20 0 20 0 447368373 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967185168752 139968009181826 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13869] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13869/stat : 13869 (java) S 13849 13849 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447368373 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967184116448 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13870] ppid=13849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13851/task/13870/stat : 13870 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368374 28904853504 10245 33554432000 4194304 4196468 140732665810656 139967183063984 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42432 KiB [startup+0.309711 s]* /proc/loadavg: 7.98 8.15 8.25 3/213 13870 /proc/meminfo: memFree=31457280/32770624 swapFree=66997372/67108860 [pid=13849] ppid=13846 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13849/stat : 13849 (xcsp3-exec) S 13846 13849 11035 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447368367 115843072 363 33554432000 4194304 5098028 140723374610784 140723374608888 140341200155260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37371904 140723374613371 140723374613614 140723374613614 140723374616522 0 /proc/13849/statm: 28282 363 304 221 0 87 0 [pid=13851] ppid=13849 vsize=28231652 memory=49640 CPUtime=0.52 cores=0-7 /proc/13851/stat : 13851 (java) S 13849 13849 11035 0 -1 1077944320 10805 0 0 0 47 5 0 0 20 0 20 0 447368367 28909211648 12410 33554432000 4194304 4196468 140732665810656 140732665793200 139968009170679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 /proc/13851/statm: 7057913 12410 3321 1 0 7019032 0 [pid=13851/tid=13852] ppid=13849 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/13851/task/13852/stat : 13852 (java) R 13849 13849 11035 0 -1 4202560 7713 0 0 0 26 4 0 0 20 0 20 0 447368368 28909211648 12447 33554432000 4194304 4196468 140732665810656 139968013401792 139967993251166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13853] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13853/stat : 13853 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967961791248 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13854] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13854/stat : 13854 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967960738704 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13855] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13855/stat : 13855 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967959686160 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13856] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13856/stat : 13856 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368368 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967958633616 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13857] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13857/stat : 13857 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368368 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967957580048 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13858] ppid=13849 vsize=28231652 memory=140044388100783 CPUtime=0 cores=0-7 /proc/13851/task/13858/stat : 13858 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967956527504 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13859] ppid=13849 vsize=28231652 memory=140044388103088 CPUtime=0 cores=0-7 /proc/13851/task/13859/stat : 13859 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368368 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967955474960 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13860] ppid=13849 vsize=28231652 memory=140044388105392 CPUtime=0 cores=0-7 /proc/13851/task/13860/stat : 13860 (java) S 13849 13849 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447368368 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967954422416 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13861] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13861/stat : 13861 (java) S 13849 13849 11035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447368370 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967192537584 139968009181826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13862] ppid=13849 vsize=28231652 memory=280088776224656 CPUtime=0 cores=0-7 /proc/13851/task/13862/stat : 13862 (java) S 13849 13849 11035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447368370 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967191483808 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13863] ppid=13849 vsize=28231652 memory=280088776222352 CPUtime=0 cores=0-7 /proc/13851/task/13863/stat : 13863 (java) S 13849 13849 11035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447368371 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967190431216 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13864] ppid=13849 vsize=28231652 memory=280088776229264 CPUtime=0 cores=0-7 /proc/13851/task/13864/stat : 13864 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368373 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967189379792 139968009189275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13865] ppid=13849 vsize=28231652 memory=280088776170544 CPUtime=0.03 cores=0-7 /proc/13851/task/13865/stat : 13865 (java) S 13849 13849 11035 0 -1 1077944384 569 0 0 0 3 0 0 0 20 0 20 0 447368373 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967188326384 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13866] ppid=13849 vsize=28231652 memory=280088776243088 CPUtime=0.02 cores=0-7 /proc/13851/task/13866/stat : 13866 (java) S 13849 13849 11035 0 -1 1077944384 52 0 0 0 2 0 0 0 20 0 20 0 447368373 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967187273840 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13867] ppid=13849 vsize=28231652 memory=280088776250000 CPUtime=0.02 cores=0-7 /proc/13851/task/13867/stat : 13867 (java) R 13849 13849 11035 0 -1 4202560 303 0 0 0 2 0 0 0 20 0 20 0 447368373 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967186221296 139968009192026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13868] ppid=13849 vsize=28231652 memory=280088776247696 CPUtime=0.12 cores=0-7 /proc/13851/task/13868/stat : 13868 (java) S 13849 13849 11035 0 -1 1077944384 880 0 0 0 12 0 0 0 20 0 20 0 447368373 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967185168752 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13869] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13869/stat : 13869 (java) S 13849 13849 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447368373 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967184116448 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13870] ppid=13849 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/13851/task/13870/stat : 13870 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447368374 28909211648 12447 33554432000 4194304 4196468 140732665810656 139967183063984 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51092 KiB [startup+0.70094 s] /proc/loadavg: 7.98 8.15 8.25 3/213 13870 /proc/meminfo: memFree=31434516/32770624 swapFree=66997372/67108860 [pid=13849] ppid=13846 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13849/stat : 13849 (xcsp3-exec) S 13846 13849 11035 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447368367 115843072 363 33554432000 4194304 5098028 140723374610784 140723374608888 140341200155260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37371904 140723374613371 140723374613614 140723374613614 140723374616522 0 /proc/13849/statm: 28282 363 304 221 0 87 0 [pid=13851] ppid=13849 vsize=28233776 memory=99392 CPUtime=1.78 cores=0-7 /proc/13851/stat : 13851 (java) S 13849 13849 11035 0 -1 1077944320 15625 0 0 0 171 7 0 0 20 0 20 0 447368367 28911386624 24848 33554432000 4194304 4196468 140732665810656 140732665793200 139968009170679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 /proc/13851/statm: 7058444 24848 3455 1 0 7019544 0 [pid=13851/tid=13852] ppid=13849 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/13851/task/13852/stat : 13852 (java) R 13849 13849 11035 0 -1 4202560 8997 0 0 0 63 5 0 0 20 0 20 0 447368368 28911386624 24848 33554432000 4194304 4196468 140732665810656 139968013408656 139968009192701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13853] ppid=13849 vsize=28233776 memory=140044388311920 CPUtime=0 cores=0-7 /proc/13851/task/13853/stat : 13853 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28911386624 24848 33554432000 4194304 4196468 140732665810656 139967961791248 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13854] ppid=13849 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13854/stat : 13854 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28911386624 24848 33554432000 4194304 4196468 140732665810656 139967960738704 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13855] ppid=13849 vsize=28233776 memory=1004 CPUtime=0 cores=0-7 /proc/13851/task/13855/stat : 13855 (java) S 13849 13849 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447368368 28911386624 24848 33554432000 4194304 4196468 140732665810656 139967959686160 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 ################ # More data... # ################ [pid=13851/tid=13868] ppid=13849 vsize=28901464 memory=7446529740340811620 CPUtime=0.95 cores=0-7 /proc/13851/task/13868/stat : 13868 (java) S 13849 13849 11035 0 -1 1077944384 5285 0 0 0 94 1 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967185168752 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13869] ppid=13849 vsize=28901464 memory=7740677670774989656 CPUtime=0 cores=0-7 /proc/13851/task/13869/stat : 13869 (java) S 13849 13849 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967184116448 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13870] ppid=13849 vsize=28901464 memory=7811867835770296430 CPUtime=0 cores=0-7 /proc/13851/task/13870/stat : 13870 (java) S 13849 13849 11035 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 28 0 447368374 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967183063984 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14111] ppid=13849 vsize=28901464 memory=7740677670841901657 CPUtime=11.45 cores=0-7 /proc/13851/task/14111/stat : 14111 (java) R 13849 13849 11035 0 -1 4202560 353 0 0 0 1145 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967170694160 139967635872377 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14112] ppid=13849 vsize=28901464 memory=7811867848604801390 CPUtime=11.47 cores=0-7 /proc/13851/task/14112/stat : 14112 (java) R 13849 13849 11035 0 -1 4202560 631 0 0 0 1147 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967166484936 139967639002619 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14113] ppid=13849 vsize=28901464 memory=7811867848604801390 CPUtime=11.52 cores=0-7 /proc/13851/task/14113/stat : 14113 (java) R 13849 13849 11035 0 -1 4202560 1041 0 0 0 1152 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967165431784 139967638913538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14114] ppid=13849 vsize=28901464 memory=7811867848604801390 CPUtime=11.51 cores=0-7 /proc/13851/task/14114/stat : 14114 (java) R 13849 13849 11035 0 -1 4202560 1091 0 0 0 1149 2 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967164379176 139967637090134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14115] ppid=13849 vsize=28901464 memory=7811867848604801390 CPUtime=11.39 cores=0-7 /proc/13851/task/14115/stat : 14115 (java) R 13849 13849 11035 0 -1 4202560 430 0 0 0 1139 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967163326376 139967640180775 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14116] ppid=13849 vsize=28901464 memory=7811867848604801390 CPUtime=11.48 cores=0-7 /proc/13851/task/14116/stat : 14116 (java) R 13849 13849 11035 0 -1 4202560 527 0 0 0 1148 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967171748440 139967639002012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14117] ppid=13849 vsize=28901464 memory=7811867848604801390 CPUtime=11.54 cores=0-7 /proc/13851/task/14117/stat : 14117 (java) R 13849 13849 11035 0 -1 4202560 531 0 0 0 1154 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967169642392 139967638912971 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14118] ppid=13849 vsize=28901464 memory=7740677670841901657 CPUtime=11.57 cores=0-7 /proc/13851/task/14118/stat : 14118 (java) R 13849 13849 11035 0 -1 4202560 354 0 0 0 1157 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967168590584 139967640423268 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 Current children cumulated CPU time: 157.43 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 426584 KiB [startup+20.8012 s] /proc/loadavg: 8.31 8.22 8.27 9/221 14120 /proc/meminfo: memFree=31080348/32770624 swapFree=66997372/67108860 [pid=13849] ppid=13846 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13849/stat : 13849 (xcsp3-exec) S 13846 13849 11035 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447368367 115843072 363 33554432000 4194304 5098028 140723374610784 140723374608888 140341200155260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37371904 140723374613371 140723374613614 140723374613614 140723374616522 0 /proc/13849/statm: 28282 363 304 221 0 87 0 [pid=13851] ppid=13849 vsize=28901464 memory=425132 CPUtime=160.63 cores=0-7 /proc/13851/stat : 13851 (java) S 13849 13849 11035 0 -1 1077944320 60045 0 0 0 16005 58 0 0 20 0 28 0 447368367 29595099136 106283 33554432000 4194304 4196468 140732665810656 140732665793200 139968009170679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 /proc/13851/statm: 7225366 106283 3539 1 0 7186466 0 [pid=13851/tid=13852] ppid=13849 vsize=28901464 memory=8560 CPUtime=0.84 cores=0-7 /proc/13851/task/13852/stat : 13852 (java) S 13849 13849 11035 0 -1 1077944384 9300 0 0 0 78 6 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139968013411456 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13853] ppid=13849 vsize=28901464 memory=1668 CPUtime=0.07 cores=0-7 /proc/13851/task/13853/stat : 13853 (java) S 13849 13849 11035 0 -1 1077944384 167 0 0 0 4 3 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967961791248 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13854] ppid=13849 vsize=28901464 memory=1112 CPUtime=0.06 cores=0-7 /proc/13851/task/13854/stat : 13854 (java) S 13849 13849 11035 0 -1 1077944384 1174 0 0 0 4 2 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967960738704 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13855] ppid=13849 vsize=28901464 memory=1004 CPUtime=0.06 cores=0-7 /proc/13851/task/13855/stat : 13855 (java) S 13849 13849 11035 0 -1 1077944384 354 0 0 0 4 2 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967959686160 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13856] ppid=13849 vsize=28901464 memory=6036 CPUtime=0.07 cores=0-7 /proc/13851/task/13856/stat : 13856 (java) S 13849 13849 11035 0 -1 1077944384 459 0 0 0 4 3 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967958633616 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13857] ppid=13849 vsize=28901464 memory=14008 CPUtime=0.06 cores=0-7 /proc/13851/task/13857/stat : 13857 (java) S 13849 13849 11035 0 -1 1077944384 130 0 0 0 3 3 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967957580048 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13858] ppid=13849 vsize=28901464 memory=2124 CPUtime=0.06 cores=0-7 /proc/13851/task/13858/stat : 13858 (java) S 13849 13849 11035 0 -1 1077944384 174 0 0 0 4 2 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967956527504 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13859] ppid=13849 vsize=28901464 memory=280088777905088 CPUtime=0.05 cores=0-7 /proc/13851/task/13859/stat : 13859 (java) S 13849 13849 11035 0 -1 1077944384 128 0 0 0 3 2 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967955474960 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13860] ppid=13849 vsize=28901464 memory=0 CPUtime=0.06 cores=0-7 /proc/13851/task/13860/stat : 13860 (java) S 13849 13849 11035 0 -1 1077944384 276 0 0 0 4 2 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967954422416 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13861] ppid=13849 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/13851/task/13861/stat : 13861 (java) S 13849 13849 11035 0 -1 1077944384 1012 0 0 0 1 0 0 0 20 0 28 0 447368370 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967192537584 139968009181826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13862] ppid=13849 vsize=28901464 memory=6933690279252828257 CPUtime=0 cores=0-7 /proc/13851/task/13862/stat : 13862 (java) S 13849 13849 11035 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447368370 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967191483872 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13863] ppid=13849 vsize=28901464 memory=6944656592452807314 CPUtime=0 cores=0-7 /proc/13851/task/13863/stat : 13863 (java) S 13849 13849 11035 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 447368371 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967190431216 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13864] ppid=13849 vsize=28901464 memory=-7812193691855986592 CPUtime=0 cores=0-7 /proc/13851/task/13864/stat : 13864 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967189379792 139968009189275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13865] ppid=13849 vsize=28901464 memory=6944656592387989600 CPUtime=2.64 cores=0-7 /proc/13851/task/13865/stat : 13865 (java) S 13849 13849 11035 0 -1 1077944384 8181 0 0 0 262 2 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967188326384 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13866] ppid=13849 vsize=28901464 memory=6944652177228980320 CPUtime=2.99 cores=0-7 /proc/13851/task/13866/stat : 13866 (java) S 13849 13849 11035 0 -1 1077944384 10423 0 0 0 296 3 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967187273840 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13867] ppid=13849 vsize=28901464 memory=6655300316396806240 CPUtime=2.6 cores=0-7 /proc/13851/task/13867/stat : 13867 (java) S 13849 13849 11035 0 -1 1077944384 10267 0 0 0 257 3 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967186221296 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13868] ppid=13849 vsize=28901464 memory=6944656575208382560 CPUtime=0.95 cores=0-7 /proc/13851/task/13868/stat : 13868 (java) S 13849 13849 11035 0 -1 1077944384 5285 0 0 0 94 1 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967185168752 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13869] ppid=13849 vsize=28901464 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/13851/task/13869/stat : 13869 (java) S 13849 13849 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967184116448 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13870] ppid=13849 vsize=28901464 memory=-2895008908443424103 CPUtime=0 cores=0-7 /proc/13851/task/13870/stat : 13870 (java) S 13849 13849 11035 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 28 0 447368374 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967183063984 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14111] ppid=13849 vsize=28901464 memory=5793430552056445799 CPUtime=11.85 cores=0-7 /proc/13851/task/14111/stat : 14111 (java) R 13849 13849 11035 0 -1 4202560 353 0 0 0 1185 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967170694160 139967993547792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14112] ppid=13849 vsize=28901464 memory=2124 CPUtime=11.87 cores=0-7 /proc/13851/task/14112/stat : 14112 (java) R 13849 13849 11035 0 -1 4202560 631 0 0 0 1187 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967166484936 139967639602947 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14113] ppid=13849 vsize=28901464 memory=26468 CPUtime=11.92 cores=0-7 /proc/13851/task/14113/stat : 14113 (java) R 13849 13849 11035 0 -1 4202560 1043 0 0 0 1192 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967165431784 139967641243023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14114] ppid=13849 vsize=28901464 memory=12024 CPUtime=11.91 cores=0-7 /proc/13851/task/14114/stat : 14114 (java) R 13849 13849 11035 0 -1 4202560 1098 0 0 0 1189 2 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967164379176 139967633395752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14115] ppid=13849 vsize=28901464 memory=500 CPUtime=11.79 cores=0-7 /proc/13851/task/14115/stat : 14115 (java) R 13849 13849 11035 0 -1 4202560 436 0 0 0 1179 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967163326376 139967639002326 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14116] ppid=13849 vsize=28901464 memory=1560 CPUtime=11.88 cores=0-7 /proc/13851/task/14116/stat : 14116 (java) R 13849 13849 11035 0 -1 4202560 531 0 0 0 1188 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967171748440 139967640958916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14117] ppid=13849 vsize=28901464 memory=932 CPUtime=11.94 cores=0-7 /proc/13851/task/14117/stat : 14117 (java) R 13849 13849 11035 0 -1 4202560 550 0 0 0 1194 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967169642392 139967637587103 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14118] ppid=13849 vsize=28901464 memory=3768 CPUtime=11.97 cores=0-7 /proc/13851/task/14118/stat : 14118 (java) R 13849 13849 11035 0 -1 4202560 357 0 0 0 1197 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967168590584 139967637587071 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 Current children cumulated CPU time: 160.63 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 426584 KiB [startup+20.9012 s] /proc/loadavg: 8.31 8.22 8.27 9/221 14120 /proc/meminfo: memFree=31080348/32770624 swapFree=66997372/67108860 [pid=13849] ppid=13846 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13849/stat : 13849 (xcsp3-exec) S 13846 13849 11035 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447368367 115843072 363 33554432000 4194304 5098028 140723374610784 140723374608888 140341200155260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37371904 140723374613371 140723374613614 140723374613614 140723374616522 0 /proc/13849/statm: 28282 363 304 221 0 87 0 [pid=13851] ppid=13849 vsize=28901464 memory=425132 CPUtime=161.43 cores=0-7 /proc/13851/stat : 13851 (java) S 13849 13849 11035 0 -1 1077944320 60048 0 0 0 16085 58 0 0 20 0 28 0 447368367 29595099136 106283 33554432000 4194304 4196468 140732665810656 140732665793200 139968009170679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 /proc/13851/statm: 7225366 106283 3539 1 0 7186466 0 [pid=13851/tid=13852] ppid=13849 vsize=28901464 memory=425132 CPUtime=0.84 cores=0-7 /proc/13851/task/13852/stat : 13852 (java) S 13849 13849 11035 0 -1 1077944384 9300 0 0 0 78 6 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139968013411456 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13853] ppid=13849 vsize=28901464 memory=425132 CPUtime=0.07 cores=0-7 /proc/13851/task/13853/stat : 13853 (java) S 13849 13849 11035 0 -1 1077944384 167 0 0 0 4 3 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967961791248 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13854] ppid=13849 vsize=28901464 memory=6791534058613427641 CPUtime=0.06 cores=0-7 /proc/13851/task/13854/stat : 13854 (java) S 13849 13849 11035 0 -1 1077944384 1174 0 0 0 4 2 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967960738704 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13855] ppid=13849 vsize=28901464 memory=0 CPUtime=0.06 cores=0-7 /proc/13851/task/13855/stat : 13855 (java) S 13849 13849 11035 0 -1 1077944384 354 0 0 0 4 2 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967959686160 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13856] ppid=13849 vsize=28901464 memory=0 CPUtime=0.07 cores=0-7 /proc/13851/task/13856/stat : 13856 (java) S 13849 13849 11035 0 -1 1077944384 459 0 0 0 4 3 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967958633616 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13857] ppid=13849 vsize=28901464 memory=1452 CPUtime=0.06 cores=0-7 /proc/13851/task/13857/stat : 13857 (java) S 13849 13849 11035 0 -1 1077944384 130 0 0 0 3 3 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967957580048 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13858] ppid=13849 vsize=28901464 memory=425132 CPUtime=0.06 cores=0-7 /proc/13851/task/13858/stat : 13858 (java) S 13849 13849 11035 0 -1 1077944384 174 0 0 0 4 2 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967956527504 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13859] ppid=13849 vsize=28901464 memory=6944656592455359580 CPUtime=0.05 cores=0-7 /proc/13851/task/13859/stat : 13859 (java) S 13849 13849 11035 0 -1 1077944384 128 0 0 0 3 2 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967955474960 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13860] ppid=13849 vsize=28901464 memory=1452 CPUtime=0.06 cores=0-7 /proc/13851/task/13860/stat : 13860 (java) S 13849 13849 11035 0 -1 1077944384 276 0 0 0 4 2 0 0 20 0 28 0 447368368 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967954422416 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13861] ppid=13849 vsize=28901464 memory=3504 CPUtime=0.01 cores=0-7 /proc/13851/task/13861/stat : 13861 (java) S 13849 13849 11035 0 -1 1077944384 1012 0 0 0 1 0 0 0 20 0 28 0 447368370 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967192537584 139968009181826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13862] ppid=13849 vsize=28901464 memory=48672 CPUtime=0 cores=0-7 /proc/13851/task/13862/stat : 13862 (java) S 13849 13849 11035 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447368370 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967191483872 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13863] ppid=13849 vsize=28901464 memory=3504 CPUtime=0 cores=0-7 /proc/13851/task/13863/stat : 13863 (java) S 13849 13849 11035 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 447368371 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967190431216 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13864] ppid=13849 vsize=28901464 memory=48672 CPUtime=0 cores=0-7 /proc/13851/task/13864/stat : 13864 (java) S 13849 13849 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967189379792 139968009189275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13865] ppid=13849 vsize=28901464 memory=6791534058613427641 CPUtime=2.64 cores=0-7 /proc/13851/task/13865/stat : 13865 (java) S 13849 13849 11035 0 -1 1077944384 8181 0 0 0 262 2 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967188326384 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13866] ppid=13849 vsize=28901464 memory=425132 CPUtime=2.99 cores=0-7 /proc/13851/task/13866/stat : 13866 (java) S 13849 13849 11035 0 -1 1077944384 10423 0 0 0 296 3 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967187273840 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13867] ppid=13849 vsize=28901464 memory=0 CPUtime=2.6 cores=0-7 /proc/13851/task/13867/stat : 13867 (java) S 13849 13849 11035 0 -1 1077944384 10267 0 0 0 257 3 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967186221296 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13868] ppid=13849 vsize=28901464 memory=0 CPUtime=0.95 cores=0-7 /proc/13851/task/13868/stat : 13868 (java) S 13849 13849 11035 0 -1 1077944384 5285 0 0 0 94 1 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967185168752 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13869] ppid=13849 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13869/stat : 13869 (java) S 13849 13849 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447368373 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967184116448 139968009180885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=13870] ppid=13849 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/13851/task/13870/stat : 13870 (java) S 13849 13849 11035 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 28 0 447368374 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967183063984 139968009181826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14111] ppid=13849 vsize=28901464 memory=776 CPUtime=11.95 cores=0-7 /proc/13851/task/14111/stat : 14111 (java) R 13849 13849 11035 0 -1 4202560 353 0 0 0 1195 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967170694160 139967642791083 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14112] ppid=13849 vsize=28901464 memory=3992 CPUtime=11.97 cores=0-7 /proc/13851/task/14112/stat : 14112 (java) R 13849 13849 11035 0 -1 4202560 631 0 0 0 1197 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967166484936 139967639002012 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14113] ppid=13849 vsize=28901464 memory=2828 CPUtime=12.02 cores=0-7 /proc/13851/task/14113/stat : 14113 (java) R 13849 13849 11035 0 -1 4202560 1043 0 0 0 1202 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967165431784 139967639055988 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14114] ppid=13849 vsize=28901464 memory=676 CPUtime=12.01 cores=0-7 /proc/13851/task/14114/stat : 14114 (java) R 13849 13849 11035 0 -1 4202560 1099 0 0 0 1199 2 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967164379176 139967640368867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14115] ppid=13849 vsize=28901464 memory=6791534058613427641 CPUtime=11.88 cores=0-7 /proc/13851/task/14115/stat : 14115 (java) R 13849 13849 11035 0 -1 4202560 437 0 0 0 1188 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967163326376 139967639233015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14116] ppid=13849 vsize=28901464 memory=140044388501861 CPUtime=11.98 cores=0-7 /proc/13851/task/14116/stat : 14116 (java) R 13849 13849 11035 0 -1 4202560 531 0 0 0 1198 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967171748440 139967639232722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14117] ppid=13849 vsize=28901464 memory=280088777011904 CPUtime=12.04 cores=0-7 /proc/13851/task/14117/stat : 14117 (java) R 13849 13849 11035 0 -1 4202560 550 0 0 0 1204 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967169642392 139967639002782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 [pid=13851/tid=14118] ppid=13849 vsize=28901464 memory=6944656592455097440 CPUtime=12.07 cores=0-7 /proc/13851/task/14118/stat : 14118 (java) R 13849 13849 11035 0 -1 4202560 358 0 0 0 1207 0 0 0 20 0 28 0 447369247 29595099136 106283 33554432000 4194304 4196468 140732665810656 139967168590584 139967639152783 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37998592 140732665816048 140732665816219 140732665816219 140732665819087 0 Current children cumulated CPU time: 161.43 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 426584 KiB Child status: 0 Real time (s): 20.9862 CPU time (s): 161.949 CPU user time (s): 161.347 CPU system time (s): 0.601502 CPU usage (%): 771.693 Max. virtual memory (cumulated for all children) (KiB): 29014592 Max. memory (cumulated for all children) (KiB): 426584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 161.347 system time used= 0.601502 maximum resident set size= 425504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62567 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= 7312 involuntary context switches= 2752 # summary of solver processes directly reported to runsolver: # pid: 13849 # total CPU time (s): 161.949 # total CPU user time (s): 161.347 # total CPU system time (s): 0.601502 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.188353 second user time and 0.278364 second system time The end
Begin job on node103 at 2019-09-17 11:04:54 IDJOB=4400128 IDBENCH=133281 IDSOLVER=2855 FILE ID=node103/4400128-1568711153 RUNJOBID= node103-1568700929-11062 PBS_JOBID= 21703910 Free space on /tmp= 61720 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-4.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-4400128-1568711153/watcher-4400128-1568711153 -o /tmp/evaluation-result-4400128-1568711153/solver-4400128-1568711153 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568700929-11062 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1085981381 HOME/instance-4400128-1568711153.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6d883eab13fdde7c2f2cac6b4a0af40c RANDOM SEED=1085981381 node103.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.74 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.74 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.74 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.74 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: 31493688 kB MemAvailable: 31883264 kB Buffers: 86428 kB Cached: 597576 kB SwapCached: 9016 kB Active: 411680 kB Inactive: 284488 kB Active(anon): 4124 kB Inactive(anon): 57316 kB Active(file): 407556 kB Inactive(file): 227172 kB Unevictable: 111148 kB Mlocked: 111148 kB SwapTotal: 67108860 kB SwapFree: 66997372 kB Dirty: 26132 kB Writeback: 0 kB AnonPages: 197572 kB Mapped: 48580 kB Shmem: 40856 kB Slab: 170652 kB SReclaimable: 141364 kB SUnreclaim: 29288 kB KernelStack: 3904 kB PageTables: 5664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61692 MiB End job on node103 at 2019-09-17 11:05:15