Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 303 | 324.466 | 41.5753 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-6.xml |
MD5SUM | f9b69c01e6bb1a0d57b760340d1825ed |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 303 |
Best CPU time to get the best result obtained on this benchmark | 29.4046 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 90 |
Number of domains | 7 |
Minimum domain size | 4 |
Maximum domain size | 405 |
Distribution of domain sizes | [{"size":4,"count":5},{"size":5,"count":45},{"size":405,"count":55}] |
Minimum variable degree | 2 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] |
Number of extensional constraints | 25 |
Number of intensional constraints | 30 |
Distribution of constraint types | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404574-1568994298.xml" -tl '20160s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404574-1568994298.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.55/0.75 c solve instance... 2.03/0.83 o 392 15.35/2.53 o 369 15.35/2.56 o 363 16.87/2.75 o 356 17.62/2.86 o 350 20.09/3.12 o 343 23.15/3.52 o 335 23.15/3.54 o 328 23.93/3.67 o 323 34.26/4.98 o 322 38.22/5.41 o 321 38.22/5.43 o 320 38.22/5.45 o 319 39.69/5.64 o 317 39.69/5.67 o 316 39.69/5.69 o 315 40.44/5.79 o 314 42.07/5.96 o 312 43.65/6.17 o 311 49.12/6.89 o 310 53.89/7.44 o 309 66.68/9.08 o 308 70.59/9.53 o 307 89.59/11.95 o 306 94.36/12.51 o 305 123.77/16.24 o 304 123.77/16.27 o 303 323.98/41.56 s OPTIMUM FOUND 323.98/41.56 v <instantiation> 323.98/41.56 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] </list> 323.98/41.56 v <values>1 73 91 156 241 0 55 140 171 245 0 62 153 178 242 7 49 97 192 289 1 102 185 199 223 303 303 289 303 303 51 16 65 65 62 49 85 31 71 58 62 78 2 63 47 42 48 95 97 14 89 76 7 9 80 1 4 0 3 2 2 3 1 0 4 4 1 3 2 0 3 2 4 1 0 0 2 1 4 3 91 1 241 156 73 171 140 0 55 245 242 62 178 153 0 289 192 49 7 97 1 185 102 223 199 </values> 323.98/41.56 v </instantiation>
OK 303
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 (12384 MiB free) memory of node 1: 16384 MiB (12783 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404574-1568994298/watcher-4404574-1568994298 -o /var/tmp/evaluation-result-4404574-1568994298/solver-4404574-1568994298 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 864754254 HOME/instance-4404574-1568994298.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=24453, runsolver pid=24450 Current StackSize limit: 8192 KiB [startup+0.100059 s]* /proc/loadavg: 6.27 6.16 6.96 4/212 24474 /proc/meminfo: memFree=25754048/32770624 swapFree=66966844/67108860 [pid=24453] ppid=24450 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/24453/stat : 24453 (xcsp3-exec) S 24450 24453 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366257 115843072 362 33554432000 4194304 5098028 140730592662576 140730592660680 139902086775420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31055872 140730592670546 140730592670805 140730592670805 140730592673734 0 /proc/24453/statm: 28282 362 304 221 0 87 0 [pid=24455] ppid=24453 vsize=28227396 memory=28776 CPUtime=0.13 cores=0-7 /proc/24455/stat : 24455 (java) S 24453 24453 23748 0 -1 1077944320 5718 0 0 0 11 2 0 0 20 0 20 0 475366258 28904853504 7194 33554432000 4194304 4196468 140722005318384 140722005300928 140150022156023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 /proc/24455/statm: 7056849 7194 3121 1 0 7019032 0 [pid=24455/tid=24456] ppid=24453 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/24455/task/24456/stat : 24456 (java) R 24453 24453 23748 0 -1 4202560 3609 0 0 0 8 1 0 0 20 0 20 0 475366258 28904853504 7194 33554432000 4194304 4196468 140722005318384 140150026395264 140149631578320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24457] ppid=24453 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/24455/task/24457/stat : 24457 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149974776080 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24458] ppid=24453 vsize=28227396 memory=139676321642112 CPUtime=0 cores=0-7 /proc/24455/task/24458/stat : 24458 (java) S 24453 24453 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149973723536 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24459] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24459/stat : 24459 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149972670992 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24460] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24460/stat : 24460 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149971618448 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24461] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24461/stat : 24461 (java) S 24453 24453 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149970565904 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24462] ppid=24453 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24455/task/24462/stat : 24462 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149969513360 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24463] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24463/stat : 24463 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149968460816 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24464] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24464/stat : 24464 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149967408272 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24465] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24465/stat : 24465 (java) S 24453 24453 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475366260 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149137569776 140150022167170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24466] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24466/stat : 24466 (java) S 24453 24453 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475366261 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149136516000 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24467] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24467/stat : 24467 (java) S 24453 24453 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475366261 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149135463408 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24468] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24468/stat : 24468 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366263 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149134411984 140150022174619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24469] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24469/stat : 24469 (java) S 24453 24453 23748 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 475366263 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149133359600 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24470] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24470/stat : 24470 (java) S 24453 24453 23748 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 475366263 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149132307056 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24471] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24471/stat : 24471 (java) R 24453 24453 23748 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 20 0 475366263 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149131246160 140150002569328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24472] ppid=24453 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/24455/task/24472/stat : 24472 (java) R 24453 24453 23748 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 20 0 475366263 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149130201968 140150022167958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24473] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24473/stat : 24473 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475366263 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149129148640 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24474] ppid=24453 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24455/task/24474/stat : 24474 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366264 28904853504 7194 33554432000 4194304 4196468 140722005318384 140149128096176 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30224 KiB [startup+0.210638 s]* /proc/loadavg: 6.27 6.16 6.96 3/212 24474 /proc/meminfo: memFree=25742704/32770624 swapFree=66966844/67108860 [pid=24453] ppid=24450 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/24453/stat : 24453 (xcsp3-exec) S 24450 24453 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366257 115843072 362 33554432000 4194304 5098028 140730592662576 140730592660680 139902086775420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31055872 140730592670546 140730592670805 140730592670805 140730592673734 0 /proc/24453/statm: 28282 362 304 221 0 87 0 [pid=24455] ppid=24453 vsize=28227396 memory=41040 CPUtime=0.33 cores=0-7 /proc/24455/stat : 24455 (java) S 24453 24453 23748 0 -1 1077944320 9505 0 0 0 30 3 0 0 20 0 20 0 475366258 28904853504 10260 33554432000 4194304 4196468 140722005318384 140722005300928 140150022156023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 /proc/24455/statm: 7056849 10260 3311 1 0 7019032 0 [pid=24455/tid=24456] ppid=24453 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/24455/task/24456/stat : 24456 (java) R 24453 24453 23748 0 -1 4202560 6653 0 0 0 17 2 0 0 20 0 20 0 475366258 28904853504 10260 33554432000 4194304 4196468 140722005318384 140150026389488 140150006236510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24457] ppid=24453 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/24455/task/24457/stat : 24457 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149974776080 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24458] ppid=24453 vsize=28227396 memory=139676325153837 CPUtime=0 cores=0-7 /proc/24455/task/24458/stat : 24458 (java) S 24453 24453 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149973723536 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24459] ppid=24453 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24455/task/24459/stat : 24459 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149972670992 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24460] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24460/stat : 24460 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149971618448 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24461] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24461/stat : 24461 (java) S 24453 24453 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149970565904 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24462] ppid=24453 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24455/task/24462/stat : 24462 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149969513360 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24463] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24463/stat : 24463 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149968460816 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24464] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24464/stat : 24464 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149967408272 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24465] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24465/stat : 24465 (java) S 24453 24453 23748 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 475366260 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149137569776 140150022167170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24466] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24466/stat : 24466 (java) S 24453 24453 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475366261 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149136516000 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24467] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24467/stat : 24467 (java) S 24453 24453 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475366261 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149135463408 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24468] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24468/stat : 24468 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366263 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149134411984 140150022174619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24469] ppid=24453 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/24455/task/24469/stat : 24469 (java) S 24453 24453 23748 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 475366263 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149133359600 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24470] ppid=24453 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/24455/task/24470/stat : 24470 (java) S 24453 24453 23748 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 475366263 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149132307056 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24471] ppid=24453 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/24455/task/24471/stat : 24471 (java) S 24453 24453 23748 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 20 0 475366263 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149131254512 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24472] ppid=24453 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/24455/task/24472/stat : 24472 (java) S 24453 24453 23748 0 -1 1077944384 782 0 0 0 8 0 0 0 20 0 20 0 475366263 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149130201968 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24473] ppid=24453 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24473/stat : 24473 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475366263 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149129148640 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24474] ppid=24453 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24455/task/24474/stat : 24474 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366264 28904853504 10260 33554432000 4194304 4196468 140722005318384 140149128096176 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42488 KiB [startup+0.310446 s]* /proc/loadavg: 6.27 6.16 6.96 3/212 24474 /proc/meminfo: memFree=25735568/32770624 swapFree=66966844/67108860 [pid=24453] ppid=24450 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/24453/stat : 24453 (xcsp3-exec) S 24450 24453 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366257 115843072 362 33554432000 4194304 5098028 140730592662576 140730592660680 139902086775420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31055872 140730592670546 140730592670805 140730592670805 140730592673734 0 /proc/24453/statm: 28282 362 304 221 0 87 0 [pid=24455] ppid=24453 vsize=28231652 memory=50268 CPUtime=0.53 cores=0-7 /proc/24455/stat : 24455 (java) S 24453 24453 23748 0 -1 1077944320 10907 0 0 0 48 5 0 0 20 0 20 0 475366258 28909211648 12502 33554432000 4194304 4196468 140722005318384 140722005300928 140150022156023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 /proc/24455/statm: 7057913 12502 3356 1 0 7019032 0 [pid=24455/tid=24456] ppid=24453 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/24455/task/24456/stat : 24456 (java) R 24453 24453 23748 0 -1 4202560 7840 0 0 0 27 3 0 0 20 0 20 0 475366258 28909211648 12573 33554432000 4194304 4196468 140722005318384 140150026387136 140150006236510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24457] ppid=24453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24457/stat : 24457 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149974776080 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24458] ppid=24453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24458/stat : 24458 (java) S 24453 24453 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475366259 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149973723536 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24459] ppid=24453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24459/stat : 24459 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475366259 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149972670992 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24460] ppid=24453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24460/stat : 24460 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475366259 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149971618448 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24461] ppid=24453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24461/stat : 24461 (java) S 24453 24453 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475366259 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149970565904 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24462] ppid=24453 vsize=28231652 memory=139676161764015 CPUtime=0 cores=0-7 /proc/24455/task/24462/stat : 24462 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149969513360 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24463] ppid=24453 vsize=28231652 memory=139676161766320 CPUtime=0 cores=0-7 /proc/24455/task/24463/stat : 24463 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149968460816 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24464] ppid=24453 vsize=28231652 memory=139676161768624 CPUtime=0 cores=0-7 /proc/24455/task/24464/stat : 24464 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149967408272 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24465] ppid=24453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24465/stat : 24465 (java) S 24453 24453 23748 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 475366260 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149137569776 140150022167170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24466] ppid=24453 vsize=28231652 memory=279352323551120 CPUtime=0 cores=0-7 /proc/24455/task/24466/stat : 24466 (java) S 24453 24453 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475366261 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149136516000 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24467] ppid=24453 vsize=28231652 memory=279352323548816 CPUtime=0 cores=0-7 /proc/24455/task/24467/stat : 24467 (java) S 24453 24453 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475366261 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149135463408 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24468] ppid=24453 vsize=28231652 memory=279352323555728 CPUtime=0 cores=0-7 /proc/24455/task/24468/stat : 24468 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366263 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149134411984 140150022174619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24469] ppid=24453 vsize=28231652 memory=279352323496976 CPUtime=0.02 cores=0-7 /proc/24455/task/24469/stat : 24469 (java) S 24453 24453 23748 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 20 0 475366263 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149133359600 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24470] ppid=24453 vsize=28231652 memory=279352323569552 CPUtime=0.03 cores=0-7 /proc/24455/task/24470/stat : 24470 (java) R 24453 24453 23748 0 -1 4202560 258 0 0 0 3 0 0 0 20 0 20 0 475366263 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149132297440 140150007281418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24471] ppid=24453 vsize=28231652 memory=279352323576464 CPUtime=0.03 cores=0-7 /proc/24455/task/24471/stat : 24471 (java) S 24453 24453 23748 0 -1 1077944384 265 0 0 0 3 0 0 0 20 0 20 0 475366263 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149131254512 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24472] ppid=24453 vsize=28231652 memory=279352323574160 CPUtime=0.12 cores=0-7 /proc/24455/task/24472/stat : 24472 (java) S 24453 24453 23748 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 20 0 475366263 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149130201968 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24473] ppid=24453 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24473/stat : 24473 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475366263 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149129148640 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24474] ppid=24453 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/24455/task/24474/stat : 24474 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366264 28909211648 12573 33554432000 4194304 4196468 140722005318384 140149128096176 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51716 KiB [startup+0.700953 s] /proc/loadavg: 6.27 6.16 6.96 5/212 24474 /proc/meminfo: memFree=25721984/32770624 swapFree=66966844/67108860 [pid=24453] ppid=24450 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/24453/stat : 24453 (xcsp3-exec) S 24450 24453 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366257 115843072 362 33554432000 4194304 5098028 140730592662576 140730592660680 139902086775420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31055872 140730592670546 140730592670805 140730592670805 140730592673734 0 /proc/24453/statm: 28282 362 304 221 0 87 0 [pid=24455] ppid=24453 vsize=28233776 memory=82732 CPUtime=1.55 cores=0-7 /proc/24455/stat : 24455 (java) S 24453 24453 23748 0 -1 1077944320 14914 0 0 0 147 8 0 0 20 0 20 0 475366258 28911386624 20683 33554432000 4194304 4196468 140722005318384 140722005300928 140150022156023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 /proc/24455/statm: 7058444 20683 3452 1 0 7019544 0 [pid=24455/tid=24456] ppid=24453 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/24455/task/24456/stat : 24456 (java) R 24453 24453 23748 0 -1 4202560 9471 0 0 0 64 4 0 0 20 0 20 0 475366258 28911386624 20683 33554432000 4194304 4196468 140722005318384 140150026389744 140150022167958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24457] ppid=24453 vsize=28233776 memory=139676161975152 CPUtime=0 cores=0-7 /proc/24455/task/24457/stat : 24457 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475366259 28911386624 20683 33554432000 4194304 4196468 140722005318384 140149974776080 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24458] ppid=24453 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24458/stat : 24458 (java) S 24453 24453 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475366259 28911386624 20683 33554432000 4194304 4196468 140722005318384 140149973723536 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24459] ppid=24453 vsize=28233776 memory=7556 CPUtime=0 cores=0-7 /proc/24455/task/24459/stat : 24459 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475366259 28911386624 20683 33554432000 4194304 4196468 140722005318384 140149972670992 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 ################ # More data... # ################ [pid=24455/tid=24472] ppid=24453 vsize=28834900 memory=7079765598914236496 CPUtime=0.9 cores=0-7 /proc/24455/task/24472/stat : 24472 (java) S 24453 24453 23748 0 -1 1077944384 10329 0 0 0 87 3 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149130201968 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24473] ppid=24453 vsize=28834900 memory=7811044310603950144 CPUtime=0 cores=0-7 /proc/24455/task/24473/stat : 24473 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149129148640 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24474] ppid=24453 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24474/stat : 24474 (java) S 24453 24453 23748 0 -1 1077944384 1721 0 0 0 0 0 0 0 20 0 28 0 475366264 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149128096176 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24691] ppid=24453 vsize=28834900 memory=0 CPUtime=24.57 cores=0-7 /proc/24455/task/24691/stat : 24691 (java) R 24453 24453 23748 0 -1 4202560 372 0 0 0 2457 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149115965080 140149637645410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24692] ppid=24453 vsize=28834900 memory=3689072854487098704 CPUtime=24.53 cores=0-7 /proc/24455/task/24692/stat : 24692 (java) R 24453 24453 23748 0 -1 4202560 363 0 0 0 2453 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149110702904 140149635192235 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24693] ppid=24453 vsize=28834900 memory=6946918322334361171 CPUtime=24.61 cores=0-7 /proc/24455/task/24693/stat : 24693 (java) R 24453 24453 23748 0 -1 4202560 419 0 0 0 2461 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149112807536 140149635192200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24694] ppid=24453 vsize=28834900 memory=6154263892583214181 CPUtime=24.68 cores=0-7 /proc/24455/task/24694/stat : 24694 (java) R 24453 24453 23748 0 -1 4202560 944 0 0 0 2468 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149113859848 140149639810100 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24695] ppid=24453 vsize=28834900 memory=7380385388137112419 CPUtime=24.66 cores=0-7 /proc/24455/task/24695/stat : 24695 (java) R 24453 24453 23748 0 -1 4202560 670 0 0 0 2466 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149111755128 140149640697756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24696] ppid=24453 vsize=28834900 memory=2110026770090196 CPUtime=24.5 cores=0-7 /proc/24455/task/24696/stat : 24696 (java) R 24453 24453 23748 0 -1 4202560 622 0 0 0 2450 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149114916480 140149640692583 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24697] ppid=24453 vsize=28834900 memory=0 CPUtime=24.62 cores=0-7 /proc/24455/task/24697/stat : 24697 (java) R 24453 24453 23748 0 -1 4202560 425 0 0 0 2462 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149117018632 140149638882508 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24698] ppid=24453 vsize=28834900 memory=0 CPUtime=24.57 cores=0-7 /proc/24455/task/24698/stat : 24698 (java) R 24453 24453 23748 0 -1 4202560 788 0 0 0 2457 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149108599192 140149639057346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 Current children cumulated CPU time: 321.59 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 196004 KiB [startup+41.4017 s] /proc/loadavg: 7.30 6.45 7.02 9/220 24701 /proc/meminfo: memFree=25587380/32770624 swapFree=66966844/67108860 [pid=24453] ppid=24450 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/24453/stat : 24453 (xcsp3-exec) S 24450 24453 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366257 115843072 362 33554432000 4194304 5098028 140730592662576 140730592660680 139902086775420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31055872 140730592670546 140730592670805 140730592670805 140730592673734 0 /proc/24453/statm: 28282 362 304 221 0 87 0 [pid=24455] ppid=24453 vsize=28834900 memory=194556 CPUtime=323.18 cores=0-7 /proc/24455/stat : 24455 (java) S 24453 24453 23748 0 -1 1077944320 92084 0 0 0 32269 49 0 0 20 0 28 0 475366258 29526937600 48639 33554432000 4194304 4196468 140722005318384 140722005300928 140150022156023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 /proc/24455/statm: 7208725 48639 3536 1 0 7169825 0 [pid=24455/tid=24456] ppid=24453 vsize=28834900 memory=0 CPUtime=0.76 cores=0-7 /proc/24455/task/24456/stat : 24456 (java) S 24453 24453 23748 0 -1 1077944384 10173 0 0 0 71 5 0 0 20 0 28 0 475366258 29526937600 48639 33554432000 4194304 4196468 140722005318384 140150026396800 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24457] ppid=24453 vsize=28834900 memory=0 CPUtime=0.06 cores=0-7 /proc/24455/task/24457/stat : 24457 (java) S 24453 24453 23748 0 -1 1077944384 568 0 0 0 5 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149974776080 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24458] ppid=24453 vsize=28834900 memory=0 CPUtime=0.05 cores=0-7 /proc/24455/task/24458/stat : 24458 (java) S 24453 24453 23748 0 -1 1077944384 1043 0 0 0 4 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149973723536 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24459] ppid=24453 vsize=28834900 memory=0 CPUtime=0.05 cores=0-7 /proc/24455/task/24459/stat : 24459 (java) S 24453 24453 23748 0 -1 1077944384 1231 0 0 0 4 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149972670992 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24460] ppid=24453 vsize=28834900 memory=56 CPUtime=0.05 cores=0-7 /proc/24455/task/24460/stat : 24460 (java) S 24453 24453 23748 0 -1 1077944384 393 0 0 0 4 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149971618448 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24461] ppid=24453 vsize=28834900 memory=-6528659778308523166 CPUtime=0.06 cores=0-7 /proc/24455/task/24461/stat : 24461 (java) S 24453 24453 23748 0 -1 1077944384 1046 0 0 0 5 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149970565904 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24462] ppid=24453 vsize=28834900 memory=-7170419493048703614 CPUtime=0.07 cores=0-7 /proc/24455/task/24462/stat : 24462 (java) S 24453 24453 23748 0 -1 1077944384 347 0 0 0 6 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149969513360 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24463] ppid=24453 vsize=28834900 memory=8390361644446492005 CPUtime=0.05 cores=0-7 /proc/24455/task/24463/stat : 24463 (java) S 24453 24453 23748 0 -1 1077944384 969 0 0 0 5 0 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149968460816 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24464] ppid=24453 vsize=28834900 memory=-8412658753979780979 CPUtime=0.06 cores=0-7 /proc/24455/task/24464/stat : 24464 (java) S 24453 24453 23748 0 -1 1077944384 754 0 0 0 5 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149967408272 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24465] ppid=24453 vsize=28834900 memory=7672009991984130635 CPUtime=0.06 cores=0-7 /proc/24455/task/24465/stat : 24465 (java) S 24453 24453 23748 0 -1 1077944384 2323 0 0 0 5 1 0 0 20 0 28 0 475366260 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149137569776 140150022167170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24466] ppid=24453 vsize=28834900 memory=7100839878609826928 CPUtime=0 cores=0-7 /proc/24455/task/24466/stat : 24466 (java) S 24453 24453 23748 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 475366261 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149136516064 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24467] ppid=24453 vsize=28834900 memory=8390361644446492005 CPUtime=0 cores=0-7 /proc/24455/task/24467/stat : 24467 (java) S 24453 24453 23748 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 475366261 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149135463424 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24468] ppid=24453 vsize=28834900 memory=7316803075424543371 CPUtime=0 cores=0-7 /proc/24455/task/24468/stat : 24468 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149134411984 140150022174619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24469] ppid=24453 vsize=28834900 memory=-8253362762724046199 CPUtime=3.79 cores=0-7 /proc/24455/task/24469/stat : 24469 (java) S 24453 24453 23748 0 -1 1077944384 16632 0 0 0 374 5 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149133359600 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24470] ppid=24453 vsize=28834900 memory=7959677418182421067 CPUtime=3.6 cores=0-7 /proc/24455/task/24470/stat : 24470 (java) S 24453 24453 23748 0 -1 1077944384 13752 0 0 0 355 5 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149132307056 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24471] ppid=24453 vsize=28834900 memory=4571546647536694826 CPUtime=3.45 cores=0-7 /proc/24455/task/24471/stat : 24471 (java) S 24453 24453 23748 0 -1 1077944384 15671 0 0 0 340 5 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149131254512 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24472] ppid=24453 vsize=28834900 memory=-8412652152933814131 CPUtime=0.9 cores=0-7 /proc/24455/task/24472/stat : 24472 (java) S 24453 24453 23748 0 -1 1077944384 10329 0 0 0 87 3 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149130201968 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24473] ppid=24453 vsize=28834900 memory=8110268427993965958 CPUtime=0 cores=0-7 /proc/24455/task/24473/stat : 24473 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149129148640 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24474] ppid=24453 vsize=28834900 memory=-8412658744833442419 CPUtime=0 cores=0-7 /proc/24455/task/24474/stat : 24474 (java) S 24453 24453 23748 0 -1 1077944384 1721 0 0 0 0 0 0 0 20 0 28 0 475366264 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149128096176 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24691] ppid=24453 vsize=28834900 memory=7315117515526005387 CPUtime=24.77 cores=0-7 /proc/24455/task/24691/stat : 24691 (java) R 24453 24453 23748 0 -1 4202560 372 0 0 0 2477 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149115965080 140149637645474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24692] ppid=24453 vsize=28834900 memory=8110268427993965964 CPUtime=24.73 cores=0-7 /proc/24455/task/24692/stat : 24692 (java) R 24453 24453 23748 0 -1 4202560 363 0 0 0 2473 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149110702904 140149637645139 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24693] ppid=24453 vsize=28834900 memory=7882834749540411979 CPUtime=24.82 cores=0-7 /proc/24455/task/24693/stat : 24693 (java) R 24453 24453 23748 0 -1 4202560 419 0 0 0 2482 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149112807536 140149641785322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24694] ppid=24453 vsize=28834900 memory=7307479989365795437 CPUtime=24.88 cores=0-7 /proc/24455/task/24694/stat : 24694 (java) R 24453 24453 23748 0 -1 4202560 944 0 0 0 2488 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149113859848 140149637647428 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24695] ppid=24453 vsize=28834900 memory=7596563689552568917 CPUtime=24.86 cores=0-7 /proc/24455/task/24695/stat : 24695 (java) R 24453 24453 23748 0 -1 4202560 670 0 0 0 2486 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149111755128 140149641728383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24696] ppid=24453 vsize=28834900 memory=7954312848470730850 CPUtime=24.7 cores=0-7 /proc/24455/task/24696/stat : 24696 (java) R 24453 24453 23748 0 -1 4202560 622 0 0 0 2470 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149114916480 140149639810144 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24697] ppid=24453 vsize=28834900 memory=7300726896288620906 CPUtime=24.82 cores=0-7 /proc/24455/task/24697/stat : 24697 (java) R 24453 24453 23748 0 -1 4202560 425 0 0 0 2482 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149117018632 140149637646876 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24698] ppid=24453 vsize=28834900 memory=7379236407495716452 CPUtime=24.77 cores=0-7 /proc/24455/task/24698/stat : 24698 (java) R 24453 24453 23748 0 -1 4202560 788 0 0 0 2477 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149108599192 140149632510267 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 Current children cumulated CPU time: 323.18 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 196004 KiB [startup+41.5017 s] /proc/loadavg: 7.30 6.45 7.02 9/220 24701 /proc/meminfo: memFree=25587380/32770624 swapFree=66966844/67108860 [pid=24453] ppid=24450 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/24453/stat : 24453 (xcsp3-exec) S 24450 24453 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366257 115843072 362 33554432000 4194304 5098028 140730592662576 140730592660680 139902086775420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31055872 140730592670546 140730592670805 140730592670805 140730592673734 0 /proc/24453/statm: 28282 362 304 221 0 87 0 [pid=24455] ppid=24453 vsize=28834900 memory=194556 CPUtime=323.98 cores=0-7 /proc/24455/stat : 24455 (java) S 24453 24453 23748 0 -1 1077944320 92093 0 0 0 32349 49 0 0 20 0 28 0 475366258 29526937600 48639 33554432000 4194304 4196468 140722005318384 140722005300928 140150022156023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 /proc/24455/statm: 7208725 48639 3536 1 0 7169825 0 [pid=24455/tid=24456] ppid=24453 vsize=28834900 memory=1448 CPUtime=0.76 cores=0-7 /proc/24455/task/24456/stat : 24456 (java) S 24453 24453 23748 0 -1 1077944384 10173 0 0 0 71 5 0 0 20 0 28 0 475366258 29526937600 48639 33554432000 4194304 4196468 140722005318384 140150026396800 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24457] ppid=24453 vsize=28834900 memory=7158871161674622826 CPUtime=0.06 cores=0-7 /proc/24455/task/24457/stat : 24457 (java) S 24453 24453 23748 0 -1 1077944384 568 0 0 0 5 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149974776080 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24458] ppid=24453 vsize=28834900 memory=303430223234596890 CPUtime=0.05 cores=0-7 /proc/24455/task/24458/stat : 24458 (java) S 24453 24453 23748 0 -1 1077944384 1045 0 0 0 4 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149973723536 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24459] ppid=24453 vsize=28834900 memory=288230617509003574 CPUtime=0.05 cores=0-7 /proc/24455/task/24459/stat : 24459 (java) S 24453 24453 23748 0 -1 1077944384 1231 0 0 0 4 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149972670992 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24460] ppid=24453 vsize=28834900 memory=6791534058613427641 CPUtime=0.05 cores=0-7 /proc/24455/task/24460/stat : 24460 (java) S 24453 24453 23748 0 -1 1077944384 393 0 0 0 4 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149971618448 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24461] ppid=24453 vsize=28834900 memory=988 CPUtime=0.06 cores=0-7 /proc/24455/task/24461/stat : 24461 (java) S 24453 24453 23748 0 -1 1077944384 1046 0 0 0 5 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149970565904 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24462] ppid=24453 vsize=28834900 memory=216100 CPUtime=0.07 cores=0-7 /proc/24455/task/24462/stat : 24462 (java) S 24453 24453 23748 0 -1 1077944384 347 0 0 0 6 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149969513360 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24463] ppid=24453 vsize=28834900 memory=1412 CPUtime=0.05 cores=0-7 /proc/24455/task/24463/stat : 24463 (java) S 24453 24453 23748 0 -1 1077944384 969 0 0 0 5 0 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149968460816 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24464] ppid=24453 vsize=28834900 memory=0 CPUtime=0.06 cores=0-7 /proc/24455/task/24464/stat : 24464 (java) S 24453 24453 23748 0 -1 1077944384 754 0 0 0 5 1 0 0 20 0 28 0 475366259 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149967408272 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24465] ppid=24453 vsize=28834900 memory=105024835338004 CPUtime=0.06 cores=0-7 /proc/24455/task/24465/stat : 24465 (java) S 24453 24453 23748 0 -1 1077944384 2328 0 0 0 5 1 0 0 20 0 28 0 475366260 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149137569776 140150022167170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24466] ppid=24453 vsize=28834900 memory=1448 CPUtime=0 cores=0-7 /proc/24455/task/24466/stat : 24466 (java) S 24453 24453 23748 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 475366261 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149136516064 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24467] ppid=24453 vsize=28834900 memory=218148 CPUtime=0 cores=0-7 /proc/24455/task/24467/stat : 24467 (java) S 24453 24453 23748 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 475366261 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149135463424 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24468] ppid=24453 vsize=28834900 memory=804 CPUtime=0 cores=0-7 /proc/24455/task/24468/stat : 24468 (java) S 24453 24453 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149134411984 140150022174619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24469] ppid=24453 vsize=28834900 memory=4108 CPUtime=3.79 cores=0-7 /proc/24455/task/24469/stat : 24469 (java) S 24453 24453 23748 0 -1 1077944384 16632 0 0 0 374 5 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149133359600 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24470] ppid=24453 vsize=28834900 memory=1804 CPUtime=3.6 cores=0-7 /proc/24455/task/24470/stat : 24470 (java) S 24453 24453 23748 0 -1 1077944384 13752 0 0 0 355 5 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149132307056 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24471] ppid=24453 vsize=28834900 memory=279352324490928 CPUtime=3.45 cores=0-7 /proc/24455/task/24471/stat : 24471 (java) S 24453 24453 23748 0 -1 1077944384 15671 0 0 0 340 5 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149131254512 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24472] ppid=24453 vsize=28834900 memory=0 CPUtime=0.9 cores=0-7 /proc/24455/task/24472/stat : 24472 (java) S 24453 24453 23748 0 -1 1077944384 10329 0 0 0 87 3 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149130201968 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24473] ppid=24453 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/24455/task/24473/stat : 24473 (java) S 24453 24453 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475366263 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149129148640 140150022166229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24474] ppid=24453 vsize=28834900 memory=1448 CPUtime=0 cores=0-7 /proc/24455/task/24474/stat : 24474 (java) S 24453 24453 23748 0 -1 1077944384 1721 0 0 0 0 0 0 0 20 0 28 0 475366264 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149128096176 140150022167170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24691] ppid=24453 vsize=28834900 memory=281060 CPUtime=24.87 cores=0-7 /proc/24455/task/24691/stat : 24691 (java) R 24453 24453 23748 0 -1 4202560 373 0 0 0 2487 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149115965080 140149635192264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24692] ppid=24453 vsize=28834900 memory=0 CPUtime=24.83 cores=0-7 /proc/24455/task/24692/stat : 24692 (java) R 24453 24453 23748 0 -1 4202560 363 0 0 0 2483 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149110702768 140149641273895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24693] ppid=24453 vsize=28834900 memory=200716 CPUtime=24.91 cores=0-7 /proc/24455/task/24693/stat : 24693 (java) R 24453 24453 23748 0 -1 4202560 419 0 0 0 2491 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149112808040 140149639415985 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24694] ppid=24453 vsize=28834900 memory=281484 CPUtime=24.98 cores=0-7 /proc/24455/task/24694/stat : 24694 (java) R 24453 24453 23748 0 -1 4202560 945 0 0 0 2498 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149113860688 140149639793195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24695] ppid=24453 vsize=28834900 memory=1448 CPUtime=24.96 cores=0-7 /proc/24455/task/24695/stat : 24695 (java) R 24453 24453 23748 0 -1 4202560 670 0 0 0 2496 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149111755032 140149639058474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24696] ppid=24453 vsize=28834900 memory=202256 CPUtime=24.79 cores=0-7 /proc/24455/task/24696/stat : 24696 (java) R 24453 24453 23748 0 -1 4202560 622 0 0 0 2479 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149114913624 140149637645139 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24697] ppid=24453 vsize=28834900 memory=1448 CPUtime=24.91 cores=0-7 /proc/24455/task/24697/stat : 24697 (java) R 24453 24453 23748 0 -1 4202560 425 0 0 0 2491 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149117018416 140149637645261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 [pid=24455/tid=24698] ppid=24453 vsize=28834900 memory=254428 CPUtime=24.86 cores=0-7 /proc/24455/task/24698/stat : 24698 (java) R 24453 24453 23748 0 -1 4202560 788 0 0 0 2486 0 0 0 20 0 28 0 475367884 29526937600 48639 33554432000 4194304 4196468 140722005318384 140149108598544 140149635192200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140722005324758 140722005324934 140722005324934 140722005327823 0 Current children cumulated CPU time: 323.98 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 196004 KiB Child status: 0 Real time (s): 41.5753 CPU time (s): 324.466 CPU user time (s): 323.96 CPU system time (s): 0.505726 CPU usage (%): 780.429 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 282932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 323.96 system time used= 0.505726 maximum resident set size= 281688 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93402 page faults= 0 swaps= 0 block input operations= 0 block output operations= 208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12434 involuntary context switches= 5074 # summary of solver processes directly reported to runsolver: # pid: 24453 # total CPU time (s): 324.466 # total CPU user time (s): 323.96 # total CPU system time (s): 0.505726 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.429165 second user time and 0.43104 second system time The end
Begin job on node145 at 2019-09-20 17:44:16 IDJOB=4404574 IDBENCH=115829 IDSOLVER=2865 FILE ID=node145/4404574-1568994298 RUNJOBID= node145-1568994215-23775 PBS_JOBID= 21704717 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-6.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-4404574-1568994298/watcher-4404574-1568994298 -o /var/tmp/evaluation-result-4404574-1568994298/solver-4404574-1568994298 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 864754254 HOME/instance-4404574-1568994298.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f9b69c01e6bb1a0d57b760340d1825ed RANDOM SEED=864754254 node145.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.59 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.59 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.59 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.59 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: 25771316 kB MemAvailable: 31818304 kB Buffers: 90316 kB Cached: 6118124 kB SwapCached: 32484 kB Active: 3018232 kB Inactive: 3225472 kB Active(anon): 4452 kB Inactive(anon): 80072 kB Active(file): 3013780 kB Inactive(file): 3145400 kB Unevictable: 110664 kB Mlocked: 110664 kB SwapTotal: 67108860 kB SwapFree: 66966844 kB Dirty: 25968 kB Writeback: 0 kB AnonPages: 112732 kB Mapped: 51976 kB Shmem: 40640 kB Slab: 345120 kB SReclaimable: 316268 kB SUnreclaim: 28852 kB KernelStack: 3456 kB PageTables: 5268 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13488 MiB End job on node145 at 2019-09-20 17:44:58