Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 30 | 113.897 | 14.9269 |
Name | StillLife/StillLife-m1-s1/ StillLife-04-14.xml |
MD5SUM | 19ed80590beafaab4553f21dc50e09e4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 30 |
Best CPU time to get the best result obtained on this benchmark | 16.7855 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 112 |
Number of constraints | 140 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":56},{"size":9,"count":56}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":56},{"degree":7,"count":4},{"degree":8,"count":28},{"degree":10,"count":24}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":56},{"arity":3,"count":28},{"arity":4,"count":4},{"arity":6,"count":28},{"arity":9,"count":24}] |
Number of extensional constraints | 84 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":84},{"type":"sum","count":56}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404922-1569002993.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404922-1569002993.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.66/0.73 c solve instance... 1.66/0.78 o 0 1.66/0.78 o 4 1.66/0.80 o 6 2.23/0.81 o 8 2.23/0.83 o 10 2.23/0.84 o 11 2.23/0.84 o 12 2.23/0.86 o 14 2.23/0.86 o 15 2.23/0.87 o 16 2.89/0.90 o 18 2.89/0.92 o 22 2.89/0.96 o 24 3.71/1.01 o 25 3.71/1.11 o 26 5.18/1.24 o 27 5.95/1.35 o 28 13.85/2.37 o 29 14.60/2.45 o 30 113.75/14.91 s OPTIMUM FOUND 113.75/14.91 v <instantiation> 113.75/14.91 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] </list> 113.75/14.91 v <values>1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 2 2 4 2 2 2 2 2 4 2 2 2 2 2 4 3 4 3 4 4 4 3 4 3 4 4 4 3 3 4 4 4 3 4 3 4 4 4 3 4 3 4 2 2 2 2 2 4 2 2 2 2 2 4 2 2 </values> 113.75/14.91 v </instantiation>
OK 30
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 (11016 MiB free) memory of node 1: 16384 MiB (12891 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404922-1569002993/watcher-4404922-1569002993 -o /var/tmp/evaluation-result-4404922-1569002993/solver-4404922-1569002993 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 239574738 HOME/instance-4404922-1569002993.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=12508, runsolver pid=12505 Current StackSize limit: 8192 KiB [startup+0.100182 s]* /proc/loadavg: 7.03 7.78 8.05 3/216 12529 /proc/meminfo: memFree=24468608/32770624 swapFree=67001924/67108860 [pid=12508] ppid=12505 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 6043 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476538867 115843072 363 33554432000 4194304 5098028 140728889551616 140728889549720 140194769781372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20901888 140728889553752 140728889554010 140728889554010 140728889556934 0 /proc/12508/statm: 28282 363 305 221 0 87 0 [pid=12510] ppid=12508 vsize=28227396 memory=27740 CPUtime=0.12 cores=0-7 /proc/12510/stat : 12510 (java) S 12508 12508 6043 0 -1 1077944320 5891 0 0 0 11 1 0 0 20 0 20 0 476538867 28904853504 6935 33554432000 4194304 4196468 140736753619008 140736753601552 139775714426615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 /proc/12510/statm: 7056849 6935 3151 1 0 7019032 0 [pid=12510/tid=12511] ppid=12508 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/12510/task/12511/stat : 12511 (java) R 12508 12508 6043 0 -1 4202560 3763 0 0 0 8 1 0 0 20 0 20 0 476538868 28904853504 6935 33554432000 4194304 4196468 140736753619008 139775718663040 139775714438550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12512] ppid=12508 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/12510/task/12512/stat : 12512 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 6935 33554432000 4194304 4196468 140736753619008 139775266326928 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12513] ppid=12508 vsize=28227396 memory=140082334901888 CPUtime=0 cores=0-7 /proc/12510/task/12513/stat : 12513 (java) S 12508 12508 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 6935 33554432000 4194304 4196468 140736753619008 139775265274128 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12514] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12514/stat : 12514 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 6935 33554432000 4194304 4196468 140736753619008 139775264221840 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12515] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12515/stat : 12515 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 6935 33554432000 4194304 4196468 140736753619008 139775263169040 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12516] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12516/stat : 12516 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 6935 33554432000 4194304 4196468 140736753619008 139775262116752 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12517] ppid=12508 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12510/task/12517/stat : 12517 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 6935 33554432000 4194304 4196468 140736753619008 139775261063952 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12518] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12518/stat : 12518 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 6935 33554432000 4194304 4196468 140736753619008 139775260011664 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12519] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12519/stat : 12519 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 6935 33554432000 4194304 4196468 140736753619008 139775258958864 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12520] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12520/stat : 12520 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538870 28904853504 6935 33554432000 4194304 4196468 140736753619008 139774312835184 139775714437762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12521] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12521/stat : 12521 (java) S 12508 12508 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476538871 28904853504 6935 33554432000 4194304 4196468 140736753619008 139774311781152 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12522] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12522/stat : 12522 (java) S 12508 12508 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476538871 28904853504 6935 33554432000 4194304 4196468 140736753619008 139774310728816 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12523] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12523/stat : 12523 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538873 28904853504 6935 33554432000 4194304 4196468 140736753619008 139774309677136 139775714445211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12524] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12524/stat : 12524 (java) S 12508 12508 6043 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 476538873 28904853504 6935 33554432000 4194304 4196468 140736753619008 139774308625008 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12525] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12525/stat : 12525 (java) S 12508 12508 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476538873 28904853504 6935 33554432000 4194304 4196468 140736753619008 139774307572208 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12526] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12526/stat : 12526 (java) S 12508 12508 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476538873 28904853504 6935 33554432000 4194304 4196468 140736753619008 139774306519920 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12527] ppid=12508 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12510/task/12527/stat : 12527 (java) R 12508 12508 6043 0 -1 4202560 393 0 0 0 1 0 0 0 20 0 20 0 476538873 28904853504 6935 33554432000 4194304 4196468 140736753619008 139774305467120 139775699797990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12528] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12528/stat : 12528 (java) S 12508 12508 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476538874 28904853504 6935 33554432000 4194304 4196468 140736753619008 139774304414048 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12529] ppid=12508 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12510/task/12529/stat : 12529 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538874 28904853504 6935 33554432000 4194304 4196468 140736753619008 139774303361328 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29192 KiB [startup+0.211004 s]* /proc/loadavg: 7.03 7.78 8.05 2/216 12529 /proc/meminfo: memFree=24454960/32770624 swapFree=67001924/67108860 [pid=12508] ppid=12505 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 6043 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476538867 115843072 363 33554432000 4194304 5098028 140728889551616 140728889549720 140194769781372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20901888 140728889553752 140728889554010 140728889554010 140728889556934 0 /proc/12508/statm: 28282 363 305 221 0 87 0 [pid=12510] ppid=12508 vsize=28227396 memory=39884 CPUtime=0.34 cores=0-7 /proc/12510/stat : 12510 (java) S 12508 12508 6043 0 -1 1077944320 9766 0 0 0 31 3 0 0 20 0 20 0 476538867 28904853504 9971 33554432000 4194304 4196468 140736753619008 140736753601552 139775714426615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 /proc/12510/statm: 7056849 9971 3299 1 0 7019032 0 [pid=12510/tid=12511] ppid=12508 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/12510/task/12511/stat : 12511 (java) R 12508 12508 6043 0 -1 4202560 6745 0 0 0 18 2 0 0 20 0 20 0 476538868 28904853504 9971 33554432000 4194304 4196468 140736753619008 139775718659344 139775714438550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12512] ppid=12508 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/12510/task/12512/stat : 12512 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 9971 33554432000 4194304 4196468 140736753619008 139775266326928 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12513] ppid=12508 vsize=28227396 memory=140082338484844 CPUtime=0 cores=0-7 /proc/12510/task/12513/stat : 12513 (java) S 12508 12508 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 9971 33554432000 4194304 4196468 140736753619008 139775265274128 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12514] ppid=12508 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12510/task/12514/stat : 12514 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 9971 33554432000 4194304 4196468 140736753619008 139775264221840 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12515] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12515/stat : 12515 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 9971 33554432000 4194304 4196468 140736753619008 139775263169040 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12516] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12516/stat : 12516 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 9971 33554432000 4194304 4196468 140736753619008 139775262116752 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12517] ppid=12508 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12510/task/12517/stat : 12517 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 9971 33554432000 4194304 4196468 140736753619008 139775261063952 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12518] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12518/stat : 12518 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 9971 33554432000 4194304 4196468 140736753619008 139775260011664 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12519] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12519/stat : 12519 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28904853504 9971 33554432000 4194304 4196468 140736753619008 139775258958864 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12520] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12520/stat : 12520 (java) S 12508 12508 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476538870 28904853504 9971 33554432000 4194304 4196468 140736753619008 139774312835184 139775714437762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12521] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12521/stat : 12521 (java) S 12508 12508 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476538871 28904853504 9971 33554432000 4194304 4196468 140736753619008 139774311781152 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12522] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12522/stat : 12522 (java) S 12508 12508 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476538871 28904853504 9971 33554432000 4194304 4196468 140736753619008 139774310728816 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12523] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12523/stat : 12523 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538873 28904853504 9971 33554432000 4194304 4196468 140736753619008 139774309677136 139775714445211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12524] ppid=12508 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12510/task/12524/stat : 12524 (java) S 12508 12508 6043 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 20 0 476538873 28904853504 9971 33554432000 4194304 4196468 140736753619008 139774308625008 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12525] ppid=12508 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12510/task/12525/stat : 12525 (java) S 12508 12508 6043 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 476538873 28904853504 9971 33554432000 4194304 4196468 140736753619008 139774307572208 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12526] ppid=12508 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/12510/task/12526/stat : 12526 (java) S 12508 12508 6043 0 -1 1077944384 311 0 0 0 2 0 0 0 20 0 20 0 476538873 28904853504 9971 33554432000 4194304 4196468 140736753619008 139774306519920 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12527] ppid=12508 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/12510/task/12527/stat : 12527 (java) R 12508 12508 6043 0 -1 4202560 855 0 0 0 7 0 0 0 20 0 20 0 476538873 28904853504 9971 33554432000 4194304 4196468 140736753619008 139774305467120 139775714438550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12528] ppid=12508 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12528/stat : 12528 (java) S 12508 12508 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476538874 28904853504 9971 33554432000 4194304 4196468 140736753619008 139774304414048 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12529] ppid=12508 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12510/task/12529/stat : 12529 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538874 28904853504 9971 33554432000 4194304 4196468 140736753619008 139774303361328 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41336 KiB [startup+0.310775 s]* /proc/loadavg: 7.03 7.78 8.05 3/216 12529 /proc/meminfo: memFree=24449996/32770624 swapFree=67001924/67108860 [pid=12508] ppid=12505 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 6043 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476538867 115843072 363 33554432000 4194304 5098028 140728889551616 140728889549720 140194769781372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20901888 140728889553752 140728889554010 140728889554010 140728889556934 0 /proc/12508/statm: 28282 363 305 221 0 87 0 [pid=12510] ppid=12508 vsize=28231652 memory=49140 CPUtime=0.52 cores=0-7 /proc/12510/stat : 12510 (java) S 12508 12508 6043 0 -1 1077944320 11098 0 0 0 48 4 0 0 20 0 20 0 476538867 28909211648 12285 33554432000 4194304 4196468 140736753619008 140736753601552 139775714426615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 /proc/12510/statm: 7057913 12285 3355 1 0 7019032 0 [pid=12510/tid=12511] ppid=12508 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/12510/task/12511/stat : 12511 (java) R 12508 12508 6043 0 -1 4202560 7842 0 0 0 27 3 0 0 20 0 20 0 476538868 28909211648 12285 33554432000 4194304 4196468 140736753619008 139775718657728 139775698507102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12512] ppid=12508 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12512/stat : 12512 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28909211648 12285 33554432000 4194304 4196468 140736753619008 139775266326928 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12513] ppid=12508 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12513/stat : 12513 (java) S 12508 12508 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476538869 28909211648 12285 33554432000 4194304 4196468 140736753619008 139775265274128 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12514] ppid=12508 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12514/stat : 12514 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538869 28909211648 12285 33554432000 4194304 4196468 140736753619008 139775264221840 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12515] ppid=12508 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12515/stat : 12515 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538869 28909211648 12285 33554432000 4194304 4196468 140736753619008 139775263169040 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12516] ppid=12508 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/12510/task/12516/stat : 12516 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28909211648 12285 33554432000 4194304 4196468 140736753619008 139775262116752 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12517] ppid=12508 vsize=28231652 memory=140082237502383 CPUtime=0 cores=0-7 /proc/12510/task/12517/stat : 12517 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538869 28909211648 12285 33554432000 4194304 4196468 140736753619008 139775261063952 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12518] ppid=12508 vsize=28231652 memory=140082237504688 CPUtime=0 cores=0-7 /proc/12510/task/12518/stat : 12518 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28909211648 12285 33554432000 4194304 4196468 140736753619008 139775260011664 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12519] ppid=12508 vsize=28231652 memory=140082237506992 CPUtime=0 cores=0-7 /proc/12510/task/12519/stat : 12519 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28909211648 12285 33554432000 4194304 4196468 140736753619008 139775258958864 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12520] ppid=12508 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12520/stat : 12520 (java) S 12508 12508 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476538870 28909211648 12285 33554432000 4194304 4196468 140736753619008 139774312835184 139775714437762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12521] ppid=12508 vsize=28231652 memory=280164475020944 CPUtime=0 cores=0-7 /proc/12510/task/12521/stat : 12521 (java) S 12508 12508 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476538871 28909211648 12285 33554432000 4194304 4196468 140736753619008 139774311781152 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12522] ppid=12508 vsize=28231652 memory=280164475027856 CPUtime=0 cores=0-7 /proc/12510/task/12522/stat : 12522 (java) S 12508 12508 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476538871 28909211648 12285 33554432000 4194304 4196468 140736753619008 139774310728816 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12523] ppid=12508 vsize=28231652 memory=280164474969136 CPUtime=0 cores=0-7 /proc/12510/task/12523/stat : 12523 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538873 28909211648 12285 33554432000 4194304 4196468 140736753619008 139774309677136 139775714445211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12524] ppid=12508 vsize=28231652 memory=280164475041680 CPUtime=0.01 cores=0-7 /proc/12510/task/12524/stat : 12524 (java) S 12508 12508 6043 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 20 0 476538873 28909211648 12285 33554432000 4194304 4196468 140736753619008 139774308625008 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12525] ppid=12508 vsize=28231652 memory=280164475048592 CPUtime=0.02 cores=0-7 /proc/12510/task/12525/stat : 12525 (java) S 12508 12508 6043 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 20 0 476538873 28909211648 12285 33554432000 4194304 4196468 140736753619008 139774307572208 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12526] ppid=12508 vsize=28231652 memory=280164475046288 CPUtime=0.04 cores=0-7 /proc/12510/task/12526/stat : 12526 (java) R 12508 12508 6043 0 -1 4202560 391 0 0 0 4 0 0 0 20 0 20 0 476538873 28909211648 12285 33554432000 4194304 4196468 140736753619008 139774306510032 139775700090917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12527] ppid=12508 vsize=28231652 memory=280164475062448 CPUtime=0.12 cores=0-7 /proc/12510/task/12527/stat : 12527 (java) S 12508 12508 6043 0 -1 1077944384 1007 0 0 0 12 0 0 0 20 0 20 0 476538873 28909211648 12329 33554432000 4194304 4196468 140736753619008 139774305467120 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12528] ppid=12508 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12528/stat : 12528 (java) S 12508 12508 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476538874 28909211648 12329 33554432000 4194304 4196468 140736753619008 139774304414048 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12529] ppid=12508 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/12510/task/12529/stat : 12529 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538874 28909211648 12329 33554432000 4194304 4196468 140736753619008 139774303361328 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50592 KiB [startup+0.701017 s] /proc/loadavg: 7.03 7.78 8.05 2/216 12529 /proc/meminfo: memFree=24436600/32770624 swapFree=67001924/67108860 [pid=12508] ppid=12505 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 6043 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476538867 115843072 363 33554432000 4194304 5098028 140728889551616 140728889549720 140194769781372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20901888 140728889553752 140728889554010 140728889554010 140728889556934 0 /proc/12508/statm: 28282 363 305 221 0 87 0 [pid=12510] ppid=12508 vsize=28233776 memory=88856 CPUtime=1.66 cores=0-7 /proc/12510/stat : 12510 (java) S 12508 12508 6043 0 -1 1077944320 16481 0 0 0 158 8 0 0 20 0 20 0 476538867 28911386624 22214 33554432000 4194304 4196468 140736753619008 140736753601552 139775714426615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 /proc/12510/statm: 7058444 22214 3457 1 0 7019544 0 [pid=12510/tid=12511] ppid=12508 vsize=28233776 memory=280164475420336 CPUtime=0.67 cores=0-7 /proc/12510/task/12511/stat : 12511 (java) R 12508 12508 6043 0 -1 4202560 9366 0 0 0 63 4 0 0 20 0 20 0 476538868 28911386624 22214 33554432000 4194304 4196468 140736753619008 139775718664640 139775714438550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12512] ppid=12508 vsize=28233776 memory=140082237711216 CPUtime=0 cores=0-7 /proc/12510/task/12512/stat : 12512 (java) S 12508 12508 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476538869 28911386624 22214 33554432000 4194304 4196468 140736753619008 139775266326928 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12513] ppid=12508 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12510/task/12513/stat : 12513 (java) S 12508 12508 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476538869 28911386624 22214 33554432000 4194304 4196468 140736753619008 139775265274128 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12514] ppid=12508 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/12510/task/12514/stat : 12514 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476538869 28911386624 22214 33554432000 4194304 4196468 140736753619008 139775264221840 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 ################ # More data... # ################ [pid=12510/tid=12527] ppid=12508 vsize=28834900 memory=784 CPUtime=0.7 cores=0-7 /proc/12510/task/12527/stat : 12527 (java) S 12508 12508 6043 0 -1 1077944384 4609 0 0 0 69 1 0 0 20 0 28 0 476538873 29526937600 40754 33554432000 4194304 4196468 140736753619008 139774305467120 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12528] ppid=12508 vsize=28834900 memory=8560 CPUtime=0 cores=0-7 /proc/12510/task/12528/stat : 12528 (java) S 12508 12508 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476538874 29526937600 40754 33554432000 4194304 4196468 140736753619008 139774304414048 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12529] ppid=12508 vsize=28834900 memory=1452 CPUtime=0 cores=0-7 /proc/12510/task/12529/stat : 12529 (java) S 12508 12508 6043 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 28 0 476538874 29526937600 40754 33554432000 4194304 4196468 140736753619008 139774303361328 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12682] ppid=12508 vsize=28834900 memory=0 CPUtime=11.81 cores=0-7 /proc/12510/task/12682/stat : 12682 (java) R 12508 12508 6043 0 -1 1077944384 237 0 0 0 1181 0 0 0 20 0 28 0 476539112 29526937600 40754 33554432000 4194304 4196468 140736753619008 139774290987856 139775714437762 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12683] ppid=12508 vsize=28834900 memory=0 CPUtime=11.81 cores=0-7 /proc/12510/task/12683/stat : 12683 (java) R 12508 12508 6043 0 -1 4202560 284 0 0 0 1181 0 0 0 20 0 28 0 476539112 29526937600 40754 33554432000 4194304 4196468 140736753619008 139774292041632 139775358190143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12684] ppid=12508 vsize=28834900 memory=0 CPUtime=11.87 cores=0-7 /proc/12510/task/12684/stat : 12684 (java) R 12508 12508 6043 0 -1 4202560 290 0 0 0 1187 0 0 0 20 0 28 0 476539112 29526937600 40754 33554432000 4194304 4196468 140736753619008 139774285725984 139775714438550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12685] ppid=12508 vsize=28834900 memory=0 CPUtime=11.76 cores=0-7 /proc/12510/task/12685/stat : 12685 (java) R 12508 12508 6043 0 -1 4202560 467 0 0 0 1176 0 0 0 20 0 28 0 476539112 29526937600 40754 33554432000 4194304 4196468 140736753619008 139774287831200 139775359815047 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12686] ppid=12508 vsize=28834900 memory=218 CPUtime=11.7 cores=0-7 /proc/12510/task/12686/stat : 12686 (java) R 12508 12508 6043 0 -1 4202560 402 0 0 0 1170 0 0 0 20 0 28 0 476539112 29526937600 40754 33554432000 4194304 4196468 140736753619008 139774289933512 139775714438550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12687] ppid=12508 vsize=28834900 memory=1 CPUtime=11.82 cores=0-7 /proc/12510/task/12687/stat : 12687 (java) R 12508 12508 6043 0 -1 4202560 580 0 0 0 1182 0 0 0 20 0 28 0 476539112 29526937600 40754 33554432000 4194304 4196468 140736753619008 139774293094816 139775358190143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12688] ppid=12508 vsize=28834900 memory=0 CPUtime=11.73 cores=0-7 /proc/12510/task/12688/stat : 12688 (java) R 12508 12508 6043 0 -1 4202560 263 0 0 0 1172 1 0 0 20 0 28 0 476539112 29526937600 40754 33554432000 4194304 4196468 140736753619008 139774286778144 139775714438550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12689] ppid=12508 vsize=28834900 memory=0 CPUtime=11.81 cores=0-7 /proc/12510/task/12689/stat : 12689 (java) R 12508 12508 6043 0 -1 4202560 497 0 0 0 1181 0 0 0 20 0 28 0 476539113 29526937600 40754 33554432000 4194304 4196468 140736753619008 139774294146720 139775714438550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 Current children cumulated CPU time: 109.84 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 164468 KiB [startup+14.8012 s] /proc/loadavg: 7.26 7.80 8.06 9/223 12691 /proc/meminfo: memFree=24331120/32770624 swapFree=67001924/67108860 [pid=12508] ppid=12505 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 6043 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476538867 115843072 363 33554432000 4194304 5098028 140728889551616 140728889549720 140194769781372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20901888 140728889553752 140728889554010 140728889554010 140728889556934 0 /proc/12508/statm: 28282 363 305 221 0 87 0 [pid=12510] ppid=12508 vsize=28834900 memory=160452 CPUtime=112.95 cores=0-7 /proc/12510/stat : 12510 (java) S 12508 12508 6043 0 -1 1077944320 39255 0 0 0 11269 26 0 0 20 0 28 0 476538867 29526937600 40113 33554432000 4194304 4196468 140736753619008 140736753601552 139775714426615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 /proc/12510/statm: 7208725 40113 3527 1 0 7169825 0 [pid=12510/tid=12511] ppid=12508 vsize=28834900 memory=1428 CPUtime=0.73 cores=0-7 /proc/12510/task/12511/stat : 12511 (java) S 12508 12508 6043 0 -1 1077944384 9476 0 0 0 69 4 0 0 20 0 28 0 476538868 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775718667392 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12512] ppid=12508 vsize=28834900 memory=1716 CPUtime=0.03 cores=0-7 /proc/12510/task/12512/stat : 12512 (java) S 12508 12508 6043 0 -1 1077944384 140 0 0 0 3 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775266326928 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12513] ppid=12508 vsize=28834900 memory=1452 CPUtime=0.02 cores=0-7 /proc/12510/task/12513/stat : 12513 (java) S 12508 12508 6043 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775265274128 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12514] ppid=12508 vsize=28834900 memory=164556 CPUtime=0.02 cores=0-7 /proc/12510/task/12514/stat : 12514 (java) S 12508 12508 6043 0 -1 1077944384 1195 0 0 0 2 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775264221840 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12515] ppid=12508 vsize=28834900 memory=108963320324888 CPUtime=0.02 cores=0-7 /proc/12510/task/12515/stat : 12515 (java) S 12508 12508 6043 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775263169040 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12516] ppid=12508 vsize=28834900 memory=7666346407085043554 CPUtime=0.03 cores=0-7 /proc/12510/task/12516/stat : 12516 (java) S 12508 12508 6043 0 -1 1077944384 120 0 0 0 3 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775262116752 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12517] ppid=12508 vsize=28834900 memory=8026094465090350949 CPUtime=0.03 cores=0-7 /proc/12510/task/12517/stat : 12517 (java) S 12508 12508 6043 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775261063952 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12518] ppid=12508 vsize=28834900 memory=8026094465090350949 CPUtime=0.03 cores=0-7 /proc/12510/task/12518/stat : 12518 (java) S 12508 12508 6043 0 -1 1077944384 193 0 0 0 3 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775260011664 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12519] ppid=12508 vsize=28834900 memory=7091590881369613679 CPUtime=0.02 cores=0-7 /proc/12510/task/12519/stat : 12519 (java) S 12508 12508 6043 0 -1 1077944384 538 0 0 0 2 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775258958864 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12520] ppid=12508 vsize=28834900 memory=7523107478184158290 CPUtime=0.02 cores=0-7 /proc/12510/task/12520/stat : 12520 (java) S 12508 12508 6043 0 -1 1077944384 991 0 0 0 2 0 0 0 20 0 28 0 476538870 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774312835184 139775714437762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12521] ppid=12508 vsize=28834900 memory=7518310240099592295 CPUtime=0 cores=0-7 /proc/12510/task/12521/stat : 12521 (java) S 12508 12508 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476538871 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774311781152 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12522] ppid=12508 vsize=28834900 memory=7380385388137112419 CPUtime=0 cores=0-7 /proc/12510/task/12522/stat : 12522 (java) S 12508 12508 6043 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 476538871 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774310728816 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12523] ppid=12508 vsize=28834900 memory=4639930699739655272 CPUtime=0 cores=0-7 /proc/12510/task/12523/stat : 12523 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476538873 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774309677136 139775714445211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12524] ppid=12508 vsize=28834900 memory=0 CPUtime=0.97 cores=0-7 /proc/12510/task/12524/stat : 12524 (java) S 12508 12508 6043 0 -1 1077944384 3492 0 0 0 96 1 0 0 20 0 28 0 476538873 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774308625008 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12525] ppid=12508 vsize=28834900 memory=2 CPUtime=1.07 cores=0-7 /proc/12510/task/12525/stat : 12525 (java) S 12508 12508 6043 0 -1 1077944384 2580 0 0 0 106 1 0 0 20 0 28 0 476538873 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774307572208 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12526] ppid=12508 vsize=28834900 memory=288370681728383512 CPUtime=1.24 cores=0-7 /proc/12510/task/12526/stat : 12526 (java) S 12508 12508 6043 0 -1 1077944384 7213 0 0 0 123 1 0 0 20 0 28 0 476538873 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774306519920 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12527] ppid=12508 vsize=28834900 memory=4832 CPUtime=0.7 cores=0-7 /proc/12510/task/12527/stat : 12527 (java) S 12508 12508 6043 0 -1 1077944384 4609 0 0 0 69 1 0 0 20 0 28 0 476538873 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774305467120 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12528] ppid=12508 vsize=28834900 memory=4112 CPUtime=0 cores=0-7 /proc/12510/task/12528/stat : 12528 (java) S 12508 12508 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476538874 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774304414048 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12529] ppid=12508 vsize=28834900 memory=1412 CPUtime=0 cores=0-7 /proc/12510/task/12529/stat : 12529 (java) S 12508 12508 6043 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 28 0 476538874 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774303361328 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12682] ppid=12508 vsize=28834900 memory=3016 CPUtime=12.18 cores=0-7 /proc/12510/task/12682/stat : 12682 (java) R 12508 12508 6043 0 -1 4202560 237 0 0 0 1218 0 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774290987856 139775357926325 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12683] ppid=12508 vsize=28834900 memory=1452 CPUtime=12.21 cores=0-7 /proc/12510/task/12683/stat : 12683 (java) R 12508 12508 6043 0 -1 4202560 284 0 0 0 1221 0 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774292037936 139775355522624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12684] ppid=12508 vsize=28834900 memory=176848 CPUtime=12.26 cores=0-7 /proc/12510/task/12684/stat : 12684 (java) R 12508 12508 6043 0 -1 4202560 290 0 0 0 1226 0 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774285725880 139775355522624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12685] ppid=12508 vsize=28834900 memory=6791534058613427641 CPUtime=12.15 cores=0-7 /proc/12510/task/12685/stat : 12685 (java) R 12508 12508 6043 0 -1 4202560 468 0 0 0 1215 0 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774287827648 139775357924760 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12686] ppid=12508 vsize=28834900 memory=0 CPUtime=12.09 cores=0-7 /proc/12510/task/12686/stat : 12686 (java) R 12508 12508 6043 0 -1 4202560 402 0 0 0 1209 0 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774289934864 139775357922864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12687] ppid=12508 vsize=28834900 memory=0 CPUtime=12.21 cores=0-7 /proc/12510/task/12687/stat : 12687 (java) R 12508 12508 6043 0 -1 4202560 580 0 0 0 1221 0 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774293094872 139775357924389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12688] ppid=12508 vsize=28834900 memory=0 CPUtime=12.12 cores=0-7 /proc/12510/task/12688/stat : 12688 (java) R 12508 12508 6043 0 -1 4202560 263 0 0 0 1211 1 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774286778040 139775355522624 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12689] ppid=12508 vsize=28834900 memory=0 CPUtime=12.19 cores=0-7 /proc/12510/task/12689/stat : 12689 (java) R 12508 12508 6043 0 -1 4202560 502 0 0 0 1219 0 0 0 20 0 28 0 476539113 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774294146480 139775353324751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 Current children cumulated CPU time: 112.95 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 161904 KiB [startup+14.9015 s] /proc/loadavg: 7.26 7.80 8.06 9/223 12691 /proc/meminfo: memFree=24331120/32770624 swapFree=67001924/67108860 [pid=12508] ppid=12505 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12508/stat : 12508 (xcsp3-exec) S 12505 12508 6043 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476538867 115843072 363 33554432000 4194304 5098028 140728889551616 140728889549720 140194769781372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20901888 140728889553752 140728889554010 140728889554010 140728889556934 0 /proc/12508/statm: 28282 363 305 221 0 87 0 [pid=12510] ppid=12508 vsize=28834900 memory=160452 CPUtime=113.75 cores=0-7 /proc/12510/stat : 12510 (java) S 12508 12508 6043 0 -1 1077944320 39255 0 0 0 11349 26 0 0 20 0 28 0 476538867 29526937600 40113 33554432000 4194304 4196468 140736753619008 140736753601552 139775714426615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 /proc/12510/statm: 7208725 40113 3527 1 0 7169825 0 [pid=12510/tid=12511] ppid=12508 vsize=28834900 memory=3276 CPUtime=0.73 cores=0-7 /proc/12510/task/12511/stat : 12511 (java) S 12508 12508 6043 0 -1 1077944384 9476 0 0 0 69 4 0 0 20 0 28 0 476538868 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775718667392 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12512] ppid=12508 vsize=28834900 memory=54852 CPUtime=0.03 cores=0-7 /proc/12510/task/12512/stat : 12512 (java) S 12508 12508 6043 0 -1 1077944384 140 0 0 0 3 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775266326928 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12513] ppid=12508 vsize=28834900 memory=1452 CPUtime=0.02 cores=0-7 /proc/12510/task/12513/stat : 12513 (java) S 12508 12508 6043 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775265274128 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12514] ppid=12508 vsize=28834900 memory=163016 CPUtime=0.02 cores=0-7 /proc/12510/task/12514/stat : 12514 (java) S 12508 12508 6043 0 -1 1077944384 1195 0 0 0 2 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775264221840 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12515] ppid=12508 vsize=28834900 memory=1452 CPUtime=0.02 cores=0-7 /proc/12510/task/12515/stat : 12515 (java) S 12508 12508 6043 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775263169040 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12516] ppid=12508 vsize=28834900 memory=164556 CPUtime=0.03 cores=0-7 /proc/12510/task/12516/stat : 12516 (java) S 12508 12508 6043 0 -1 1077944384 120 0 0 0 3 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775262116752 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12517] ppid=12508 vsize=28834900 memory=2 CPUtime=0.03 cores=0-7 /proc/12510/task/12517/stat : 12517 (java) S 12508 12508 6043 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775261063952 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12518] ppid=12508 vsize=28834900 memory=2 CPUtime=0.03 cores=0-7 /proc/12510/task/12518/stat : 12518 (java) S 12508 12508 6043 0 -1 1077944384 193 0 0 0 3 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775260011664 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12519] ppid=12508 vsize=28834900 memory=3 CPUtime=0.02 cores=0-7 /proc/12510/task/12519/stat : 12519 (java) S 12508 12508 6043 0 -1 1077944384 538 0 0 0 2 0 0 0 20 0 28 0 476538869 29526937600 40113 33554432000 4194304 4196468 140736753619008 139775258958864 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12520] ppid=12508 vsize=28834900 memory=1428 CPUtime=0.02 cores=0-7 /proc/12510/task/12520/stat : 12520 (java) S 12508 12508 6043 0 -1 1077944384 991 0 0 0 2 0 0 0 20 0 28 0 476538870 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774312835184 139775714437762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12521] ppid=12508 vsize=28834900 memory=1716 CPUtime=0 cores=0-7 /proc/12510/task/12521/stat : 12521 (java) S 12508 12508 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476538871 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774311781152 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12522] ppid=12508 vsize=28834900 memory=784 CPUtime=0 cores=0-7 /proc/12510/task/12522/stat : 12522 (java) S 12508 12508 6043 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 476538871 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774310728816 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12523] ppid=12508 vsize=28834900 memory=8560 CPUtime=0 cores=0-7 /proc/12510/task/12523/stat : 12523 (java) S 12508 12508 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476538873 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774309677136 139775714445211 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12524] ppid=12508 vsize=28834900 memory=6791534058613427641 CPUtime=0.97 cores=0-7 /proc/12510/task/12524/stat : 12524 (java) S 12508 12508 6043 0 -1 1077944384 3492 0 0 0 96 1 0 0 20 0 28 0 476538873 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774308625008 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12525] ppid=12508 vsize=28834900 memory=140082237620576 CPUtime=1.07 cores=0-7 /proc/12510/task/12525/stat : 12525 (java) S 12508 12508 6043 0 -1 1077944384 2580 0 0 0 106 1 0 0 20 0 28 0 476538873 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774307572208 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12526] ppid=12508 vsize=28834900 memory=0 CPUtime=1.24 cores=0-7 /proc/12510/task/12526/stat : 12526 (java) S 12508 12508 6043 0 -1 1077944384 7213 0 0 0 123 1 0 0 20 0 28 0 476538873 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774306519920 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12527] ppid=12508 vsize=28834900 memory=0 CPUtime=0.7 cores=0-7 /proc/12510/task/12527/stat : 12527 (java) S 12508 12508 6043 0 -1 1077944384 4609 0 0 0 69 1 0 0 20 0 28 0 476538873 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774305467120 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12528] ppid=12508 vsize=28834900 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/12510/task/12528/stat : 12528 (java) S 12508 12508 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476538874 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774304414048 139775714436821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12529] ppid=12508 vsize=28834900 memory=3 CPUtime=0 cores=0-7 /proc/12510/task/12529/stat : 12529 (java) S 12508 12508 6043 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 28 0 476538874 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774303361328 139775714437762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12682] ppid=12508 vsize=28834900 memory=95 CPUtime=12.28 cores=0-7 /proc/12510/task/12682/stat : 12682 (java) R 12508 12508 6043 0 -1 4202560 237 0 0 0 1228 0 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774290987856 139775357925772 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12683] ppid=12508 vsize=28834900 memory=0 CPUtime=12.31 cores=0-7 /proc/12510/task/12683/stat : 12683 (java) R 12508 12508 6043 0 -1 4202560 284 0 0 0 1231 0 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774292037936 139775359668334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12684] ppid=12508 vsize=28834900 memory=6791534058613427641 CPUtime=12.36 cores=0-7 /proc/12510/task/12684/stat : 12684 (java) R 12508 12508 6043 0 -1 4202560 290 0 0 0 1236 0 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774285725880 139775357926038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12685] ppid=12508 vsize=28834900 memory=140082237877260 CPUtime=12.25 cores=0-7 /proc/12510/task/12685/stat : 12685 (java) R 12508 12508 6043 0 -1 4202560 468 0 0 0 1225 0 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774287827648 139775355522590 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12686] ppid=12508 vsize=28834900 memory=2376 CPUtime=12.19 cores=0-7 /proc/12510/task/12686/stat : 12686 (java) R 12508 12508 6043 0 -1 4202560 402 0 0 0 1219 0 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774289934752 139775357922927 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12687] ppid=12508 vsize=28834900 memory=1768 CPUtime=12.31 cores=0-7 /proc/12510/task/12687/stat : 12687 (java) R 12508 12508 6043 0 -1 4202560 580 0 0 0 1231 0 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774293094872 139775357684544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12688] ppid=12508 vsize=28834900 memory=280164475943824 CPUtime=12.22 cores=0-7 /proc/12510/task/12688/stat : 12688 (java) R 12508 12508 6043 0 -1 4202560 263 0 0 0 1221 1 0 0 20 0 28 0 476539112 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774286778040 139775359816406 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 [pid=12510/tid=12689] ppid=12508 vsize=28834900 memory=7681421203011431829 CPUtime=12.29 cores=0-7 /proc/12510/task/12689/stat : 12689 (java) R 12508 12508 6043 0 -1 4202560 502 0 0 0 1229 0 0 0 20 0 28 0 476539113 29526937600 40113 33554432000 4194304 4196468 140736753619008 139774294146480 139775355524076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140736753628124 140736753628299 140736753628299 140736753631183 0 Current children cumulated CPU time: 113.75 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 161904 KiB Child status: 0 Real time (s): 14.9269 CPU time (s): 113.897 CPU user time (s): 113.626 CPU system time (s): 0.271464 CPU usage (%): 763.033 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 214432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 113.626 system time used= 0.271464 maximum resident set size= 215640 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40714 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6786 involuntary context switches= 1696 # summary of solver processes directly reported to runsolver: # pid: 12508 # total CPU time (s): 113.897 # total CPU user time (s): 113.626 # total CPU system time (s): 0.271464 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.166543 second user time and 0.198926 second system time The end
Begin job on node133 at 2019-09-20 20:09:13 IDJOB=4404922 IDBENCH=115938 IDSOLVER=2866 FILE ID=node133/4404922-1569002993 RUNJOBID= node133-1568994386-6070 PBS_JOBID= 21704723 Free space on /var/tmp= 13488 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-04-14.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-4404922-1569002993/watcher-4404922-1569002993 -o /var/tmp/evaluation-result-4404922-1569002993/solver-4404922-1569002993 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 239574738 HOME/instance-4404922-1569002993.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 19ed80590beafaab4553f21dc50e09e4 RANDOM SEED=239574738 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: 24482460 kB MemAvailable: 31848216 kB Buffers: 89292 kB Cached: 7336368 kB SwapCached: 5360 kB Active: 3658876 kB Inactive: 3773232 kB Active(anon): 3880 kB Inactive(anon): 49308 kB Active(file): 3654996 kB Inactive(file): 3723924 kB Unevictable: 111416 kB Mlocked: 111416 kB SwapTotal: 67108860 kB SwapFree: 67001924 kB Dirty: 26136 kB Writeback: 0 kB AnonPages: 192204 kB Mapped: 50940 kB Shmem: 37760 kB Slab: 444368 kB SReclaimable: 415296 kB SUnreclaim: 29072 kB KernelStack: 3952 kB PageTables: 5488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 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-20 20:09:28