Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 5 | 86.1965 | 11.5343 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-myciel5.xml |
MD5SUM | a954d880863fe6e02d270e9cafb0ae96 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 19.5376 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 47 |
Number of constraints | 236 |
Number of domains | 1 |
Minimum domain size | 47 |
Maximum domain size | 47 |
Distribution of domain sizes | [{"size":47,"count":47}] |
Minimum variable degree | 6 |
Maximum variable degree | 24 |
Distribution of variable degrees | [{"degree":6,"count":5},{"degree":7,"count":5},{"degree":8,"count":6},{"degree":9,"count":5},{"degree":10,"count":5},{"degree":11,"count":5},{"degree":12,"count":1},{"degree":13,"count":7},{"degree":17,"count":5},{"degree":21,"count":1},{"degree":23,"count":1},{"degree":24,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":236}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 236 |
Distribution of constraint types | [{"type":"intension","count":236}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407002-1569344077.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4407002-1569344077.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.97/0.84 c solve instance... 1.97/0.87 o 5 86.00/11.52 s OPTIMUM FOUND 86.00/11.52 v <instantiation> 86.00/11.52 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] </list> 86.00/11.52 v <values>0 1 0 1 2 0 1 0 1 2 3 0 1 0 1 2 0 1 0 1 2 3 4 0 1 0 1 2 0 1 0 1 2 3 0 1 0 1 2 0 1 0 1 2 3 4 5 </values> 86.00/11.52 v </instantiation>
OK 5
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 (13086 MiB free) memory of node 1: 16384 MiB (11559 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407002-1569344077/watcher-4407002-1569344077 -o /tmp/evaluation-result-4407002-1569344077/solver-4407002-1569344077 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569335936-736 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1435980845 HOME/instance-4407002-1569344077.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=1894, runsolver pid=1891 [startup+0.100141 s]* /proc/loadavg: 7.04 7.54 7.00 4/212 1915 /proc/meminfo: memFree=25220364/32770624 swapFree=66936688/67108860 [pid=1894] ppid=1891 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1894/stat : 1894 (xcsp3-exec) S 1891 1894 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510345563 115843072 363 33554432000 4194304 5098028 140724431204192 140724431202296 140224881271420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21057536 140724431213429 140724431213673 140724431213673 140724431216586 0 /proc/1894/statm: 28282 363 304 221 0 87 0 [pid=1896] ppid=1894 vsize=28227396 memory=30180 CPUtime=0.11 cores=0-7 /proc/1896/stat : 1896 (java) S 1894 1894 709 0 -1 1077944320 5952 0 0 0 10 1 0 0 20 0 20 0 510345563 28904853504 7545 33554432000 4194304 4196468 140731356269968 140731356252512 140574895324919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 /proc/1896/statm: 7056849 7545 3157 1 0 7019032 0 [pid=1896/tid=1897] ppid=1894 vsize=28227396 memory=-7738186328455407478 CPUtime=0.09 cores=0-7 /proc/1896/task/1897/stat : 1897 (java) R 1894 1894 709 0 -1 4202560 3862 0 0 0 8 1 0 0 20 0 20 0 510345563 28904853504 7545 33554432000 4194304 4196468 140731356269968 140574899558192 140574895336854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1898] ppid=1894 vsize=28227396 memory=4277417616405548217 CPUtime=0 cores=0-7 /proc/1896/task/1898/stat : 1898 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 7545 33554432000 4194304 4196468 140731356269968 140574847945872 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1899] ppid=1894 vsize=28227396 memory=139677092574848 CPUtime=0 cores=0-7 /proc/1896/task/1899/stat : 1899 (java) S 1894 1894 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 7545 33554432000 4194304 4196468 140731356269968 140574846893072 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1900] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1900/stat : 1900 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 7545 33554432000 4194304 4196468 140731356269968 140574845840272 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1901] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1901/stat : 1901 (java) S 1894 1894 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 7545 33554432000 4194304 4196468 140731356269968 140574844787472 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1902] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1902/stat : 1902 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 7545 33554432000 4194304 4196468 140731356269968 140574843734672 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1903] ppid=1894 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1896/task/1903/stat : 1903 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 7545 33554432000 4194304 4196468 140731356269968 140574842681872 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1904] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1904/stat : 1904 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 7545 33554432000 4194304 4196468 140731356269968 140574841629072 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1905] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1905/stat : 1905 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 7545 33554432000 4194304 4196468 140731356269968 140574840576272 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1906] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1906/stat : 1906 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345565 28904853504 7545 33554432000 4194304 4196468 140731356269968 140573609986928 140574895336066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1907] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1907/stat : 1907 (java) S 1894 1894 709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510345566 28904853504 7545 33554432000 4194304 4196468 140731356269968 140573223806496 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1908] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1908/stat : 1908 (java) S 1894 1894 709 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 510345566 28904853504 7545 33554432000 4194304 4196468 140731356269968 140573222753648 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1909] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1909/stat : 1909 (java) S 1894 1894 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510345569 28904853504 7545 33554432000 4194304 4196468 140731356269968 140573221701968 140574895343515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1910] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1910/stat : 1910 (java) S 1894 1894 709 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 510345569 28904853504 7545 33554432000 4194304 4196468 140731356269968 140573220649328 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1911] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1911/stat : 1911 (java) S 1894 1894 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510345569 28904853504 7545 33554432000 4194304 4196468 140731356269968 140573219596528 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1912] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1912/stat : 1912 (java) S 1894 1894 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510345569 28904853504 7545 33554432000 4194304 4196468 140731356269968 140573218543728 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1913] ppid=1894 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1896/task/1913/stat : 1913 (java) R 1894 1894 709 0 -1 4202560 357 0 0 0 1 0 0 0 20 0 20 0 510345569 28904853504 7545 33554432000 4194304 4196468 140731356269968 140573217490928 140574873693616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1914] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1914/stat : 1914 (java) S 1894 1894 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510345569 28904853504 7545 33554432000 4194304 4196468 140731356269968 140573216439392 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1915] ppid=1894 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1896/task/1915/stat : 1915 (java) S 1894 1894 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510345569 28904853504 7545 33554432000 4194304 4196468 140731356269968 140573215386672 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31632 KiB [startup+0.210163 s]* /proc/loadavg: 7.04 7.54 7.00 2/212 1915 /proc/meminfo: memFree=25207720/32770624 swapFree=66936688/67108860 [pid=1894] ppid=1891 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1894/stat : 1894 (xcsp3-exec) S 1891 1894 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510345563 115843072 363 33554432000 4194304 5098028 140724431204192 140724431202296 140224881271420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21057536 140724431213429 140724431213673 140724431213673 140724431216586 0 /proc/1894/statm: 28282 363 304 221 0 87 0 [pid=1896] ppid=1894 vsize=28227396 memory=41128 CPUtime=0.33 cores=0-7 /proc/1896/stat : 1896 (java) S 1894 1894 709 0 -1 1077944320 9502 0 0 0 30 3 0 0 20 0 20 0 510345563 28904853504 10282 33554432000 4194304 4196468 140731356269968 140731356252512 140574895324919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 /proc/1896/statm: 7056849 10282 3298 1 0 7019032 0 [pid=1896/tid=1897] ppid=1894 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7 /proc/1896/task/1897/stat : 1897 (java) R 1894 1894 709 0 -1 4202560 6685 0 0 0 17 2 0 0 20 0 20 0 510345563 28904853504 10282 33554432000 4194304 4196468 140731356269968 140574899554640 140574879405406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1898] ppid=1894 vsize=28227396 memory=4277417616405548217 CPUtime=0 cores=0-7 /proc/1896/task/1898/stat : 1898 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 10282 33554432000 4194304 4196468 140731356269968 140574847945872 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1899] ppid=1894 vsize=28227396 memory=139677092574848 CPUtime=0 cores=0-7 /proc/1896/task/1899/stat : 1899 (java) S 1894 1894 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 10282 33554432000 4194304 4196468 140731356269968 140574846893072 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1900] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1900/stat : 1900 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 10282 33554432000 4194304 4196468 140731356269968 140574845840272 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1901] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1901/stat : 1901 (java) S 1894 1894 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 10282 33554432000 4194304 4196468 140731356269968 140574844787472 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1902] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1902/stat : 1902 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 10282 33554432000 4194304 4196468 140731356269968 140574843734672 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1903] ppid=1894 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1896/task/1903/stat : 1903 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 10282 33554432000 4194304 4196468 140731356269968 140574842681872 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1904] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1904/stat : 1904 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 10282 33554432000 4194304 4196468 140731356269968 140574841629072 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1905] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1905/stat : 1905 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28904853504 10282 33554432000 4194304 4196468 140731356269968 140574840576272 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1906] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1906/stat : 1906 (java) S 1894 1894 709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510345565 28904853504 10282 33554432000 4194304 4196468 140731356269968 140573609986928 140574895336066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1907] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1907/stat : 1907 (java) S 1894 1894 709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510345566 28904853504 10282 33554432000 4194304 4196468 140731356269968 140573223806496 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1908] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1908/stat : 1908 (java) S 1894 1894 709 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 510345566 28904853504 10282 33554432000 4194304 4196468 140731356269968 140573222753648 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1909] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1909/stat : 1909 (java) S 1894 1894 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510345569 28904853504 10282 33554432000 4194304 4196468 140731356269968 140573221701968 140574895343515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1910] ppid=1894 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1896/task/1910/stat : 1910 (java) R 1894 1894 709 0 -1 1077944384 611 0 0 0 1 0 0 0 20 0 20 0 510345569 28904853504 10282 33554432000 4194304 4196468 140731356269968 140573220649328 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1911] ppid=1894 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1896/task/1911/stat : 1911 (java) S 1894 1894 709 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 510345569 28904853504 10282 33554432000 4194304 4196468 140731356269968 140573219596528 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1912] ppid=1894 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/1896/task/1912/stat : 1912 (java) S 1894 1894 709 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 510345569 28904853504 10282 33554432000 4194304 4196468 140731356269968 140573218543728 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1913] ppid=1894 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/1896/task/1913/stat : 1913 (java) R 1894 1894 709 0 -1 4202560 761 0 0 0 7 0 0 0 20 0 20 0 510345569 28904853504 10282 33554432000 4194304 4196468 140731356269968 140573217490928 140574895336854 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1914] ppid=1894 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1914/stat : 1914 (java) S 1894 1894 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510345569 28904853504 10282 33554432000 4194304 4196468 140731356269968 140573216439392 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1915] ppid=1894 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1896/task/1915/stat : 1915 (java) S 1894 1894 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510345569 28904853504 10282 33554432000 4194304 4196468 140731356269968 140573215386672 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42580 KiB [startup+0.309539 s]* /proc/loadavg: 7.04 7.54 7.00 3/212 1915 /proc/meminfo: memFree=25202744/32770624 swapFree=66936688/67108860 [pid=1894] ppid=1891 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1894/stat : 1894 (xcsp3-exec) S 1891 1894 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510345563 115843072 363 33554432000 4194304 5098028 140724431204192 140724431202296 140224881271420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21057536 140724431213429 140724431213673 140724431213673 140724431216586 0 /proc/1894/statm: 28282 363 304 221 0 87 0 [pid=1896] ppid=1894 vsize=28231652 memory=49260 CPUtime=0.52 cores=0-7 /proc/1896/stat : 1896 (java) S 1894 1894 709 0 -1 1077944320 10721 0 0 0 48 4 0 0 20 0 20 0 510345563 28909211648 12315 33554432000 4194304 4196468 140731356269968 140731356252512 140574895324919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 /proc/1896/statm: 7057913 12315 3330 1 0 7019032 0 [pid=1896/tid=1897] ppid=1894 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/1896/task/1897/stat : 1897 (java) R 1894 1894 709 0 -1 4202560 7749 0 0 0 27 3 0 0 20 0 20 0 510345563 28909211648 12413 33554432000 4194304 4196468 140731356269968 140574899556032 140574879405406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1898] ppid=1894 vsize=28231652 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/1896/task/1898/stat : 1898 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28909211648 12413 33554432000 4194304 4196468 140731356269968 140574847945872 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1899] ppid=1894 vsize=28231652 memory=1560 CPUtime=0 cores=0-7 /proc/1896/task/1899/stat : 1899 (java) S 1894 1894 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510345564 28909211648 12413 33554432000 4194304 4196468 140731356269968 140574846893072 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1900] ppid=1894 vsize=28231652 memory=1172 CPUtime=0 cores=0-7 /proc/1896/task/1900/stat : 1900 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28909211648 12413 33554432000 4194304 4196468 140731356269968 140574845840272 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1901] ppid=1894 vsize=28231652 memory=14008 CPUtime=0 cores=0-7 /proc/1896/task/1901/stat : 1901 (java) S 1894 1894 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510345564 28909211648 12413 33554432000 4194304 4196468 140731356269968 140574844787472 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1902] ppid=1894 vsize=28231652 memory=1804 CPUtime=0 cores=0-7 /proc/1896/task/1902/stat : 1902 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28909211648 12413 33554432000 4194304 4196468 140731356269968 140574843734672 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1903] ppid=1894 vsize=28231652 memory=916 CPUtime=0 cores=0-7 /proc/1896/task/1903/stat : 1903 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28909211648 12413 33554432000 4194304 4196468 140731356269968 140574842681872 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1904] ppid=1894 vsize=28231652 memory=4428 CPUtime=0 cores=0-7 /proc/1896/task/1904/stat : 1904 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28909211648 12413 33554432000 4194304 4196468 140731356269968 140574841629072 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1905] ppid=1894 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1905/stat : 1905 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28909211648 12413 33554432000 4194304 4196468 140731356269968 140574840576272 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1906] ppid=1894 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1906/stat : 1906 (java) S 1894 1894 709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510345565 28909211648 12413 33554432000 4194304 4196468 140731356269968 140573609986928 140574895336066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1907] ppid=1894 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1907/stat : 1907 (java) S 1894 1894 709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510345566 28909211648 12413 33554432000 4194304 4196468 140731356269968 140573223806496 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1908] ppid=1894 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1908/stat : 1908 (java) S 1894 1894 709 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 510345566 28909211648 12413 33554432000 4194304 4196468 140731356269968 140573222753648 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1909] ppid=1894 vsize=28231652 memory=67 CPUtime=0 cores=0-7 /proc/1896/task/1909/stat : 1909 (java) S 1894 1894 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510345569 28909211648 12413 33554432000 4194304 4196468 140731356269968 140573221701968 140574895343515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1910] ppid=1894 vsize=28231652 memory=48900 CPUtime=0.02 cores=0-7 /proc/1896/task/1910/stat : 1910 (java) R 1894 1894 709 0 -1 4202560 709 0 0 0 2 0 0 0 20 0 20 0 510345569 28909211648 12413 33554432000 4194304 4196468 140731356269968 140573220639440 140574876025216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1911] ppid=1894 vsize=28231652 memory=51204 CPUtime=0.02 cores=0-7 /proc/1896/task/1911/stat : 1911 (java) S 1894 1894 709 0 -1 1077944384 54 0 0 0 2 0 0 0 20 0 20 0 510345569 28909211648 12413 33554432000 4194304 4196468 140731356269968 140573219596528 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1912] ppid=1894 vsize=28231652 memory=53508 CPUtime=0.03 cores=0-7 /proc/1896/task/1912/stat : 1912 (java) S 1894 1894 709 0 -1 1077944384 116 0 0 0 3 0 0 0 20 0 20 0 510345569 28909211648 12413 33554432000 4194304 4196468 140731356269968 140573218543728 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1913] ppid=1894 vsize=28231652 memory=55812 CPUtime=0.12 cores=0-7 /proc/1896/task/1913/stat : 1913 (java) S 1894 1894 709 0 -1 1077944384 870 0 0 0 12 0 0 0 20 0 20 0 510345569 28909211648 12413 33554432000 4194304 4196468 140731356269968 140573217490928 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1914] ppid=1894 vsize=28231652 memory=110297088 CPUtime=0 cores=0-7 /proc/1896/task/1914/stat : 1914 (java) S 1894 1894 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510345569 28909211648 12413 33554432000 4194304 4196468 140731356269968 140573216439392 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1915] ppid=1894 vsize=28231652 memory=115843071 CPUtime=0 cores=0-7 /proc/1896/task/1915/stat : 1915 (java) S 1894 1894 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510345569 28909211648 12413 33554432000 4194304 4196468 140731356269968 140573215386672 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50712 KiB [startup+0.700896 s] /proc/loadavg: 7.04 7.54 7.00 5/212 1915 /proc/meminfo: memFree=25185132/32770624 swapFree=66936688/67108860 [pid=1894] ppid=1891 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1894/stat : 1894 (xcsp3-exec) S 1891 1894 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510345563 115843072 363 33554432000 4194304 5098028 140724431204192 140724431202296 140224881271420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21057536 140724431213429 140724431213673 140724431213673 140724431216586 0 /proc/1894/statm: 28282 363 304 221 0 87 0 [pid=1896] ppid=1894 vsize=28233776 memory=85060 CPUtime=1.6 cores=0-7 /proc/1896/stat : 1896 (java) S 1894 1894 709 0 -1 1077944320 14969 0 0 0 153 7 0 0 20 0 20 0 510345563 28911386624 21265 33554432000 4194304 4196468 140731356269968 140731356252512 140574895324919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 /proc/1896/statm: 7058444 21265 3453 1 0 7019544 0 [pid=1896/tid=1897] ppid=1894 vsize=28233776 memory=1560 CPUtime=0.68 cores=0-7 /proc/1896/task/1897/stat : 1897 (java) R 1894 1894 709 0 -1 4202560 9270 0 0 0 64 4 0 0 20 0 20 0 510345563 28911386624 21265 33554432000 4194304 4196468 140731356269968 140574899561728 140574500316355 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1898] ppid=1894 vsize=28233776 memory=1172 CPUtime=0 cores=0-7 /proc/1896/task/1898/stat : 1898 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28911386624 21265 33554432000 4194304 4196468 140731356269968 140574847945872 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1899] ppid=1894 vsize=28233776 memory=14008 CPUtime=0 cores=0-7 /proc/1896/task/1899/stat : 1899 (java) S 1894 1894 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510345564 28911386624 21265 33554432000 4194304 4196468 140731356269968 140574846893072 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1900] ppid=1894 vsize=28233776 memory=1804 CPUtime=0 cores=0-7 /proc/1896/task/1900/stat : 1900 (java) S 1894 1894 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510345564 28911386624 21265 33554432000 4194304 4196468 140731356269968 140574845840272 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 ################ # More data... # ################ [pid=1896/tid=1913] ppid=1894 vsize=28768336 memory=780 CPUtime=0.67 cores=0-7 /proc/1896/task/1913/stat : 1913 (java) S 1894 1894 709 0 -1 1077944384 3434 0 0 0 67 0 0 0 20 0 28 0 510345569 29458776064 45969 33554432000 4194304 4196468 140731356269968 140573217490928 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1914] ppid=1894 vsize=28768336 memory=1056 CPUtime=0 cores=0-7 /proc/1896/task/1914/stat : 1914 (java) S 1894 1894 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510345569 29458776064 45969 33554432000 4194304 4196468 140731356269968 140573216439392 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1915] ppid=1894 vsize=28768336 memory=11620 CPUtime=0 cores=0-7 /proc/1896/task/1915/stat : 1915 (java) S 1894 1894 709 0 -1 1077944384 635 0 0 0 0 0 0 0 20 0 28 0 510345569 29458776064 45969 33554432000 4194304 4196468 140731356269968 140573215386672 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1924] ppid=1894 vsize=28768336 memory=3608 CPUtime=9.8 cores=0-7 /proc/1896/task/1924/stat : 1924 (java) R 1894 1894 709 0 -1 4202560 167 0 0 0 980 0 0 0 20 0 28 0 510345651 29458776064 45969 33554432000 4194304 4196468 140731356269968 140572623694960 140574505375309 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1925] ppid=1894 vsize=28768336 memory=2828 CPUtime=9.79 cores=0-7 /proc/1896/task/1925/stat : 1925 (java) R 1894 1894 709 0 -1 4202560 185 0 0 0 978 1 0 0 20 0 28 0 510345651 29458776064 45969 33554432000 4194304 4196468 140731356269968 140572625801280 140574504834440 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1926] ppid=1894 vsize=28768336 memory=1000 CPUtime=9.8 cores=0-7 /proc/1896/task/1926/stat : 1926 (java) R 1894 1894 709 0 -1 4202560 226 0 0 0 980 0 0 0 20 0 28 0 510345651 29458776064 45969 33554432000 4194304 4196468 140731356269968 140572622643136 140574503932337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1927] ppid=1894 vsize=28768336 memory=1560 CPUtime=9.77 cores=0-7 /proc/1896/task/1927/stat : 1927 (java) R 1894 1894 709 0 -1 4202560 436 0 0 0 976 1 0 0 20 0 28 0 510345651 29458776064 45969 33554432000 4194304 4196468 140731356269968 140572630011712 140574505375776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1928] ppid=1894 vsize=28768336 memory=1172 CPUtime=9.79 cores=0-7 /proc/1896/task/1928/stat : 1928 (java) R 1894 1894 709 0 -1 4202560 245 0 0 0 978 1 0 0 20 0 28 0 510345651 29458776064 45969 33554432000 4194304 4196468 140731356269968 140572626853568 140574504432883 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1929] ppid=1894 vsize=28768336 memory=9423493793537 CPUtime=9.86 cores=0-7 /proc/1896/task/1929/stat : 1929 (java) R 1894 1894 709 0 -1 4202560 266 0 0 0 985 1 0 0 20 0 28 0 510345651 29458776064 45969 33554432000 4194304 4196468 140731356269968 140572628958880 140574505375771 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1930] ppid=1894 vsize=28768336 memory=9977544574721 CPUtime=9.85 cores=0-7 /proc/1896/task/1930/stat : 1930 (java) R 1894 1894 709 0 -1 4202560 214 0 0 0 985 0 0 0 20 0 28 0 510345651 29458776064 45969 33554432000 4194304 4196468 140731356269968 140572624748976 140574504968884 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1931] ppid=1894 vsize=28768336 memory=10282487252737 CPUtime=9.87 cores=0-7 /proc/1896/task/1931/stat : 1931 (java) R 1894 1894 709 0 -1 4202560 278 0 0 0 986 1 0 0 20 0 28 0 510345651 29458776064 45969 33554432000 4194304 4196468 140731356269968 140572627906880 140574504432774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 Current children cumulated CPU time: 83.6 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 185328 KiB [startup+11.4082 s] /proc/loadavg: 6.82 7.47 6.99 10/220 1932 /proc/meminfo: memFree=25061916/32770624 swapFree=66936688/67108860 [pid=1894] ppid=1891 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1894/stat : 1894 (xcsp3-exec) S 1891 1894 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510345563 115843072 363 33554432000 4194304 5098028 140724431204192 140724431202296 140224881271420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21057536 140724431213429 140724431213673 140724431213673 140724431216586 0 /proc/1894/statm: 28282 363 304 221 0 87 0 [pid=1896] ppid=1894 vsize=28768336 memory=183396 CPUtime=85.25 cores=0-7 /proc/1896/stat : 1896 (java) S 1894 1894 709 0 -1 1077944320 31566 0 0 0 8500 25 0 0 20 0 28 0 510345563 29458776064 45849 33554432000 4194304 4196468 140731356269968 140731356252512 140574895324919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 /proc/1896/statm: 7192084 45849 3515 1 0 7153184 0 [pid=1896/tid=1897] ppid=1894 vsize=28768336 memory=279353934603264 CPUtime=0.83 cores=0-7 /proc/1896/task/1897/stat : 1897 (java) S 1894 1894 709 0 -1 1077944384 9364 0 0 0 78 5 0 0 20 0 28 0 510345563 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574899565696 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1898] ppid=1894 vsize=28768336 memory=10316846992106 CPUtime=0.01 cores=0-7 /proc/1896/task/1898/stat : 1898 (java) S 1894 1894 709 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574847945872 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1899] ppid=1894 vsize=28768336 memory=10316846992106 CPUtime=0.02 cores=0-7 /proc/1896/task/1899/stat : 1899 (java) S 1894 1894 709 0 -1 1077944384 33 0 0 0 2 0 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574846893072 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1900] ppid=1894 vsize=28768336 memory=10316846992106 CPUtime=0.01 cores=0-7 /proc/1896/task/1900/stat : 1900 (java) S 1894 1894 709 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574845840272 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1901] ppid=1894 vsize=28768336 memory=10316846992106 CPUtime=0.02 cores=0-7 /proc/1896/task/1901/stat : 1901 (java) S 1894 1894 709 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574844787472 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1902] ppid=1894 vsize=28768336 memory=10316846992106 CPUtime=0.01 cores=0-7 /proc/1896/task/1902/stat : 1902 (java) S 1894 1894 709 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574843734672 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1903] ppid=1894 vsize=28768336 memory=10316846992106 CPUtime=0.03 cores=0-7 /proc/1896/task/1903/stat : 1903 (java) S 1894 1894 709 0 -1 1077944384 1249 0 0 0 2 1 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574842681872 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1904] ppid=1894 vsize=28768336 memory=279353934704768 CPUtime=0.02 cores=0-7 /proc/1896/task/1904/stat : 1904 (java) S 1894 1894 709 0 -1 1077944384 235 0 0 0 1 1 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574841629072 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1905] ppid=1894 vsize=28768336 memory=206384 CPUtime=0.02 cores=0-7 /proc/1896/task/1905/stat : 1905 (java) S 1894 1894 709 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574840576272 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1906] ppid=1894 vsize=28768336 memory=288230574492221466 CPUtime=0.02 cores=0-7 /proc/1896/task/1906/stat : 1906 (java) S 1894 1894 709 0 -1 1077944384 551 0 0 0 2 0 0 0 20 0 28 0 510345565 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573609986928 140574895336066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1907] ppid=1894 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1907/stat : 1907 (java) S 1894 1894 709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510345566 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573223806560 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1908] ppid=1894 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1908/stat : 1908 (java) S 1894 1894 709 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 510345566 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573222753664 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1909] ppid=1894 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1909/stat : 1909 (java) S 1894 1894 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573221701968 140574895343515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1910] ppid=1894 vsize=28768336 memory=0 CPUtime=1.01 cores=0-7 /proc/1896/task/1910/stat : 1910 (java) S 1894 1894 709 0 -1 1077944384 2653 0 0 0 100 1 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573220649328 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1911] ppid=1894 vsize=28768336 memory=6656426216303648864 CPUtime=1.06 cores=0-7 /proc/1896/task/1911/stat : 1911 (java) S 1894 1894 709 0 -1 1077944384 3816 0 0 0 105 1 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573219596528 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1912] ppid=1894 vsize=28768336 memory=0 CPUtime=1.1 cores=0-7 /proc/1896/task/1912/stat : 1912 (java) S 1894 1894 709 0 -1 1077944384 5300 0 0 0 109 1 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573218543728 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1913] ppid=1894 vsize=28768336 memory=0 CPUtime=0.67 cores=0-7 /proc/1896/task/1913/stat : 1913 (java) S 1894 1894 709 0 -1 1077944384 3434 0 0 0 67 0 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573217490928 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1914] ppid=1894 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1914/stat : 1914 (java) S 1894 1894 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573216439392 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1915] ppid=1894 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1915/stat : 1915 (java) S 1894 1894 709 0 -1 1077944384 635 0 0 0 0 0 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573215386672 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1924] ppid=1894 vsize=28768336 memory=0 CPUtime=10.01 cores=0-7 /proc/1896/task/1924/stat : 1924 (java) R 1894 1894 709 0 -1 4202560 167 0 0 0 1001 0 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572623694960 140574504310104 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1925] ppid=1894 vsize=28768336 memory=0 CPUtime=9.99 cores=0-7 /proc/1896/task/1925/stat : 1925 (java) R 1894 1894 709 0 -1 4202560 185 0 0 0 998 1 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572625801376 140574505375830 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1926] ppid=1894 vsize=28768336 memory=0 CPUtime=10 cores=0-7 /proc/1896/task/1926/stat : 1926 (java) R 1894 1894 709 0 -1 4202560 226 0 0 0 1000 0 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572622643232 140574505375681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1927] ppid=1894 vsize=28768336 memory=0 CPUtime=9.96 cores=0-7 /proc/1896/task/1927/stat : 1927 (java) R 1894 1894 709 0 -1 4202560 437 0 0 0 995 1 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572630011808 140574505502290 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1928] ppid=1894 vsize=28768336 memory=11620 CPUtime=10 cores=0-7 /proc/1896/task/1928/stat : 1928 (java) R 1894 1894 709 0 -1 1077944384 245 0 0 0 999 1 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572626853664 140574895335125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1929] ppid=1894 vsize=28768336 memory=3608 CPUtime=10.07 cores=0-7 /proc/1896/task/1929/stat : 1929 (java) R 1894 1894 709 0 -1 4202560 266 0 0 0 1006 1 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572628958784 140574503932096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1930] ppid=1894 vsize=28768336 memory=2828 CPUtime=10.05 cores=0-7 /proc/1896/task/1930/stat : 1930 (java) R 1894 1894 709 0 -1 4202560 215 0 0 0 1005 0 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572624748992 140574504311728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1931] ppid=1894 vsize=28768336 memory=1000 CPUtime=10.07 cores=0-7 /proc/1896/task/1931/stat : 1931 (java) R 1894 1894 709 0 -1 4202560 279 0 0 0 1006 1 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572627906880 140574504313109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 Current children cumulated CPU time: 85.25 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 184848 KiB [startup+11.5016 s] /proc/loadavg: 6.82 7.47 6.99 10/220 1932 /proc/meminfo: memFree=25061916/32770624 swapFree=66936688/67108860 [pid=1894] ppid=1891 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/1894/stat : 1894 (xcsp3-exec) S 1891 1894 709 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510345563 115843072 363 33554432000 4194304 5098028 140724431204192 140724431202296 140224881271420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21057536 140724431213429 140724431213673 140724431213673 140724431216586 0 /proc/1894/statm: 28282 363 304 221 0 87 0 [pid=1896] ppid=1894 vsize=28768336 memory=183396 CPUtime=86 cores=0-7 /proc/1896/stat : 1896 (java) S 1894 1894 709 0 -1 1077944320 31720 0 0 0 8575 25 0 0 20 0 28 0 510345563 29458776064 45849 33554432000 4194304 4196468 140731356269968 140731356252512 140574895324919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 /proc/1896/statm: 7192084 45849 3515 1 0 7153184 0 [pid=1896/tid=1897] ppid=1894 vsize=28768336 memory=194136 CPUtime=0.83 cores=0-7 /proc/1896/task/1897/stat : 1897 (java) S 1894 1894 709 0 -1 1077944384 9364 0 0 0 78 5 0 0 20 0 28 0 510345563 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574899565696 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1898] ppid=1894 vsize=28768336 memory=210984 CPUtime=0.01 cores=0-7 /proc/1896/task/1898/stat : 1898 (java) S 1894 1894 709 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574847945872 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1899] ppid=1894 vsize=28768336 memory=217596 CPUtime=0.02 cores=0-7 /proc/1896/task/1899/stat : 1899 (java) S 1894 1894 709 0 -1 1077944384 33 0 0 0 2 0 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574846893072 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1900] ppid=1894 vsize=28768336 memory=55 CPUtime=0.01 cores=0-7 /proc/1896/task/1900/stat : 1900 (java) S 1894 1894 709 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574845840272 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1901] ppid=1894 vsize=28768336 memory=-7965959130280075168 CPUtime=0.02 cores=0-7 /proc/1896/task/1901/stat : 1901 (java) S 1894 1894 709 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574844787472 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1902] ppid=1894 vsize=28768336 memory=1 CPUtime=0.01 cores=0-7 /proc/1896/task/1902/stat : 1902 (java) S 1894 1894 709 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574843734672 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1903] ppid=1894 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7 /proc/1896/task/1903/stat : 1903 (java) S 1894 1894 709 0 -1 1077944384 1249 0 0 0 2 1 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574842681872 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1904] ppid=1894 vsize=28768336 memory=3 CPUtime=0.02 cores=0-7 /proc/1896/task/1904/stat : 1904 (java) S 1894 1894 709 0 -1 1077944384 235 0 0 0 1 1 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574841629072 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1905] ppid=1894 vsize=28768336 memory=3616 CPUtime=0.02 cores=0-7 /proc/1896/task/1905/stat : 1905 (java) S 1894 1894 709 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 28 0 510345564 29458776064 45849 33554432000 4194304 4196468 140731356269968 140574840576272 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1906] ppid=1894 vsize=28768336 memory=51508 CPUtime=0.02 cores=0-7 /proc/1896/task/1906/stat : 1906 (java) S 1894 1894 709 0 -1 1077944384 551 0 0 0 2 0 0 0 20 0 28 0 510345565 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573609986928 140574895336066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1907] ppid=1894 vsize=28768336 memory=988 CPUtime=0 cores=0-7 /proc/1896/task/1907/stat : 1907 (java) S 1894 1894 709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510345566 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573223806560 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1908] ppid=1894 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/1896/task/1908/stat : 1908 (java) S 1894 1894 709 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 510345566 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573222753664 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1909] ppid=1894 vsize=28768336 memory=792 CPUtime=0 cores=0-7 /proc/1896/task/1909/stat : 1909 (java) S 1894 1894 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573221701968 140574895343515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1910] ppid=1894 vsize=28768336 memory=791 CPUtime=1.01 cores=0-7 /proc/1896/task/1910/stat : 1910 (java) S 1894 1894 709 0 -1 1077944384 2653 0 0 0 100 1 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573220649328 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1911] ppid=1894 vsize=28768336 memory=796 CPUtime=1.06 cores=0-7 /proc/1896/task/1911/stat : 1911 (java) S 1894 1894 709 0 -1 1077944384 3816 0 0 0 105 1 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573219596528 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1912] ppid=1894 vsize=28768336 memory=0 CPUtime=1.1 cores=0-7 /proc/1896/task/1912/stat : 1912 (java) R 1894 1894 709 0 -1 1077944384 5300 0 0 0 109 1 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573218543728 140574895336066 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1913] ppid=1894 vsize=28768336 memory=0 CPUtime=0.67 cores=0-7 /proc/1896/task/1913/stat : 1913 (java) S 1894 1894 709 0 -1 1077944384 3555 0 0 0 67 0 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573217490928 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1914] ppid=1894 vsize=28768336 memory=170926133 CPUtime=0 cores=0-7 /proc/1896/task/1914/stat : 1914 (java) S 1894 1894 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573216439392 140574895335125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1915] ppid=1894 vsize=28768336 memory=7230921007607278949 CPUtime=0 cores=0-7 /proc/1896/task/1915/stat : 1915 (java) S 1894 1894 709 0 -1 1077944384 635 0 0 0 0 0 0 0 20 0 28 0 510345569 29458776064 45849 33554432000 4194304 4196468 140731356269968 140573215386672 140574895336066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1924] ppid=1894 vsize=28768336 memory=3472329232547328048 CPUtime=10.1 cores=0-7 /proc/1896/task/1924/stat : 1924 (java) R 1894 1894 709 0 -1 4202560 167 0 0 0 1010 0 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572623694864 140574504838751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1925] ppid=1894 vsize=28768336 memory=0 CPUtime=10.08 cores=0-7 /proc/1896/task/1925/stat : 1925 (java) R 1894 1894 709 0 -1 4202560 185 0 0 0 1007 1 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572625801768 140574504315205 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1926] ppid=1894 vsize=28768336 memory=0 CPUtime=10.1 cores=0-7 /proc/1896/task/1926/stat : 1926 (java) R 1894 1894 709 0 -1 4202560 226 0 0 0 1010 0 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572622643624 140574876731243 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1927] ppid=1894 vsize=28768336 memory=0 CPUtime=10.05 cores=0-7 /proc/1896/task/1927/stat : 1927 (java) R 1894 1894 709 0 -1 4202560 452 0 0 0 1004 1 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572630012200 140574505375696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1928] ppid=1894 vsize=28768336 memory=3608 CPUtime=10.09 cores=0-7 /proc/1896/task/1928/stat : 1928 (java) R 1894 1894 709 0 -1 4202560 260 0 0 0 1008 1 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572626851720 140574503705037 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1929] ppid=1894 vsize=28768336 memory=2828 CPUtime=10.16 cores=0-7 /proc/1896/task/1929/stat : 1929 (java) R 1894 1894 709 0 -1 4202560 266 0 0 0 1015 1 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572628958880 140574505375753 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1930] ppid=1894 vsize=28768336 memory=1000 CPUtime=10.14 cores=0-7 /proc/1896/task/1930/stat : 1930 (java) R 1894 1894 709 0 -1 4202560 215 0 0 0 1014 0 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572624749088 140574504310150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 [pid=1896/tid=1931] ppid=1894 vsize=28768336 memory=1560 CPUtime=10.17 cores=0-7 /proc/1896/task/1931/stat : 1931 (java) R 1894 1894 709 0 -1 4202560 282 0 0 0 1016 1 0 0 20 0 28 0 510345651 29458776064 45849 33554432000 4194304 4196468 140731356269968 140572627906880 140574504314646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29720576 140731356275690 140731356275862 140731356275862 140731356278735 0 Current children cumulated CPU time: 86 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 184848 KiB Child status: 0 Real time (s): 11.5343 CPU time (s): 86.1965 CPU user time (s): 85.9394 CPU system time (s): 0.257086 CPU usage (%): 747.303 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 222656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 85.9394 system time used= 0.257086 maximum resident set size= 221204 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33083 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10878 involuntary context switches= 1161 # summary of solver processes directly reported to runsolver: # pid: 1894 # total CPU time (s): 86.1965 # total CPU user time (s): 85.9394 # total CPU system time (s): 0.257086 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.128374 second user time and 0.165202 second system time The end
Begin job on node141 at 2019-09-24 18:53:55 IDJOB=4407002 IDBENCH=120561 IDSOLVER=2871 FILE ID=node141/4407002-1569344077 RUNJOBID= node141-1569335936-736 PBS_JOBID= 21705053 Free space on /tmp= 22932 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-myciel5.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407002-1569344077/watcher-4407002-1569344077 -o /tmp/evaluation-result-4407002-1569344077/solver-4407002-1569344077 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569335936-736 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1435980845 HOME/instance-4407002-1569344077.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a954d880863fe6e02d270e9cafb0ae96 RANDOM SEED=1435980845 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 25236868 kB MemAvailable: 31805428 kB Buffers: 97812 kB Cached: 6748548 kB SwapCached: 62108 kB Active: 3363660 kB Inactive: 3550240 kB Active(anon): 3532 kB Inactive(anon): 117232 kB Active(file): 3360128 kB Inactive(file): 3433008 kB Unevictable: 107708 kB Mlocked: 107708 kB SwapTotal: 67108860 kB SwapFree: 66936688 kB Dirty: 25928 kB Writeback: 0 kB AnonPages: 116588 kB Mapped: 54288 kB Shmem: 44648 kB Slab: 211496 kB SReclaimable: 182516 kB SUnreclaim: 28980 kB KernelStack: 3456 kB PageTables: 5972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 22904 MiB End job on node141 at 2019-09-24 18:54:07