Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 9.28931 | 2.12866 |
Name | Subisomorphism/Subisomorphism-m1-si6-bvg/ Subisomorphism-si6-b09-m200-08.xml |
MD5SUM | 7f9c41aacca1e0b30cdd7db3c30aaf94 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.033514 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 517 |
Number of domains | 1 |
Minimum domain size | 200 |
Maximum domain size | 200 |
Distribution of domain sizes | [{"size":200,"count":120}] |
Minimum variable degree | 5 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":5,"count":2},{"degree":6,"count":4},{"degree":7,"count":4},{"degree":8,"count":4},{"degree":9,"count":2},{"degree":10,"count":104}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 120 |
Distribution of constraint arities | [{"arity":2,"count":516},{"arity":120,"count":1}] |
Number of extensional constraints | 516 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":516},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406665-1569352437.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406665-1569352437.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 3.75/1.39 c solve instance... 8.71/2.10 s SATISFIABLE 8.71/2.10 v <instantiation> 8.71/2.10 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] </list> 8.71/2.10 v <values>0 13 29 63 104 130 134 137 180 185 32 65 89 94 189 26 42 133 115 1 41 142 143 83 135 97 5 58 147 171 183 9 87 172 92 187 111 164 197 57 129 24 101 120 139 144 25 98 123 152 14 113 82 91 105 114 188 161 12 75 146 103 112 18 162 50 90 124 49 106 95 72 79 167 70 148 33 3 74 19 149 122 100 11 23 53 35 64 166 99 128 150 88 78 151 71 193 157 126 156 96 169 181 36 131 195 153 110 138 85 56 86 81 118 191 30 20 192 6 160 </values> 8.71/2.10 v </instantiation>
OK
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 (13349 MiB free) memory of node 1: 16384 MiB (11693 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406665-1569352437/watcher-4406665-1569352437 -o /var/tmp/evaluation-result-4406665-1569352437/solver-4406665-1569352437 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569349193-2435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 937076105 HOME/instance-4406665-1569352437.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=3974, runsolver pid=3971 Current StackSize limit: 8192 KiB [startup+0.100137 s]* /proc/loadavg: 5.88 7.62 7.92 2/212 3995 /proc/meminfo: memFree=25629552/32770624 swapFree=66953496/67108860 [pid=3974] ppid=3971 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/3974/stat : 3974 (xcsp3-exec) S 3971 3974 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511158458 115843072 362 33554432000 4194304 5098028 140732331105072 140732331103176 139715376403068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40042496 140732331111250 140732331111509 140732331111509 140732331114438 0 /proc/3974/statm: 28282 362 304 221 0 87 0 [pid=3976] ppid=3974 vsize=28227396 memory=27372 CPUtime=0.12 cores=0-7 /proc/3976/stat : 3976 (java) S 3974 3974 2396 0 -1 1077944320 5881 0 0 0 11 1 0 0 20 0 20 0 511158459 28904853504 6843 33554432000 4194304 4196468 140735437662256 140735437644800 139964293193463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 /proc/3976/statm: 7056849 6843 3114 1 0 7019032 0 [pid=3976/tid=3977] ppid=3974 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/3976/task/3977/stat : 3977 (java) R 3974 3974 2396 0 -1 4202560 3750 0 0 0 8 0 0 0 20 0 20 0 511158459 28904853504 6843 33554432000 4194304 4196468 140735437662256 139964297425376 139963930383380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3978] ppid=3974 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/3976/task/3978/stat : 3978 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 6843 33554432000 4194304 4196468 140735437662256 139963844390032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3979] ppid=3974 vsize=28227396 memory=140709754504832 CPUtime=0 cores=0-7 /proc/3976/task/3979/stat : 3979 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 6843 33554432000 4194304 4196468 140735437662256 139963843337232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3980] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3980/stat : 3980 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 6843 33554432000 4194304 4196468 140735437662256 139963842284432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3981] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3981/stat : 3981 (java) S 3974 3974 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 6843 33554432000 4194304 4196468 140735437662256 139963841231632 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3982] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3982/stat : 3982 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 6843 33554432000 4194304 4196468 140735437662256 139963840178832 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3983] ppid=3974 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3976/task/3983/stat : 3983 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 6843 33554432000 4194304 4196468 140735437662256 139963839126032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3984] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3984/stat : 3984 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 6843 33554432000 4194304 4196468 140735437662256 139963838073232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3985] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3985/stat : 3985 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 6843 33554432000 4194304 4196468 140735437662256 139963837020432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3986] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3986/stat : 3986 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158461 28904853504 6843 33554432000 4194304 4196468 140735437662256 139962891496304 139964293204610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3987] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3987/stat : 3987 (java) S 3974 3974 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511158462 28904853504 6843 33554432000 4194304 4196468 140735437662256 139962890442272 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3988] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3988/stat : 3988 (java) S 3974 3974 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511158462 28904853504 6843 33554432000 4194304 4196468 140735437662256 139962889389424 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3989] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3989/stat : 3989 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158465 28904853504 6843 33554432000 4194304 4196468 140735437662256 139962888337744 139964293212059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3990] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3990/stat : 3990 (java) S 3974 3974 2396 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 511158465 28904853504 6843 33554432000 4194304 4196468 140735437662256 139962887285104 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3991] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3991/stat : 3991 (java) S 3974 3974 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158465 28904853504 6843 33554432000 4194304 4196468 140735437662256 139962886232304 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3992] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3992/stat : 3992 (java) S 3974 3974 2396 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 511158465 28904853504 6843 33554432000 4194304 4196468 140735437662256 139962885179504 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3993] ppid=3974 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3976/task/3993/stat : 3993 (java) R 3974 3974 2396 0 -1 4202560 380 0 0 0 1 0 0 0 20 0 20 0 511158465 28904853504 6843 33554432000 4194304 4196468 140735437662256 139962884126704 139964293205398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3994] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3994/stat : 3994 (java) S 3974 3974 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158465 28904853504 6843 33554432000 4194304 4196468 140735437662256 139962883075168 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3995] ppid=3974 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3976/task/3995/stat : 3995 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158465 28904853504 6843 33554432000 4194304 4196468 140735437662256 139962882022448 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28820 KiB [startup+0.210544 s]* /proc/loadavg: 5.88 7.62 7.92 3/212 3995 /proc/meminfo: memFree=25617600/32770624 swapFree=66953496/67108860 [pid=3974] ppid=3971 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/3974/stat : 3974 (xcsp3-exec) S 3971 3974 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511158458 115843072 362 33554432000 4194304 5098028 140732331105072 140732331103176 139715376403068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40042496 140732331111250 140732331111509 140732331111509 140732331114438 0 /proc/3974/statm: 28282 362 304 221 0 87 0 [pid=3976] ppid=3974 vsize=28227396 memory=39956 CPUtime=0.33 cores=0-7 /proc/3976/stat : 3976 (java) S 3974 3974 2396 0 -1 1077944320 9738 0 0 0 30 3 0 0 20 0 20 0 511158459 28904853504 9989 33554432000 4194304 4196468 140735437662256 140735437644800 139964293193463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 /proc/3976/statm: 7056849 9989 3307 1 0 7019032 0 [pid=3976/tid=3977] ppid=3974 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/3976/task/3977/stat : 3977 (java) R 3974 3974 2396 0 -1 4202560 6719 0 0 0 17 2 0 0 20 0 20 0 511158459 28904853504 9989 33554432000 4194304 4196468 140735437662256 139964297433136 139964293215389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3978] ppid=3974 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/3976/task/3978/stat : 3978 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 9989 33554432000 4194304 4196468 140735437662256 139963844390032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3979] ppid=3974 vsize=28227396 memory=140709757754203 CPUtime=0 cores=0-7 /proc/3976/task/3979/stat : 3979 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 9989 33554432000 4194304 4196468 140735437662256 139963843337232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3980] ppid=3974 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3976/task/3980/stat : 3980 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 9989 33554432000 4194304 4196468 140735437662256 139963842284432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3981] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3981/stat : 3981 (java) S 3974 3974 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 9989 33554432000 4194304 4196468 140735437662256 139963841231632 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3982] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3982/stat : 3982 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 9989 33554432000 4194304 4196468 140735437662256 139963840178832 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3983] ppid=3974 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3976/task/3983/stat : 3983 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 9989 33554432000 4194304 4196468 140735437662256 139963839126032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3984] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3984/stat : 3984 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 9989 33554432000 4194304 4196468 140735437662256 139963838073232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3985] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3985/stat : 3985 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28904853504 9989 33554432000 4194304 4196468 140735437662256 139963837020432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3986] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3986/stat : 3986 (java) S 3974 3974 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511158461 28904853504 9989 33554432000 4194304 4196468 140735437662256 139962891496304 139964293204610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3987] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3987/stat : 3987 (java) S 3974 3974 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511158462 28904853504 9989 33554432000 4194304 4196468 140735437662256 139962890442272 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3988] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3988/stat : 3988 (java) S 3974 3974 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511158462 28904853504 9989 33554432000 4194304 4196468 140735437662256 139962889389424 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3989] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3989/stat : 3989 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158465 28904853504 9989 33554432000 4194304 4196468 140735437662256 139962888337744 139964293212059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3990] ppid=3974 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3976/task/3990/stat : 3990 (java) S 3974 3974 2396 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 20 0 511158465 28904853504 9989 33554432000 4194304 4196468 140735437662256 139962887285104 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3991] ppid=3974 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/3976/task/3991/stat : 3991 (java) S 3974 3974 2396 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 20 0 511158465 28904853504 9989 33554432000 4194304 4196468 140735437662256 139962886232304 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3992] ppid=3974 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/3976/task/3992/stat : 3992 (java) S 3974 3974 2396 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 20 0 511158465 28904853504 9989 33554432000 4194304 4196468 140735437662256 139962885179504 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3993] ppid=3974 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/3976/task/3993/stat : 3993 (java) S 3974 3974 2396 0 -1 1077944384 878 0 0 0 8 0 0 0 20 0 20 0 511158465 28904853504 9989 33554432000 4194304 4196468 140735437662256 139962884126704 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3994] ppid=3974 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3994/stat : 3994 (java) S 3974 3974 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158465 28904853504 9989 33554432000 4194304 4196468 140735437662256 139962883075168 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3995] ppid=3974 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3976/task/3995/stat : 3995 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158465 28904853504 9989 33554432000 4194304 4196468 140735437662256 139962882022448 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41404 KiB [startup+0.310331 s]* /proc/loadavg: 5.88 7.62 7.92 3/212 3995 /proc/meminfo: memFree=25611880/32770624 swapFree=66953496/67108860 [pid=3974] ppid=3971 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/3974/stat : 3974 (xcsp3-exec) S 3971 3974 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511158458 115843072 362 33554432000 4194304 5098028 140732331105072 140732331103176 139715376403068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40042496 140732331111250 140732331111509 140732331111509 140732331114438 0 /proc/3974/statm: 28282 362 304 221 0 87 0 [pid=3976] ppid=3974 vsize=28231652 memory=48428 CPUtime=0.51 cores=0-7 /proc/3976/stat : 3976 (java) S 3974 3974 2396 0 -1 1077944320 10999 0 0 0 47 4 0 0 20 0 20 0 511158459 28909211648 12107 33554432000 4194304 4196468 140735437662256 140735437644800 139964293193463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 /proc/3976/statm: 7057913 12107 3336 1 0 7019032 0 [pid=3976/tid=3977] ppid=3974 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/3976/task/3977/stat : 3977 (java) R 3974 3974 2396 0 -1 4202560 7782 0 0 0 26 3 0 0 20 0 20 0 511158459 28909211648 12173 33554432000 4194304 4196468 140735437662256 139964297424576 139964293205398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3978] ppid=3974 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3978/stat : 3978 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28909211648 12173 33554432000 4194304 4196468 140735437662256 139963844390032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3979] ppid=3974 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3979/stat : 3979 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158460 28909211648 12173 33554432000 4194304 4196468 140735437662256 139963843337232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3980] ppid=3974 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3980/stat : 3980 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28909211648 12173 33554432000 4194304 4196468 140735437662256 139963842284432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3981] ppid=3974 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3981/stat : 3981 (java) S 3974 3974 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158460 28909211648 12173 33554432000 4194304 4196468 140735437662256 139963841231632 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3982] ppid=3974 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3982/stat : 3982 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28909211648 12173 33554432000 4194304 4196468 140735437662256 139963840178832 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3983] ppid=3974 vsize=28231652 memory=140709638269615 CPUtime=0 cores=0-7 /proc/3976/task/3983/stat : 3983 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158460 28909211648 12173 33554432000 4194304 4196468 140735437662256 139963839126032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3984] ppid=3974 vsize=28231652 memory=140709638271920 CPUtime=0 cores=0-7 /proc/3976/task/3984/stat : 3984 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28909211648 12173 33554432000 4194304 4196468 140735437662256 139963838073232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3985] ppid=3974 vsize=28231652 memory=140709638274224 CPUtime=0 cores=0-7 /proc/3976/task/3985/stat : 3985 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28909211648 12173 33554432000 4194304 4196468 140735437662256 139963837020432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3986] ppid=3974 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3986/stat : 3986 (java) S 3974 3974 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511158461 28909211648 12173 33554432000 4194304 4196468 140735437662256 139962891496304 139964293204610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3987] ppid=3974 vsize=28231652 memory=281419276562320 CPUtime=0 cores=0-7 /proc/3976/task/3987/stat : 3987 (java) S 3974 3974 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511158462 28909211648 12173 33554432000 4194304 4196468 140735437662256 139962890442272 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3988] ppid=3974 vsize=28231652 memory=281419276560016 CPUtime=0 cores=0-7 /proc/3976/task/3988/stat : 3988 (java) S 3974 3974 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511158462 28909211648 12173 33554432000 4194304 4196468 140735437662256 139962889389424 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3989] ppid=3974 vsize=28231652 memory=281419276566928 CPUtime=0 cores=0-7 /proc/3976/task/3989/stat : 3989 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158465 28909211648 12173 33554432000 4194304 4196468 140735437662256 139962888337744 139964293212059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3990] ppid=3974 vsize=28231652 memory=281419276508208 CPUtime=0.02 cores=0-7 /proc/3976/task/3990/stat : 3990 (java) S 3974 3974 2396 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 20 0 511158465 28909211648 12173 33554432000 4194304 4196468 140735437662256 139962887285104 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3991] ppid=3974 vsize=28231652 memory=281419276580752 CPUtime=0.02 cores=0-7 /proc/3976/task/3991/stat : 3991 (java) S 3974 3974 2396 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 20 0 511158465 28909211648 12173 33554432000 4194304 4196468 140735437662256 139962886232304 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3992] ppid=3974 vsize=28231652 memory=281419276587664 CPUtime=0.02 cores=0-7 /proc/3976/task/3992/stat : 3992 (java) R 3974 3974 2396 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 20 0 511158465 28909211648 12173 33554432000 4194304 4196468 140735437662256 139962885169888 139964278093019 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3993] ppid=3974 vsize=28231652 memory=281419276585360 CPUtime=0.13 cores=0-7 /proc/3976/task/3993/stat : 3993 (java) R 3974 3974 2396 0 -1 4202560 1031 0 0 0 13 0 0 0 20 0 20 0 511158465 28909211648 12173 33554432000 4194304 4196468 140735437662256 139962884126704 139964277380825 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3994] ppid=3974 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3994/stat : 3994 (java) S 3974 3974 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511158465 28909211648 12173 33554432000 4194304 4196468 140735437662256 139962883075168 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3995] ppid=3974 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/3976/task/3995/stat : 3995 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158465 28909211648 12173 33554432000 4194304 4196468 140735437662256 139962882022448 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 49876 KiB [startup+0.701118 s] /proc/loadavg: 5.88 7.62 7.92 4/212 3995 /proc/meminfo: memFree=25596124/32770624 swapFree=66953496/67108860 [pid=3974] ppid=3971 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/3974/stat : 3974 (xcsp3-exec) S 3971 3974 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511158458 115843072 362 33554432000 4194304 5098028 140732331105072 140732331103176 139715376403068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40042496 140732331111250 140732331111509 140732331111509 140732331114438 0 /proc/3974/statm: 28282 362 304 221 0 87 0 [pid=3976] ppid=3974 vsize=28233776 memory=118840 CPUtime=1.48 cores=0-7 /proc/3976/stat : 3976 (java) S 3974 3974 2396 0 -1 1077944320 15112 0 0 0 141 7 0 0 20 0 20 0 511158459 28911386624 29710 33554432000 4194304 4196468 140735437662256 140735437644800 139964293193463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 /proc/3976/statm: 7058444 29710 3445 1 0 7019544 0 [pid=3976/tid=3977] ppid=3974 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/3976/task/3977/stat : 3977 (java) R 3974 3974 2396 0 -1 4202560 9011 0 0 0 63 5 0 0 20 0 20 0 511158459 28911386624 29710 33554432000 4194304 4196468 140735437662256 139964297430104 139964272271104 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3978] ppid=3974 vsize=28233776 memory=140709638480752 CPUtime=0 cores=0-7 /proc/3976/task/3978/stat : 3978 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28911386624 29710 33554432000 4194304 4196468 140735437662256 139963844390032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3979] ppid=3974 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3979/stat : 3979 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511158460 28911386624 29710 33554432000 4194304 4196468 140735437662256 139963843337232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3980] ppid=3974 vsize=28233776 memory=1276 CPUtime=0 cores=0-7 /proc/3976/task/3980/stat : 3980 (java) S 3974 3974 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511158460 28911386624 29710 33554432000 4194304 4196468 140735437662256 139963842284432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 ################ # More data... # ################ /proc/3976/stat : 3976 (java) S 3974 3974 2396 0 -1 1077944320 18509 0 0 0 511 37 0 0 20 0 28 0 511158459 29456678912 91682 33554432000 4194304 4196468 140735437662256 140735437644800 139964293193463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 /proc/3976/statm: 7191572 91682 3502 1 0 7152672 0 [pid=3976/tid=3977] ppid=3974 vsize=28766288 memory=7447071764708872273 CPUtime=1.3 cores=0-7 /proc/3976/task/3977/stat : 3977 (java) S 3974 3974 2396 0 -1 1077944384 9216 0 0 0 124 6 0 0 20 0 28 0 511158459 29456678912 91682 33554432000 4194304 4196468 140735437662256 139964297434240 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3978] ppid=3974 vsize=28766288 memory=7372784292841549164 CPUtime=0.06 cores=0-7 /proc/3976/task/3978/stat : 3978 (java) S 3974 3974 2396 0 -1 1077944384 105 0 0 0 3 3 0 0 20 0 28 0 511158460 29456678912 91682 33554432000 4194304 4196468 140735437662256 139963844390032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3979] ppid=3974 vsize=28766288 memory=5933896499731190373 CPUtime=0.06 cores=0-7 /proc/3976/task/3979/stat : 3979 (java) S 3974 3974 2396 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 28 0 511158460 29456678912 91682 33554432000 4194304 4196468 140735437662256 139963843337232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3980] ppid=3974 vsize=28766288 memory=3504 CPUtime=0.06 cores=0-7 /proc/3976/task/3980/stat : 3980 (java) S 3974 3974 2396 0 -1 1077944384 100 0 0 0 3 3 0 0 20 0 28 0 511158460 29456678912 91682 33554432000 4194304 4196468 140735437662256 139963842284432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3981] ppid=3974 vsize=28766288 memory=0 CPUtime=0.05 cores=0-7 /proc/3976/task/3981/stat : 3981 (java) S 3974 3974 2396 0 -1 1077944384 40 0 0 0 3 2 0 0 20 0 28 0 511158460 29456678912 91682 33554432000 4194304 4196468 140735437662256 139963841231632 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3982] ppid=3974 vsize=28766288 memory=140709638498976 CPUtime=0.06 cores=0-7 /proc/3976/task/3982/stat : 3982 (java) S 3974 3974 2396 0 -1 1077944384 73 0 0 0 3 3 0 0 20 0 28 0 511158460 29456678912 91682 33554432000 4194304 4196468 140735437662256 139963840178832 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3983] ppid=3974 vsize=28766288 memory=140709638499072 CPUtime=0.06 cores=0-7 /proc/3976/task/3983/stat : 3983 (java) S 3974 3974 2396 0 -1 1077944384 88 0 0 0 3 3 0 0 20 0 28 0 511158460 29456678912 91682 33554432000 4194304 4196468 140735437662256 139963839126032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3984] ppid=3974 vsize=28766288 memory=140709638499168 CPUtime=0.07 cores=0-7 /proc/3976/task/3984/stat : 3984 (java) S 3974 3974 2396 0 -1 1077944384 92 0 0 0 4 3 0 0 20 0 28 0 511158460 29456678912 91682 33554432000 4194304 4196468 140735437662256 139963838073232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3985] ppid=3974 vsize=28766288 memory=140709638499264 CPUtime=0.06 cores=0-7 /proc/3976/task/3985/stat : 3985 (java) S 3974 3974 2396 0 -1 1077944384 71 0 0 0 3 3 0 0 20 0 28 0 511158460 29456678912 91682 33554432000 4194304 4196468 140735437662256 139963837020432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3986] ppid=3974 vsize=28766288 memory=140709638499360 CPUtime=0 cores=0-7 /proc/3976/task/3986/stat : 3986 (java) S 3974 3974 2396 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 511158461 29456678912 91682 33554432000 4194304 4196468 140735437662256 139962891496304 139964293204610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3987] ppid=3974 vsize=28766288 memory=6493990552776 CPUtime=0 cores=0-7 /proc/3976/task/3987/stat : 3987 (java) S 3974 3974 2396 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 511158462 29456678912 91682 33554432000 4194304 4196468 140735437662256 139962890442336 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3988] ppid=3974 vsize=28766288 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/3976/task/3988/stat : 3988 (java) S 3974 3974 2396 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 511158462 29456678912 91682 33554432000 4194304 4196468 140735437662256 139962889389440 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3989] ppid=3974 vsize=28766288 memory=14698482732632486 CPUtime=0 cores=0-7 /proc/3976/task/3989/stat : 3989 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511158465 29456678912 91682 33554432000 4194304 4196468 140735437662256 139962888337744 139964293212059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3990] ppid=3974 vsize=28766288 memory=0 CPUtime=0.54 cores=0-7 /proc/3976/task/3990/stat : 3990 (java) R 3974 3974 2396 0 -1 4202560 1666 0 0 0 54 0 0 0 20 0 28 0 511158465 29456678912 91682 33554432000 4194304 4196468 140735437662256 139962887285400 139964278301400 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3991] ppid=3974 vsize=28766288 memory=0 CPUtime=0.61 cores=0-7 /proc/3976/task/3991/stat : 3991 (java) S 3974 3974 2396 0 -1 1077944384 1431 0 0 0 61 0 0 0 20 0 28 0 511158465 29456678912 91682 33554432000 4194304 4196468 140735437662256 139962886232304 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3992] ppid=3974 vsize=28766288 memory=0 CPUtime=0.6 cores=0-7 /proc/3976/task/3992/stat : 3992 (java) S 3974 3974 2396 0 -1 1077944384 1731 0 0 0 60 0 0 0 20 0 28 0 511158465 29456678912 91682 33554432000 4194304 4196468 140735437662256 139962885179504 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3993] ppid=3974 vsize=28766288 memory=0 CPUtime=0.48 cores=0-7 /proc/3976/task/3993/stat : 3993 (java) S 3974 3974 2396 0 -1 1077944384 2171 0 0 0 48 0 0 0 20 0 28 0 511158465 29456678912 91682 33554432000 4194304 4196468 140735437662256 139962884126704 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3994] ppid=3974 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3994/stat : 3994 (java) S 3974 3974 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511158465 29456678912 91682 33554432000 4194304 4196468 140735437662256 139962883075168 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3995] ppid=3974 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3995/stat : 3995 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511158465 29456678912 91682 33554432000 4194304 4196468 140735437662256 139962882022448 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 Current children cumulated CPU time: 5.48 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 368176 KiB [startup+2.00092 s]* /proc/loadavg: 5.88 7.62 7.92 13/220 4003 /proc/meminfo: memFree=25287908/32770624 swapFree=66953496/67108860 [pid=3974] ppid=3971 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/3974/stat : 3974 (xcsp3-exec) S 3971 3974 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511158458 115843072 362 33554432000 4194304 5098028 140732331105072 140732331103176 139715376403068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40042496 140732331111250 140732331111509 140732331111509 140732331114438 0 /proc/3974/statm: 28282 362 304 221 0 87 0 [pid=3976] ppid=3974 vsize=28766288 memory=370300 CPUtime=8.71 cores=0-7 /proc/3976/stat : 3976 (java) S 3974 3974 2396 0 -1 1077944320 18926 0 0 0 834 37 0 0 20 0 28 0 511158459 29456678912 92575 33554432000 4194304 4196468 140735437662256 140735437644800 139964293193463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 /proc/3976/statm: 7191572 92575 3505 1 0 7152672 0 [pid=3976/tid=3977] ppid=3974 vsize=28766288 memory=281419276497960 CPUtime=1.3 cores=0-7 /proc/3976/task/3977/stat : 3977 (java) S 3974 3974 2396 0 -1 1077944384 9216 0 0 0 124 6 0 0 20 0 28 0 511158459 29456678912 92575 33554432000 4194304 4196468 140735437662256 139964297434240 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3978] ppid=3974 vsize=28766288 memory=4872558044660077418 CPUtime=0.06 cores=0-7 /proc/3976/task/3978/stat : 3978 (java) S 3974 3974 2396 0 -1 1077944384 105 0 0 0 3 3 0 0 20 0 28 0 511158460 29456678912 92575 33554432000 4194304 4196468 140735437662256 139963844390032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3979] ppid=3974 vsize=28766288 memory=6935651454851507028 CPUtime=0.06 cores=0-7 /proc/3976/task/3979/stat : 3979 (java) S 3974 3974 2396 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 28 0 511158460 29456678912 92575 33554432000 4194304 4196468 140735437662256 139963843337232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3980] ppid=3974 vsize=28766288 memory=22129 CPUtime=0.06 cores=0-7 /proc/3976/task/3980/stat : 3980 (java) S 3974 3974 2396 0 -1 1077944384 100 0 0 0 3 3 0 0 20 0 28 0 511158460 29456678912 92575 33554432000 4194304 4196468 140735437662256 139963842284432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3981] ppid=3974 vsize=28766288 memory=4420 CPUtime=0.05 cores=0-7 /proc/3976/task/3981/stat : 3981 (java) S 3974 3974 2396 0 -1 1077944384 40 0 0 0 3 2 0 0 20 0 28 0 511158460 29456678912 92575 33554432000 4194304 4196468 140735437662256 139963841231632 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3982] ppid=3974 vsize=28766288 memory=6628 CPUtime=0.06 cores=0-7 /proc/3976/task/3982/stat : 3982 (java) S 3974 3974 2396 0 -1 1077944384 73 0 0 0 3 3 0 0 20 0 28 0 511158460 29456678912 92575 33554432000 4194304 4196468 140735437662256 139963840178832 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3983] ppid=3974 vsize=28766288 memory=8836 CPUtime=0.06 cores=0-7 /proc/3976/task/3983/stat : 3983 (java) S 3974 3974 2396 0 -1 1077944384 88 0 0 0 3 3 0 0 20 0 28 0 511158460 29456678912 92575 33554432000 4194304 4196468 140735437662256 139963839126032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3984] ppid=3974 vsize=28766288 memory=11044 CPUtime=0.07 cores=0-7 /proc/3976/task/3984/stat : 3984 (java) S 3974 3974 2396 0 -1 1077944384 92 0 0 0 4 3 0 0 20 0 28 0 511158460 29456678912 92575 33554432000 4194304 4196468 140735437662256 139963838073232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3985] ppid=3974 vsize=28766288 memory=13252 CPUtime=0.06 cores=0-7 /proc/3976/task/3985/stat : 3985 (java) S 3974 3974 2396 0 -1 1077944384 71 0 0 0 3 3 0 0 20 0 28 0 511158460 29456678912 92575 33554432000 4194304 4196468 140735437662256 139963837020432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3986] ppid=3974 vsize=28766288 memory=-3252517613199061085 CPUtime=0 cores=0-7 /proc/3976/task/3986/stat : 3986 (java) S 3974 3974 2396 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 511158461 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962891496304 139964293204610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3987] ppid=3974 vsize=28766288 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/3976/task/3987/stat : 3987 (java) S 3974 3974 2396 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 511158462 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962890442336 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3988] ppid=3974 vsize=28766288 memory=19876 CPUtime=0 cores=0-7 /proc/3976/task/3988/stat : 3988 (java) S 3974 3974 2396 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 511158462 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962889389440 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3989] ppid=3974 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3989/stat : 3989 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511158465 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962888337744 139964293212059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3990] ppid=3974 vsize=28766288 memory=0 CPUtime=0.69 cores=0-7 /proc/3976/task/3990/stat : 3990 (java) R 3974 3974 2396 0 -1 4202560 1696 0 0 0 69 0 0 0 20 0 28 0 511158465 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962887271200 139964274758048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3991] ppid=3974 vsize=28766288 memory=0 CPUtime=0.77 cores=0-7 /proc/3976/task/3991/stat : 3991 (java) R 3974 3974 2396 0 -1 4202560 1640 0 0 0 77 0 0 0 20 0 28 0 511158465 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962886232432 139964273568924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3992] ppid=3974 vsize=28766288 memory=0 CPUtime=0.85 cores=0-7 /proc/3976/task/3992/stat : 3992 (java) R 3974 3974 2396 0 -1 4202560 1780 0 0 0 85 0 0 0 20 0 28 0 511158465 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962885166048 139964286290299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3993] ppid=3974 vsize=28766288 memory=0 CPUtime=0.52 cores=0-7 /proc/3976/task/3993/stat : 3993 (java) R 3974 3974 2396 0 -1 1077944384 2238 0 0 0 52 0 0 0 20 0 28 0 511158465 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962884121776 139964293203669 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3994] ppid=3974 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3994/stat : 3994 (java) S 3974 3974 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511158465 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962883075168 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3995] ppid=3974 vsize=28766288 memory=-1 CPUtime=0 cores=0-7 /proc/3976/task/3995/stat : 3995 (java) S 3974 3974 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511158465 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962882022448 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3996] ppid=3974 vsize=28766288 memory=79904 CPUtime=0.52 cores=0-7 /proc/3976/task/3996/stat : 3996 (java) R 3974 3974 2396 0 -1 4202560 58 0 0 0 52 0 0 0 20 0 28 0 511158599 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962872801976 139963936627236 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3997] ppid=3974 vsize=28766288 memory=14996 CPUtime=0.45 cores=0-7 /proc/3976/task/3997/stat : 3997 (java) R 3974 3974 2396 0 -1 4202560 36 0 0 0 45 0 0 0 20 0 28 0 511158600 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962871751256 139963936749437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3998] ppid=3974 vsize=28766288 memory=7812726576340533336 CPUtime=0.5 cores=0-7 /proc/3976/task/3998/stat : 3998 (java) S 3974 3974 2396 0 -1 1077944384 51 0 0 0 50 0 0 0 20 0 28 0 511158600 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962870697360 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3999] ppid=3974 vsize=28766288 memory=14057 CPUtime=0.52 cores=0-7 /proc/3976/task/3999/stat : 3999 (java) R 3974 3974 2396 0 -1 4202560 38 0 0 0 52 0 0 0 20 0 28 0 511158600 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962869644536 139963936627236 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=4000] ppid=3974 vsize=28766288 memory=0 CPUtime=0.47 cores=0-7 /proc/3976/task/4000/stat : 4000 (java) R 3974 3974 2396 0 -1 1077944384 35 0 0 0 47 0 0 0 20 0 28 0 511158600 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962868593408 139964293203669 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=4001] ppid=3974 vsize=28766288 memory=0 CPUtime=0.52 cores=0-7 /proc/3976/task/4001/stat : 4001 (java) R 3974 3974 2396 0 -1 4202560 63 0 0 0 52 0 0 0 20 0 28 0 511158600 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962867539976 139963936706585 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=4002] ppid=3974 vsize=28766288 memory=0 CPUtime=0.46 cores=0-7 /proc/3976/task/4002/stat : 4002 (java) S 3974 3974 2396 0 -1 1077944384 31 0 0 0 46 0 0 0 20 0 28 0 511158600 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962866487360 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=4003] ppid=3974 vsize=28766288 memory=0 CPUtime=0.48 cores=0-7 /proc/3976/task/4003/stat : 4003 (java) S 3974 3974 2396 0 -1 1077944384 35 0 0 0 48 0 0 0 20 0 28 0 511158600 29456678912 92575 33554432000 4194304 4196468 140735437662256 139962865434400 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 Current children cumulated CPU time: 8.71 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 371748 KiB [startup+2.11949 s] /proc/loadavg: 5.88 7.62 7.92 13/220 4003 /proc/meminfo: memFree=25287908/32770624 swapFree=66953496/67108860 [pid=3974] ppid=3971 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/3974/stat : 3974 (xcsp3-exec) S 3971 3974 2396 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511158458 115843072 362 33554432000 4194304 5098028 140732331105072 140732331103176 139715376403068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40042496 140732331111250 140732331111509 140732331111509 140732331114438 0 /proc/3974/statm: 28282 362 304 221 0 87 0 [pid=3976] ppid=3974 vsize=28766288 memory=376672 CPUtime=9.27 cores=0-7 /proc/3976/stat : 3976 (java) S 3974 3974 2396 0 -1 1077944320 19933 0 0 0 889 38 0 0 20 0 19 0 511158459 29456678912 94168 33554432000 4194304 4196468 140735437662256 140735437644800 139964293193463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 /proc/3976/statm: 7191572 94168 3508 1 0 7152672 0 [pid=3976/tid=3977] ppid=3974 vsize=28766288 memory=369300 CPUtime=1.3 cores=0-7 /proc/3976/task/3977/stat : 3977 (java) S 3974 3974 2396 0 -1 1077944384 9224 0 0 0 124 6 0 0 20 0 19 0 511158459 29456678912 94168 33554432000 4194304 4196468 140735437662256 139964297436304 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3978] ppid=3974 vsize=28766288 memory=5787213852901402449 CPUtime=0.06 cores=0-7 /proc/3976/task/3978/stat : 3978 (java) S 3974 3974 2396 0 -1 1077944384 105 0 0 0 3 3 0 0 20 0 19 0 511158460 29456678912 94168 33554432000 4194304 4196468 140735437662256 139963844390032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3979] ppid=3974 vsize=28766288 memory=5865188000529146989 CPUtime=0.06 cores=0-7 /proc/3976/task/3979/stat : 3979 (java) S 3974 3974 2396 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 19 0 511158460 29456678912 94168 33554432000 4194304 4196468 140735437662256 139963843337232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3980] ppid=3974 vsize=28766288 memory=55 CPUtime=0.06 cores=0-7 /proc/3976/task/3980/stat : 3980 (java) S 3974 3974 2396 0 -1 1077944384 100 0 0 0 3 3 0 0 20 0 19 0 511158460 29456678912 94168 33554432000 4194304 4196468 140735437662256 139963842284432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3981] ppid=3974 vsize=28766288 memory=10754 CPUtime=0.05 cores=0-7 /proc/3976/task/3981/stat : 3981 (java) S 3974 3974 2396 0 -1 1077944384 40 0 0 0 3 2 0 0 20 0 19 0 511158460 29456678912 94168 33554432000 4194304 4196468 140735437662256 139963841231632 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3982] ppid=3974 vsize=28766288 memory=24210 CPUtime=0.06 cores=0-7 /proc/3976/task/3982/stat : 3982 (java) S 3974 3974 2396 0 -1 1077944384 73 0 0 0 3 3 0 0 20 0 19 0 511158460 29456678912 94168 33554432000 4194304 4196468 140735437662256 139963840178832 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3983] ppid=3974 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7 /proc/3976/task/3983/stat : 3983 (java) S 3974 3974 2396 0 -1 1077944384 88 0 0 0 3 3 0 0 20 0 19 0 511158460 29456678912 94168 33554432000 4194304 4196468 140735437662256 139963839126032 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3984] ppid=3974 vsize=28766288 memory=7522511559747588681 CPUtime=0.07 cores=0-7 /proc/3976/task/3984/stat : 3984 (java) S 3974 3974 2396 0 -1 1077944384 92 0 0 0 4 3 0 0 20 0 19 0 511158460 29456678912 94168 33554432000 4194304 4196468 140735437662256 139963838073232 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3985] ppid=3974 vsize=28766288 memory=5305975589106075278 CPUtime=0.06 cores=0-7 /proc/3976/task/3985/stat : 3985 (java) S 3974 3974 2396 0 -1 1077944384 71 0 0 0 3 3 0 0 20 0 19 0 511158460 29456678912 94168 33554432000 4194304 4196468 140735437662256 139963837020432 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3986] ppid=3974 vsize=28766288 memory=-7738114792035544932 CPUtime=0 cores=0-7 /proc/3976/task/3986/stat : 3986 (java) R 3974 3974 2396 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 19 0 511158461 29456678912 94168 33554432000 4194304 4196468 140735437662256 139962891496512 139964293205398 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3987] ppid=3974 vsize=28766288 memory=6442214052181153197 CPUtime=0 cores=0-7 /proc/3976/task/3987/stat : 3987 (java) S 3974 3974 2396 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 511158462 29456678912 94233 33554432000 4194304 4196468 140735437662256 139962890442336 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3988] ppid=3974 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3988/stat : 3988 (java) S 3974 3974 2396 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 18 0 511158462 29456678912 94233 33554432000 4194304 4196468 140735437662256 139962889389440 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3989] ppid=3974 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/3976/task/3989/stat : 3989 (java) S 3974 3974 2396 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 18 0 511158465 29456678912 94233 33554432000 4194304 4196468 140735437662256 139962888336512 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3990] ppid=3974 vsize=28766288 memory=0 CPUtime=0.79 cores=0-7 /proc/3976/task/3990/stat : 3990 (java) S 3974 3974 2396 0 -1 1077944384 2443 0 0 0 78 1 0 0 20 0 18 0 511158465 29456678912 94233 33554432000 4194304 4196468 140735437662256 139962887265504 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3991] ppid=3974 vsize=28766288 memory=0 CPUtime=0.86 cores=0-7 /proc/3976/task/3991/stat : 3991 (java) S 3974 3974 2396 0 -1 1077944384 1744 0 0 0 86 0 0 0 20 0 18 0 511158465 29456678912 94233 33554432000 4194304 4196468 140735437662256 139962886216816 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3992] ppid=3974 vsize=28766288 memory=0 CPUtime=0.94 cores=0-7 /proc/3976/task/3992/stat : 3992 (java) S 3974 3974 2396 0 -1 1077944384 1794 0 0 0 94 0 0 0 20 0 18 0 511158465 29456678912 94233 33554432000 4194304 4196468 140735437662256 139962885164016 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3993] ppid=3974 vsize=28766288 memory=281419277032416 CPUtime=0.54 cores=0-7 /proc/3976/task/3993/stat : 3993 (java) S 3974 3974 2396 0 -1 1077944384 2329 0 0 0 53 1 0 0 20 0 18 0 511158465 29456678912 94205 33554432000 4194304 4196468 140735437662256 139962884126704 139964293204610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 [pid=3976/tid=3994] ppid=3974 vsize=28766288 memory=7379825646910334316 CPUtime=0 cores=0-7 /proc/3976/task/3994/stat : 3994 (java) S 3974 3974 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 511158465 29456678912 94205 33554432000 4194304 4196468 140735437662256 139962883075168 139964293203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39395328 140735437665238 140735437665414 140735437665414 140735437668303 0 Current children cumulated CPU time: 9.27 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 378120 KiB Child status: 0 Real time (s): 2.12866 CPU time (s): 9.28931 CPU user time (s): 8.89878 CPU system time (s): 0.390536 CPU usage (%): 436.392 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 378120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.89878 system time used= 0.390536 maximum resident set size= 378064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20495 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3416 involuntary context switches= 137 # summary of solver processes directly reported to runsolver: # pid: 3974 # total CPU time (s): 9.28931 # total CPU user time (s): 8.89878 # total CPU system time (s): 0.390536 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.043287 second user time and 0.062728 second system time The end
Begin job on node119 at 2019-09-24 21:13:16 IDJOB=4406665 IDBENCH=131470 IDSOLVER=2871 FILE ID=node119/4406665-1569352437 RUNJOBID= node119-1569349193-2435 PBS_JOBID= 21705086 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b09-m200-08.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-4406665-1569352437/watcher-4406665-1569352437 -o /var/tmp/evaluation-result-4406665-1569352437/solver-4406665-1569352437 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569349193-2435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 937076105 HOME/instance-4406665-1569352437.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7f9c41aacca1e0b30cdd7db3c30aaf94 RANDOM SEED=937076105 node119.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.47 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.47 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.47 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.47 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: 25644352 kB MemAvailable: 31797444 kB Buffers: 133504 kB Cached: 6118488 kB SwapCached: 46740 kB Active: 3109424 kB Inactive: 3194560 kB Active(anon): 3516 kB Inactive(anon): 105180 kB Active(file): 3105908 kB Inactive(file): 3089380 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66953496 kB Dirty: 4804 kB Writeback: 0 kB AnonPages: 124208 kB Mapped: 57360 kB Shmem: 48540 kB Slab: 415208 kB SReclaimable: 386264 kB SUnreclaim: 28944 kB KernelStack: 3728 kB PageTables: 5312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514560 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13488 MiB End job on node119 at 2019-09-24 21:13:18