Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 72 | 1956.05 | 246.631 |
Name | GolombRuler/ GolombRuler-a3v18-11_c18.xml |
MD5SUM | ed3f9a47d1f1ba76ff72e7160e212ad4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 72 |
Best CPU time to get the best result obtained on this benchmark | 886.709 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 132 |
Number of constraints | 56 |
Number of domains | 2 |
Minimum domain size | 121 |
Maximum domain size | 122 |
Distribution of domain sizes | [{"size":121,"count":55},{"size":122,"count":11}] |
Minimum variable degree | 0 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":0,"count":66},{"degree":2,"count":55},{"degree":10,"count":10},{"degree":11,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 55 |
Distribution of constraint arities | [{"arity":3,"count":55},{"arity":55,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 55 |
Distribution of constraint types | [{"type":"intension","count":55},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407510-1569350401.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407510-1569350401.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.28/0.69 c solve instance... 1.57/0.79 o 96 2.23/0.86 o 95 2.23/0.87 o 93 2.83/0.90 o 90 2.83/0.99 o 87 4.40/1.13 o 85 4.40/1.16 o 81 8.35/1.67 o 78 17.80/2.87 o 77 19.48/3.10 o 76 28.25/4.18 o 74 33.64/4.83 o 72 1955.94/246.61 s OPTIMUM FOUND 1955.94/246.61 v <instantiation> 1955.94/246.61 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[6][7] y[6][8] y[6][9] y[6][10] y[7][8] y[7][9] y[7][10] y[8][9] y[8][10] y[9][10] </list> 1955.94/246.61 v <values>0 1 4 13 28 33 47 54 64 70 72 1 4 13 28 33 47 54 64 70 72 3 12 27 32 46 53 63 69 71 9 24 29 43 50 60 66 68 15 20 34 41 51 57 59 5 19 26 36 42 44 14 21 31 37 39 7 17 23 25 10 16 18 6 8 2 </values> 1955.94/246.61 v </instantiation>
OK 72
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 (10977 MiB free) memory of node 1: 16384 MiB (12790 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407510-1569350401/watcher-4407510-1569350401 -o /var/tmp/evaluation-result-4407510-1569350401/solver-4407510-1569350401 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569335938-16664 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1428284258 HOME/instance-4407510-1569350401.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=20038, runsolver pid=20035 Current StackSize limit: 8192 KiB [startup+0.100099 s]* /proc/loadavg: 1.65 4.33 6.66 2/215 20059 /proc/meminfo: memFree=24321612/32770624 swapFree=67002968/67108860 [pid=20038] ppid=20035 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20038/stat : 20038 (xcsp3-exec) S 20035 20038 16637 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511279609 115843072 363 33554432000 4194304 5098028 140726179758336 140726179756440 140235019567740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40095744 140726179763031 140726179763290 140726179763290 140726179766214 0 /proc/20038/statm: 28282 363 304 221 0 87 0 [pid=20040] ppid=20038 vsize=28227396 memory=29076 CPUtime=0.12 cores=0-7 /proc/20040/stat : 20040 (java) S 20038 20038 16637 0 -1 1077944320 5676 0 0 0 11 1 0 0 20 0 20 0 511279609 28904853504 7269 33554432000 4194304 4196468 140723395061728 140723395044272 140318026297079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 /proc/20040/statm: 7056849 7269 3161 1 0 7019032 0 [pid=20040/tid=20041] ppid=20038 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/20040/task/20041/stat : 20041 (java) R 20038 20038 16637 0 -1 4202560 3615 0 0 0 8 1 0 0 20 0 20 0 511279609 28904853504 7269 33554432000 4194304 4196468 140723395061728 140318030525104 140318026309014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20042] ppid=20038 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/20040/task/20042/stat : 20042 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317577489552 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20043] ppid=20038 vsize=28227396 memory=139628250773120 CPUtime=0 cores=0-7 /proc/20040/task/20043/stat : 20043 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317576436752 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20044] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20044/stat : 20044 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317575383952 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20045] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20045/stat : 20045 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317574331152 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20046] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20046/stat : 20046 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317573278352 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20047] ppid=20038 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20040/task/20047/stat : 20047 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317572225552 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20048] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20048/stat : 20048 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317571172752 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20049] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20049/stat : 20049 (java) S 20038 20038 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317570119952 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20050] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20050/stat : 20050 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279612 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317527317360 140318026308226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20051] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20051/stat : 20051 (java) S 20038 20038 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511279612 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317526263328 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20052] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20052/stat : 20052 (java) S 20038 20038 16637 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511279612 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317525210480 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20053] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20053/stat : 20053 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279615 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317524158800 140318026315675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20054] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20054/stat : 20054 (java) S 20038 20038 16637 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 20 0 511279615 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317523106160 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20055] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20055/stat : 20055 (java) R 20038 20038 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511279615 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317136382192 140318026308226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20056] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20056/stat : 20056 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279615 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317135329392 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20057] ppid=20038 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/20040/task/20057/stat : 20057 (java) S 20038 20038 16637 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 20 0 511279615 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317134276592 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20058] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20058/stat : 20058 (java) S 20038 20038 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511279615 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317133225056 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20059] ppid=20038 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20040/task/20059/stat : 20059 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279615 28904853504 7269 33554432000 4194304 4196468 140723395061728 140317132172336 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30528 KiB [startup+0.210599 s]* /proc/loadavg: 1.65 4.33 6.66 2/215 20059 /proc/meminfo: memFree=24307484/32770624 swapFree=67002968/67108860 [pid=20038] ppid=20035 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20038/stat : 20038 (xcsp3-exec) S 20035 20038 16637 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511279609 115843072 363 33554432000 4194304 5098028 140726179758336 140726179756440 140235019567740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40095744 140726179763031 140726179763290 140726179763290 140726179766214 0 /proc/20038/statm: 28282 363 304 221 0 87 0 [pid=20040] ppid=20038 vsize=28227396 memory=41264 CPUtime=0.34 cores=0-7 /proc/20040/stat : 20040 (java) S 20038 20038 16637 0 -1 1077944320 9595 0 0 0 30 4 0 0 20 0 20 0 511279609 28904853504 10316 33554432000 4194304 4196468 140723395061728 140723395044272 140318026297079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 /proc/20040/statm: 7056849 10316 3302 1 0 7019032 0 [pid=20040/tid=20041] ppid=20038 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/20040/task/20041/stat : 20041 (java) R 20038 20038 16637 0 -1 4202560 6673 0 0 0 18 2 0 0 20 0 20 0 511279609 28904853504 10316 33554432000 4194304 4196468 140723395061728 140318030530544 140317663499713 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20042] ppid=20038 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/20040/task/20042/stat : 20042 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317577489552 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20043] ppid=20038 vsize=28227396 memory=139628254595464 CPUtime=0 cores=0-7 /proc/20040/task/20043/stat : 20043 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317576436752 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20044] ppid=20038 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20040/task/20044/stat : 20044 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317575383952 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20045] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20045/stat : 20045 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317574331152 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20046] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20046/stat : 20046 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317573278352 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20047] ppid=20038 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20040/task/20047/stat : 20047 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317572225552 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20048] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20048/stat : 20048 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317571172752 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20049] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20049/stat : 20049 (java) S 20038 20038 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511279610 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317570119952 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20050] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20050/stat : 20050 (java) S 20038 20038 16637 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511279612 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317527317360 140318026308226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20051] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20051/stat : 20051 (java) S 20038 20038 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511279612 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317526263328 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20052] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20052/stat : 20052 (java) S 20038 20038 16637 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511279612 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317525210480 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20053] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20053/stat : 20053 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279615 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317524158800 140318026315675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20054] ppid=20038 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/20040/task/20054/stat : 20054 (java) S 20038 20038 16637 0 -1 1077944384 560 0 0 0 1 0 0 0 20 0 20 0 511279615 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317523106160 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20055] ppid=20038 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/20040/task/20055/stat : 20055 (java) S 20038 20038 16637 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 511279615 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317136382192 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20056] ppid=20038 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20040/task/20056/stat : 20056 (java) S 20038 20038 16637 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 511279615 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317135329392 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20057] ppid=20038 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/20040/task/20057/stat : 20057 (java) R 20038 20038 16637 0 -1 4202560 785 0 0 0 8 0 0 0 20 0 20 0 511279615 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317134276400 140318026309014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20058] ppid=20038 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20058/stat : 20058 (java) S 20038 20038 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511279615 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317133225056 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20059] ppid=20038 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20040/task/20059/stat : 20059 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279615 28904853504 10316 33554432000 4194304 4196468 140723395061728 140317132172336 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42716 KiB [startup+0.312669 s]* /proc/loadavg: 1.65 4.33 6.66 4/215 20059 /proc/meminfo: memFree=24302624/32770624 swapFree=67002968/67108860 [pid=20038] ppid=20035 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20038/stat : 20038 (xcsp3-exec) S 20035 20038 16637 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511279609 115843072 363 33554432000 4194304 5098028 140726179758336 140726179756440 140235019567740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40095744 140726179763031 140726179763290 140726179763290 140726179766214 0 /proc/20038/statm: 28282 363 304 221 0 87 0 [pid=20040] ppid=20038 vsize=28231652 memory=49668 CPUtime=0.52 cores=0-7 /proc/20040/stat : 20040 (java) S 20038 20038 16637 0 -1 1077944320 11191 0 0 0 48 4 0 0 20 0 20 0 511279609 28909211648 12417 33554432000 4194304 4196468 140723395061728 140723395044272 140318026297079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 /proc/20040/statm: 7057913 12417 3341 1 0 7019032 0 [pid=20040/tid=20041] ppid=20038 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/20040/task/20041/stat : 20041 (java) R 20038 20038 16637 0 -1 4202560 8136 0 0 0 27 3 0 0 20 0 20 0 511279609 28909211648 12417 33554432000 4194304 4196468 140723395061728 140318030530864 140318010377566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20042] ppid=20038 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20042/stat : 20042 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279610 28909211648 12417 33554432000 4194304 4196468 140723395061728 140317577489552 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20043] ppid=20038 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20043/stat : 20043 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28909211648 12417 33554432000 4194304 4196468 140723395061728 140317576436752 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20044] ppid=20038 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20044/stat : 20044 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28909211648 12417 33554432000 4194304 4196468 140723395061728 140317575383952 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20045] ppid=20038 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20045/stat : 20045 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28909211648 12417 33554432000 4194304 4196468 140723395061728 140317574331152 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20046] ppid=20038 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/20040/task/20046/stat : 20046 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28909211648 12417 33554432000 4194304 4196468 140723395061728 140317573278352 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20047] ppid=20038 vsize=28231652 memory=139628111819695 CPUtime=0 cores=0-7 /proc/20040/task/20047/stat : 20047 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279610 28909211648 12417 33554432000 4194304 4196468 140723395061728 140317572225552 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20048] ppid=20038 vsize=28231652 memory=139628111822000 CPUtime=0 cores=0-7 /proc/20040/task/20048/stat : 20048 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279610 28909211648 12417 33554432000 4194304 4196468 140723395061728 140317571172752 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20049] ppid=20038 vsize=28231652 memory=139628111824304 CPUtime=0 cores=0-7 /proc/20040/task/20049/stat : 20049 (java) S 20038 20038 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511279610 28909211648 12464 33554432000 4194304 4196468 140723395061728 140317570119952 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20050] ppid=20038 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20050/stat : 20050 (java) S 20038 20038 16637 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511279612 28909211648 12464 33554432000 4194304 4196468 140723395061728 140317527317360 140318026308226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20051] ppid=20038 vsize=28231652 memory=279256223655568 CPUtime=0 cores=0-7 /proc/20040/task/20051/stat : 20051 (java) S 20038 20038 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511279612 28909211648 12464 33554432000 4194304 4196468 140723395061728 140317526263328 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20052] ppid=20038 vsize=28231652 memory=279256223662480 CPUtime=0 cores=0-7 /proc/20040/task/20052/stat : 20052 (java) S 20038 20038 16637 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511279612 28909211648 12464 33554432000 4194304 4196468 140723395061728 140317525210480 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20053] ppid=20038 vsize=28231652 memory=279256223603760 CPUtime=0 cores=0-7 /proc/20040/task/20053/stat : 20053 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279615 28909211648 12464 33554432000 4194304 4196468 140723395061728 140317524158800 140318026315675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20054] ppid=20038 vsize=28231652 memory=279256223676304 CPUtime=0.03 cores=0-7 /proc/20040/task/20054/stat : 20054 (java) S 20038 20038 16637 0 -1 1077944384 567 0 0 0 3 0 0 0 20 0 20 0 511279615 28909211648 12464 33554432000 4194304 4196468 140723395061728 140317523106160 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20055] ppid=20038 vsize=28231652 memory=279256223683216 CPUtime=0.02 cores=0-7 /proc/20040/task/20055/stat : 20055 (java) S 20038 20038 16637 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 20 0 511279615 28909211648 12464 33554432000 4194304 4196468 140723395061728 140317136382192 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20056] ppid=20038 vsize=28231652 memory=279256223680912 CPUtime=0.02 cores=0-7 /proc/20040/task/20056/stat : 20056 (java) R 20038 20038 16637 0 -1 4202560 124 0 0 0 2 0 0 0 20 0 20 0 511279615 28909211648 12464 33554432000 4194304 4196468 140723395061728 140317135327792 140318009781099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20057] ppid=20038 vsize=28231652 memory=279256223697072 CPUtime=0.13 cores=0-7 /proc/20040/task/20057/stat : 20057 (java) S 20038 20038 16637 0 -1 1077944384 840 0 0 0 13 0 0 0 20 0 20 0 511279615 28909211648 12464 33554432000 4194304 4196468 140723395061728 140317134276592 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20058] ppid=20038 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20058/stat : 20058 (java) S 20038 20038 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511279615 28909211648 12464 33554432000 4194304 4196468 140723395061728 140317133225056 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20059] ppid=20038 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/20040/task/20059/stat : 20059 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279615 28909211648 12464 33554432000 4194304 4196468 140723395061728 140317132172336 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51120 KiB [startup+0.700949 s] /proc/loadavg: 1.65 4.33 6.66 2/215 20059 /proc/meminfo: memFree=24283164/32770624 swapFree=67002968/67108860 [pid=20038] ppid=20035 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20038/stat : 20038 (xcsp3-exec) S 20035 20038 16637 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511279609 115843072 363 33554432000 4194304 5098028 140726179758336 140726179756440 140235019567740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40095744 140726179763031 140726179763290 140726179763290 140726179766214 0 /proc/20038/statm: 28282 363 304 221 0 87 0 [pid=20040] ppid=20038 vsize=28233776 memory=85572 CPUtime=1.57 cores=0-7 /proc/20040/stat : 20040 (java) S 20038 20038 16637 0 -1 1077944320 15090 0 0 0 150 7 0 0 20 0 20 0 511279609 28911386624 21393 33554432000 4194304 4196468 140723395061728 140723395044272 140318026297079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 /proc/20040/statm: 7058444 21393 3452 1 0 7019544 0 [pid=20040/tid=20041] ppid=20038 vsize=28233776 memory=279256224054960 CPUtime=0.67 cores=0-7 /proc/20040/task/20041/stat : 20041 (java) R 20038 20038 16637 0 -1 4202560 9303 0 0 0 64 3 0 0 20 0 20 0 511279609 28911386624 21393 33554432000 4194304 4196468 140723395061728 140318030535920 140318010377566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20042] ppid=20038 vsize=28233776 memory=139628112028528 CPUtime=0 cores=0-7 /proc/20040/task/20042/stat : 20042 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511279610 28911386624 21393 33554432000 4194304 4196468 140723395061728 140317577489552 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20043] ppid=20038 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/20040/task/20043/stat : 20043 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28911386624 21393 33554432000 4194304 4196468 140723395061728 140317576436752 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20044] ppid=20038 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/20040/task/20044/stat : 20044 (java) S 20038 20038 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511279610 28911386624 21393 33554432000 4194304 4196468 140723395061728 140317575383952 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 ################ # More data... # ################ [pid=20040/tid=20057] ppid=20038 vsize=28769364 memory=1056 CPUtime=0.77 cores=0-7 /proc/20040/task/20057/stat : 20057 (java) S 20038 20038 16637 0 -1 1077944384 5159 0 0 0 75 2 0 0 20 0 28 0 511279615 29459828736 113996 33554432000 4194304 4196468 140723395061728 140317134276592 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20058] ppid=20038 vsize=28769364 memory=1540 CPUtime=0 cores=0-7 /proc/20040/task/20058/stat : 20058 (java) S 20038 20038 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511279615 29459828736 113996 33554432000 4194304 4196468 140723395061728 140317133225056 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20059] ppid=20038 vsize=28769364 memory=728 CPUtime=0.03 cores=0-7 /proc/20040/task/20059/stat : 20059 (java) S 20038 20038 16637 0 -1 1077944384 1364 0 0 0 0 3 0 0 20 0 28 0 511279615 29459828736 113996 33554432000 4194304 4196468 140723395061728 140317132172336 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20158] ppid=20038 vsize=28769364 memory=3956 CPUtime=238.59 cores=0-7 /proc/20040/task/20158/stat : 20158 (java) R 20038 20038 16637 0 -1 4202560 9554 0 0 0 23855 4 0 0 20 0 28 0 511280092 29459828736 113996 33554432000 4194304 4196468 140723395061728 140317120031360 140317669413233 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20159] ppid=20038 vsize=28769364 memory=2832 CPUtime=239.31 cores=0-7 /proc/20040/task/20159/stat : 20159 (java) R 20038 20038 16637 0 -1 4202560 3253 0 0 0 23928 3 0 0 20 0 28 0 511280092 29459828736 113996 33554432000 4194304 4196468 140723395061728 140317122138144 140317669775820 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20160] ppid=20038 vsize=28769364 memory=1212 CPUtime=238.92 cores=0-7 /proc/20040/task/20160/stat : 20160 (java) R 20038 20038 16637 0 -1 4202560 3618 0 0 0 23890 2 0 0 20 0 28 0 511280092 29459828736 113996 33554432000 4194304 4196468 140723395061728 140316062498784 140317668731060 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20161] ppid=20038 vsize=28769364 memory=1036 CPUtime=238.52 cores=0-7 /proc/20040/task/20161/stat : 20161 (java) R 20038 20038 16637 0 -1 4202560 7601 0 0 0 23840 12 0 0 20 0 28 0 511280092 29459828736 113996 33554432000 4194304 4196468 140723395061728 140316060393400 140317672316115 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20162] ppid=20038 vsize=28769364 memory=14008 CPUtime=238.38 cores=0-7 /proc/20040/task/20162/stat : 20162 (java) R 20038 20038 16637 0 -1 4202560 4831 0 0 0 23833 5 0 0 20 0 28 0 511280092 29459828736 113996 33554432000 4194304 4196468 140723395061728 140317123190496 140317668569708 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20163] ppid=20038 vsize=28769364 memory=139628113088232 CPUtime=238.51 cores=0-7 /proc/20040/task/20163/stat : 20163 (java) R 20038 20038 16637 0 -1 4202560 3634 0 0 0 23847 4 0 0 20 0 28 0 511280092 29459828736 113996 33554432000 4194304 4196468 140723395061728 140317121084968 140317669373092 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20164] ppid=20038 vsize=28769364 memory=-1189914978686163229 CPUtime=239.08 cores=0-7 /proc/20040/task/20164/stat : 20164 (java) R 20038 20038 16637 0 -1 4202560 2921 0 0 0 23906 2 0 0 20 0 28 0 511280092 29459828736 113996 33554432000 4194304 4196468 140723395061728 140316061449616 140317668569738 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20165] ppid=20038 vsize=28769364 memory=8547710663883855229 CPUtime=238.78 cores=0-7 /proc/20040/task/20165/stat : 20165 (java) R 20038 20038 16637 0 -1 4202560 4196 0 0 0 23874 4 0 0 20 0 28 0 511280093 29459828736 113996 33554432000 4194304 4196468 140723395061728 140316057243792 140317669373092 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 Current children cumulated CPU time: 1947.94 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 457436 KiB [startup+246.401 s] /proc/loadavg: 8.36 6.60 7.06 9/225 20188 /proc/meminfo: memFree=23893776/32770624 swapFree=67002968/67108860 [pid=20038] ppid=20035 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20038/stat : 20038 (xcsp3-exec) S 20035 20038 16637 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511279609 115843072 363 33554432000 4194304 5098028 140726179758336 140726179756440 140235019567740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40095744 140726179763031 140726179763290 140726179763290 140726179766214 0 /proc/20038/statm: 28282 363 304 221 0 87 0 [pid=20040] ppid=20038 vsize=28769364 memory=456004 CPUtime=1954.31 cores=0-7 /proc/20040/stat : 20040 (java) S 20038 20038 16637 0 -1 1077944320 149085 0 0 0 195331 100 0 0 20 0 28 0 511279609 29459828736 114001 33554432000 4194304 4196468 140723395061728 140723395044272 140318026297079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 /proc/20040/statm: 7192341 114001 3529 1 0 7153441 0 [pid=20040/tid=20041] ppid=20038 vsize=28769364 memory=6791534058613427641 CPUtime=0.68 cores=0-7 /proc/20040/task/20041/stat : 20041 (java) S 20038 20038 16637 0 -1 1077944384 9371 0 0 0 65 3 0 0 20 0 28 0 511279609 29459828736 114001 33554432000 4194304 4196468 140723395061728 140318030537856 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20042] ppid=20038 vsize=28769364 memory=6791534058613427641 CPUtime=0.38 cores=0-7 /proc/20040/task/20042/stat : 20042 (java) S 20038 20038 16637 0 -1 1077944384 4495 0 0 0 34 4 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317577489552 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20043] ppid=20038 vsize=28769364 memory=1452 CPUtime=0.38 cores=0-7 /proc/20040/task/20043/stat : 20043 (java) S 20038 20038 16637 0 -1 1077944384 7396 0 0 0 34 4 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317576436752 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20044] ppid=20038 vsize=28769364 memory=447748 CPUtime=0.38 cores=0-7 /proc/20040/task/20044/stat : 20044 (java) S 20038 20038 16637 0 -1 1077944384 7447 0 0 0 34 4 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317575383952 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20045] ppid=20038 vsize=28769364 memory=64148 CPUtime=0.38 cores=0-7 /proc/20040/task/20045/stat : 20045 (java) S 20038 20038 16637 0 -1 1077944384 4761 0 0 0 34 4 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317574331152 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20046] ppid=20038 vsize=28769364 memory=1452 CPUtime=0.39 cores=0-7 /proc/20040/task/20046/stat : 20046 (java) S 20038 20038 16637 0 -1 1077944384 4510 0 0 0 34 5 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317573278352 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20047] ppid=20038 vsize=28769364 memory=447748 CPUtime=0.38 cores=0-7 /proc/20040/task/20047/stat : 20047 (java) S 20038 20038 16637 0 -1 1077944384 2865 0 0 0 35 3 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317572225552 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20048] ppid=20038 vsize=28769364 memory=88247417965034 CPUtime=0.37 cores=0-7 /proc/20040/task/20048/stat : 20048 (java) S 20038 20038 16637 0 -1 1077944384 4747 0 0 0 33 4 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317571172752 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20049] ppid=20038 vsize=28769364 memory=64148 CPUtime=0.36 cores=0-7 /proc/20040/task/20049/stat : 20049 (java) S 20038 20038 16637 0 -1 1077944384 3706 0 0 0 33 3 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317570119952 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20050] ppid=20038 vsize=28769364 memory=988 CPUtime=0.36 cores=0-7 /proc/20040/task/20050/stat : 20050 (java) S 20038 20038 16637 0 -1 1077944384 17261 0 0 0 28 8 0 0 20 0 28 0 511279612 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317527317360 140318026308226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20051] ppid=20038 vsize=28769364 memory=2052 CPUtime=0 cores=0-7 /proc/20040/task/20051/stat : 20051 (java) S 20038 20038 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511279612 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317526263392 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20052] ppid=20038 vsize=28769364 memory=1428 CPUtime=0 cores=0-7 /proc/20040/task/20052/stat : 20052 (java) S 20038 20038 16637 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511279612 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317525210496 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20053] ppid=20038 vsize=28769364 memory=1716 CPUtime=0 cores=0-7 /proc/20040/task/20053/stat : 20053 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317524158800 140318026315675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20054] ppid=20038 vsize=28769364 memory=784 CPUtime=2.17 cores=0-7 /proc/20040/task/20054/stat : 20054 (java) S 20038 20038 16637 0 -1 1077944384 14258 0 0 0 212 5 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317523106160 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20055] ppid=20038 vsize=28769364 memory=8560 CPUtime=2.22 cores=0-7 /proc/20040/task/20055/stat : 20055 (java) S 20038 20038 16637 0 -1 1077944384 10248 0 0 0 220 2 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317136382192 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20056] ppid=20038 vsize=28769364 memory=6204 CPUtime=1.93 cores=0-7 /proc/20040/task/20056/stat : 20056 (java) S 20038 20038 16637 0 -1 1077944384 7776 0 0 0 192 1 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317135329392 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20057] ppid=20038 vsize=28769364 memory=1056 CPUtime=0.77 cores=0-7 /proc/20040/task/20057/stat : 20057 (java) S 20038 20038 16637 0 -1 1077944384 5159 0 0 0 75 2 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317134276592 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20058] ppid=20038 vsize=28769364 memory=1540 CPUtime=0 cores=0-7 /proc/20040/task/20058/stat : 20058 (java) S 20038 20038 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317133225056 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20059] ppid=20038 vsize=28769364 memory=728 CPUtime=0.03 cores=0-7 /proc/20040/task/20059/stat : 20059 (java) S 20038 20038 16637 0 -1 1077944384 1380 0 0 0 0 3 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317132172336 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20158] ppid=20038 vsize=28769364 memory=3956 CPUtime=239.39 cores=0-7 /proc/20040/task/20158/stat : 20158 (java) R 20038 20038 16637 0 -1 4202560 9671 0 0 0 23935 4 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317120032224 140317669807476 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20159] ppid=20038 vsize=28769364 memory=2832 CPUtime=240.09 cores=0-7 /proc/20040/task/20159/stat : 20159 (java) R 20038 20038 16637 0 -1 4202560 3291 0 0 0 24006 3 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317122138328 140317670793172 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20160] ppid=20038 vsize=28769364 memory=1212 CPUtime=239.72 cores=0-7 /proc/20040/task/20160/stat : 20160 (java) R 20038 20038 16637 0 -1 4202560 3651 0 0 0 23970 2 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140316062502056 140317669775746 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20161] ppid=20038 vsize=28769364 memory=1036 CPUtime=239.32 cores=0-7 /proc/20040/task/20161/stat : 20161 (java) R 20038 20038 16637 0 -1 4202560 7690 0 0 0 23920 12 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140316060393496 140317669614751 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20162] ppid=20038 vsize=28769364 memory=288230574492221466 CPUtime=239.18 cores=0-7 /proc/20040/task/20162/stat : 20162 (java) R 20038 20038 16637 0 -1 4202560 4843 0 0 0 23913 5 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317123194208 140317668570212 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20163] ppid=20038 vsize=28769364 memory=288230596050944315 CPUtime=239.31 cores=0-7 /proc/20040/task/20163/stat : 20163 (java) R 20038 20038 16637 0 -1 4202560 3657 0 0 0 23927 4 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317121084920 140317670796093 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20164] ppid=20038 vsize=28769364 memory=13568180484311317 CPUtime=239.88 cores=0-7 /proc/20040/task/20164/stat : 20164 (java) R 20038 20038 16637 0 -1 4202560 2971 0 0 0 23986 2 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140316061446712 140317669371500 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20165] ppid=20038 vsize=28769364 memory=1056 CPUtime=239.57 cores=0-7 /proc/20040/task/20165/stat : 20165 (java) R 20038 20038 16637 0 -1 4202560 4262 0 0 0 23953 4 0 0 20 0 28 0 511280093 29459828736 114001 33554432000 4194304 4196468 140723395061728 140316057244504 140317671555545 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 Current children cumulated CPU time: 1954.31 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 457456 KiB [startup+246.606 s] /proc/loadavg: 8.36 6.60 7.06 9/225 20188 /proc/meminfo: memFree=23893776/32770624 swapFree=67002968/67108860 [pid=20038] ppid=20035 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20038/stat : 20038 (xcsp3-exec) S 20035 20038 16637 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511279609 115843072 363 33554432000 4194304 5098028 140726179758336 140726179756440 140235019567740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40095744 140726179763031 140726179763290 140726179763290 140726179766214 0 /proc/20038/statm: 28282 363 304 221 0 87 0 [pid=20040] ppid=20038 vsize=28769364 memory=456004 CPUtime=1955.94 cores=0-7 /proc/20040/stat : 20040 (java) S 20038 20038 16637 0 -1 1077944320 149112 0 0 0 195494 100 0 0 20 0 28 0 511279609 29459828736 114001 33554432000 4194304 4196468 140723395061728 140723395044272 140318026297079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 /proc/20040/statm: 7192341 114001 3529 1 0 7153441 0 [pid=20040/tid=20041] ppid=20038 vsize=28769364 memory=380000 CPUtime=0.68 cores=0-7 /proc/20040/task/20041/stat : 20041 (java) S 20038 20038 16637 0 -1 1077944384 9371 0 0 0 65 3 0 0 20 0 28 0 511279609 29459828736 114001 33554432000 4194304 4196468 140723395061728 140318030537856 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20042] ppid=20038 vsize=28769364 memory=6791534058613427641 CPUtime=0.38 cores=0-7 /proc/20040/task/20042/stat : 20042 (java) S 20038 20038 16637 0 -1 1077944384 4495 0 0 0 34 4 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317577489552 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20043] ppid=20038 vsize=28769364 memory=780 CPUtime=0.39 cores=0-7 /proc/20040/task/20043/stat : 20043 (java) S 20038 20038 16637 0 -1 1077944384 7396 0 0 0 35 4 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317576436752 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20044] ppid=20038 vsize=28769364 memory=1440 CPUtime=0.38 cores=0-7 /proc/20040/task/20044/stat : 20044 (java) S 20038 20038 16637 0 -1 1077944384 7448 0 0 0 34 4 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317575383952 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20045] ppid=20038 vsize=28769364 memory=1984 CPUtime=0.38 cores=0-7 /proc/20040/task/20045/stat : 20045 (java) S 20038 20038 16637 0 -1 1077944384 4762 0 0 0 34 4 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317574331152 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20046] ppid=20038 vsize=28769364 memory=2376 CPUtime=0.39 cores=0-7 /proc/20040/task/20046/stat : 20046 (java) S 20038 20038 16637 0 -1 1077944384 4510 0 0 0 34 5 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317573278352 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20047] ppid=20038 vsize=28769364 memory=1768 CPUtime=0.38 cores=0-7 /proc/20040/task/20047/stat : 20047 (java) S 20038 20038 16637 0 -1 1077944384 2865 0 0 0 35 3 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317572225552 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20048] ppid=20038 vsize=28769364 memory=111628 CPUtime=0.37 cores=0-7 /proc/20040/task/20048/stat : 20048 (java) S 20038 20038 16637 0 -1 1077944384 4751 0 0 0 33 4 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317571172752 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20049] ppid=20038 vsize=28769364 memory=14008 CPUtime=0.37 cores=0-7 /proc/20040/task/20049/stat : 20049 (java) S 20038 20038 16637 0 -1 1077944384 3707 0 0 0 34 3 0 0 20 0 28 0 511279610 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317570119952 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20050] ppid=20038 vsize=28769364 memory=12024 CPUtime=0.36 cores=0-7 /proc/20040/task/20050/stat : 20050 (java) S 20038 20038 16637 0 -1 1077944384 17270 0 0 0 28 8 0 0 20 0 28 0 511279612 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317527317360 140318026308226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20051] ppid=20038 vsize=28769364 memory=2116 CPUtime=0 cores=0-7 /proc/20040/task/20051/stat : 20051 (java) S 20038 20038 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511279612 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317526263392 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20052] ppid=20038 vsize=28769364 memory=34772 CPUtime=0 cores=0-7 /proc/20040/task/20052/stat : 20052 (java) S 20038 20038 16637 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511279612 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317525210496 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20053] ppid=20038 vsize=28769364 memory=496 CPUtime=0 cores=0-7 /proc/20040/task/20053/stat : 20053 (java) S 20038 20038 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317524158800 140318026315675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20054] ppid=20038 vsize=28769364 memory=1564 CPUtime=2.17 cores=0-7 /proc/20040/task/20054/stat : 20054 (java) S 20038 20038 16637 0 -1 1077944384 14258 0 0 0 212 5 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317523106160 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20055] ppid=20038 vsize=28769364 memory=928 CPUtime=2.22 cores=0-7 /proc/20040/task/20055/stat : 20055 (java) S 20038 20038 16637 0 -1 1077944384 10248 0 0 0 220 2 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317136382192 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20056] ppid=20038 vsize=28769364 memory=1744 CPUtime=1.93 cores=0-7 /proc/20040/task/20056/stat : 20056 (java) S 20038 20038 16637 0 -1 1077944384 7776 0 0 0 192 1 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317135329392 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20057] ppid=20038 vsize=28769364 memory=455984 CPUtime=0.77 cores=0-7 /proc/20040/task/20057/stat : 20057 (java) S 20038 20038 16637 0 -1 1077944384 5159 0 0 0 75 2 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317134276592 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20058] ppid=20038 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/20040/task/20058/stat : 20058 (java) S 20038 20038 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317133225056 140318026307285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20059] ppid=20038 vsize=28769364 memory=404628 CPUtime=0.03 cores=0-7 /proc/20040/task/20059/stat : 20059 (java) S 20038 20038 16637 0 -1 1077944384 1380 0 0 0 0 3 0 0 20 0 28 0 511279615 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317132172336 140318026308226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20158] ppid=20038 vsize=28769364 memory=3756 CPUtime=239.59 cores=0-7 /proc/20040/task/20158/stat : 20158 (java) R 20038 20038 16637 0 -1 4202560 9671 0 0 0 23955 4 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317120031856 140317670228725 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20159] ppid=20038 vsize=28769364 memory=1452 CPUtime=240.29 cores=0-7 /proc/20040/task/20159/stat : 20159 (java) R 20038 20038 16637 0 -1 4202560 3291 0 0 0 24026 3 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317122138392 140317668730723 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20160] ppid=20038 vsize=28769364 memory=379988 CPUtime=239.92 cores=0-7 /proc/20040/task/20160/stat : 20160 (java) R 20038 20038 16637 0 -1 4202560 3654 0 0 0 23990 2 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140316062498784 140317668569782 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20161] ppid=20038 vsize=28769364 memory=988 CPUtime=239.52 cores=0-7 /proc/20040/task/20161/stat : 20161 (java) R 20038 20038 16637 0 -1 4202560 7690 0 0 0 23940 12 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140316060393496 140317668570375 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20162] ppid=20038 vsize=28769364 memory=2052 CPUtime=239.38 cores=0-7 /proc/20040/task/20162/stat : 20162 (java) R 20038 20038 16637 0 -1 4202560 4845 0 0 0 23933 5 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317123193472 140317669996839 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20163] ppid=20038 vsize=28769364 memory=1452 CPUtime=239.51 cores=0-7 /proc/20040/task/20163/stat : 20163 (java) R 20038 20038 16637 0 -1 4202560 3658 0 0 0 23947 4 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140317121084952 140317668569746 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20164] ppid=20038 vsize=28769364 memory=455940 CPUtime=240.08 cores=0-7 /proc/20040/task/20164/stat : 20164 (java) R 20038 20038 16637 0 -1 4202560 2972 0 0 0 24006 2 0 0 20 0 28 0 511280092 29459828736 114001 33554432000 4194304 4196468 140723395061728 140316061446624 140317668731436 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 [pid=20040/tid=20165] ppid=20038 vsize=28769364 memory=1660 CPUtime=239.78 cores=0-7 /proc/20040/task/20165/stat : 20165 (java) R 20038 20038 16637 0 -1 4202560 4266 0 0 0 23974 4 0 0 20 0 28 0 511280093 29459828736 114001 33554432000 4194304 4196468 140723395061728 140316057243536 140317669371378 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 27197440 140723395064796 140723395064971 140723395064971 140723395067855 0 Current children cumulated CPU time: 1955.94 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 457456 KiB Child status: 0 Real time (s): 246.631 CPU time (s): 1956.05 CPU user time (s): 1955.03 CPU system time (s): 1.02483 CPU usage (%): 793.108 Max. virtual memory (cumulated for all children) (KiB): 28884540 Max. memory (cumulated for all children) (KiB): 457456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1955.03 system time used= 1.02483 maximum resident set size= 456220 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 150880 page faults= 0 swaps= 0 block input operations= 0 block output operations= 776 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 34720 involuntary context switches= 26279 # summary of solver processes directly reported to runsolver: # pid: 20038 # total CPU time (s): 1956.05 # total CPU user time (s): 1955.03 # total CPU system time (s): 1.02483 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.22747 second user time and 2.68403 second system time The end
Begin job on node133 at 2019-09-24 20:39:20 IDJOB=4407510 IDBENCH=141364 IDSOLVER=2872 FILE ID=node133/4407510-1569350401 RUNJOBID= node133-1569335938-16664 PBS_JOBID= 21705057 Free space on /var/tmp= 13488 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-11_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407510-1569350401/watcher-4407510-1569350401 -o /var/tmp/evaluation-result-4407510-1569350401/solver-4407510-1569350401 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569335938-16664 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1428284258 HOME/instance-4407510-1569350401.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ed3f9a47d1f1ba76ff72e7160e212ad4 RANDOM SEED=1428284258 node133.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.18 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.18 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.18 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.18 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: 24336620 kB MemAvailable: 31842136 kB Buffers: 143840 kB Cached: 7416768 kB SwapCached: 5156 kB Active: 3734072 kB Inactive: 3833512 kB Active(anon): 4376 kB Inactive(anon): 58064 kB Active(file): 3729696 kB Inactive(file): 3775448 kB Unevictable: 110648 kB Mlocked: 110648 kB SwapTotal: 67108860 kB SwapFree: 67002968 kB Dirty: 26044 kB Writeback: 0 kB AnonPages: 226008 kB Mapped: 58080 kB Shmem: 46820 kB Slab: 457724 kB SReclaimable: 428832 kB SUnreclaim: 28892 kB KernelStack: 3888 kB PageTables: 5752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514616 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 182272 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13464 MiB End job on node133 at 2019-09-24 20:43:27