Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | UNSAT | 500.466 | 63.6801 |
Name | QRandom/ QRandom-geometric-rw/geometric-50-20-d4-75-94.xml |
MD5SUM | 6d6d0435d13d3ff0671cf8a5c787b057 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 48.6477 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 496 |
Number of domains | 1 |
Minimum domain size | 20 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":20,"count":50}] |
Minimum variable degree | 7 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":7,"count":2},{"degree":8,"count":1},{"degree":9,"count":1},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":6},{"degree":17,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":7},{"degree":23,"count":1},{"degree":24,"count":2},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":29,"count":4},{"degree":30,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":496}] |
Number of extensional constraints | 496 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":496}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404284-1568997480.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404284-1568997480.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 4.21/1.43 c solve instance... 499.93/63.66 s UNSATISFIABLE
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 (5133 MiB free) memory of node 1: 16384 MiB (3583 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404284-1568997480/watcher-4404284-1568997480 -o /var/tmp/evaluation-result-4404284-1568997480/solver-4404284-1568997480 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1200615924 HOME/instance-4404284-1568997480.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=16802, runsolver pid=16799 Current StackSize limit: 8192 KiB [startup+0.100142 s]* /proc/loadavg: 5.23 7.14 7.83 3/211 16823 /proc/meminfo: memFree=8910176/32770624 swapFree=67001768/67108860 [pid=16802] ppid=16799 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16802/stat : 16802 (xcsp3-exec) S 16799 16802 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475661929 115843072 362 33554432000 4194304 5098028 140731342623744 140731342621848 140233429299836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140731342627665 140731342627925 140731342627925 140731342630854 0 /proc/16802/statm: 28282 362 304 221 0 87 0 [pid=16804] ppid=16802 vsize=28227396 memory=29588 CPUtime=0.12 cores=0-7 /proc/16804/stat : 16804 (java) S 16802 16802 15765 0 -1 1077944320 5874 0 0 0 11 1 0 0 20 0 20 0 475661929 28904853504 7397 33554432000 4194304 4196468 140727655499680 140727655482224 140381074775799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 /proc/16804/statm: 7056849 7397 3122 1 0 7019032 0 [pid=16804/tid=16805] ppid=16802 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/16804/task/16805/stat : 16805 (java) R 16802 16802 15765 0 -1 4202560 3785 0 0 0 8 0 0 0 20 0 20 0 475661929 28904853504 7397 33554432000 4194304 4196468 140727655499680 140381079009072 140381055420466 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16806] ppid=16802 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16804/task/16806/stat : 16806 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 7397 33554432000 4194304 4196468 140727655499680 140381027396240 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16807] ppid=16802 vsize=28227396 memory=140340677564032 CPUtime=0 cores=0-7 /proc/16804/task/16807/stat : 16807 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 7397 33554432000 4194304 4196468 140727655499680 140381026343440 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16808] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16808/stat : 16808 (java) S 16802 16802 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 7397 33554432000 4194304 4196468 140727655499680 140381025290640 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16809] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16809/stat : 16809 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 7397 33554432000 4194304 4196468 140727655499680 140381024237840 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16810] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16810/stat : 16810 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 7397 33554432000 4194304 4196468 140727655499680 140381023186064 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16811] ppid=16802 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16804/task/16811/stat : 16811 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 7397 33554432000 4194304 4196468 140727655499680 140381022133264 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16812] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16812/stat : 16812 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 7397 33554432000 4194304 4196468 140727655499680 140381021080464 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16813] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16813/stat : 16813 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 7397 33554432000 4194304 4196468 140727655499680 140381020027664 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16814] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16814/stat : 16814 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661931 28904853504 7397 33554432000 4194304 4196468 140727655499680 140379270424944 140381074786946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16815] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16815/stat : 16815 (java) S 16802 16802 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475661932 28904853504 7397 33554432000 4194304 4196468 140727655499680 140379269370912 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16816] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16816/stat : 16816 (java) S 16802 16802 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475661932 28904853504 7397 33554432000 4194304 4196468 140727655499680 140379268318064 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16817] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16817/stat : 16817 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661935 28904853504 7397 33554432000 4194304 4196468 140727655499680 140379267266384 140381074794395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16818] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16818/stat : 16818 (java) S 16802 16802 15765 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 475661935 28904853504 7397 33554432000 4194304 4196468 140727655499680 140379266214768 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16819] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16819/stat : 16819 (java) S 16802 16802 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475661935 28904853504 7397 33554432000 4194304 4196468 140727655499680 140379265161968 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16820] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16820/stat : 16820 (java) S 16802 16802 15765 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 475661935 28904853504 7397 33554432000 4194304 4196468 140727655499680 140379264109168 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16821] ppid=16802 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/16804/task/16821/stat : 16821 (java) R 16802 16802 15765 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 475661935 28904853504 7397 33554432000 4194304 4196468 140727655499680 140379263056368 140381053911802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16822] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16822/stat : 16822 (java) S 16802 16802 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475661935 28904853504 7397 33554432000 4194304 4196468 140727655499680 140378819615328 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16823] ppid=16802 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16804/task/16823/stat : 16823 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661935 28904853504 7397 33554432000 4194304 4196468 140727655499680 140378818562608 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31036 KiB [startup+0.210453 s]* /proc/loadavg: 5.23 7.14 7.83 2/211 16823 /proc/meminfo: memFree=8894868/32770624 swapFree=67001768/67108860 [pid=16802] ppid=16799 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16802/stat : 16802 (xcsp3-exec) S 16799 16802 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475661929 115843072 362 33554432000 4194304 5098028 140731342623744 140731342621848 140233429299836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140731342627665 140731342627925 140731342627925 140731342630854 0 /proc/16802/statm: 28282 362 304 221 0 87 0 [pid=16804] ppid=16802 vsize=28227396 memory=40496 CPUtime=0.33 cores=0-7 /proc/16804/stat : 16804 (java) S 16802 16802 15765 0 -1 1077944320 9381 0 0 0 31 2 0 0 20 0 20 0 475661929 28904853504 10124 33554432000 4194304 4196468 140727655499680 140727655482224 140381074775799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 /proc/16804/statm: 7056849 10124 3298 1 0 7019032 0 [pid=16804/tid=16805] ppid=16802 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/16804/task/16805/stat : 16805 (java) R 16802 16802 15765 0 -1 4202560 6650 0 0 0 18 2 0 0 20 0 20 0 475661929 28904853504 10124 33554432000 4194304 4196468 140727655499680 140381079009264 140381074787734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16806] ppid=16802 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/16804/task/16806/stat : 16806 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 10124 33554432000 4194304 4196468 140727655499680 140381027396240 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16807] ppid=16802 vsize=28227396 memory=140340677580081 CPUtime=0 cores=0-7 /proc/16804/task/16807/stat : 16807 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 10124 33554432000 4194304 4196468 140727655499680 140381026343440 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16808] ppid=16802 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16804/task/16808/stat : 16808 (java) S 16802 16802 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 10124 33554432000 4194304 4196468 140727655499680 140381025290640 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16809] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16809/stat : 16809 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 10124 33554432000 4194304 4196468 140727655499680 140381024237840 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16810] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16810/stat : 16810 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 10124 33554432000 4194304 4196468 140727655499680 140381023186064 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16811] ppid=16802 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16804/task/16811/stat : 16811 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 10124 33554432000 4194304 4196468 140727655499680 140381022133264 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16812] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16812/stat : 16812 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 10124 33554432000 4194304 4196468 140727655499680 140381021080464 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16813] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16813/stat : 16813 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661930 28904853504 10124 33554432000 4194304 4196468 140727655499680 140381020027664 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16814] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16814/stat : 16814 (java) S 16802 16802 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475661931 28904853504 10124 33554432000 4194304 4196468 140727655499680 140379270424944 140381074786946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16815] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16815/stat : 16815 (java) S 16802 16802 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475661932 28904853504 10124 33554432000 4194304 4196468 140727655499680 140379269370912 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16816] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16816/stat : 16816 (java) S 16802 16802 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475661932 28904853504 10124 33554432000 4194304 4196468 140727655499680 140379268318064 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16817] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16817/stat : 16817 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661935 28904853504 10124 33554432000 4194304 4196468 140727655499680 140379267266384 140381074794395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16818] ppid=16802 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/16804/task/16818/stat : 16818 (java) S 16802 16802 15765 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 20 0 475661935 28904853504 10124 33554432000 4194304 4196468 140727655499680 140379266214768 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16819] ppid=16802 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16804/task/16819/stat : 16819 (java) S 16802 16802 15765 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 20 0 475661935 28904853504 10124 33554432000 4194304 4196468 140727655499680 140379265161968 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16820] ppid=16802 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/16804/task/16820/stat : 16820 (java) S 16802 16802 15765 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 20 0 475661935 28904853504 10124 33554432000 4194304 4196468 140727655499680 140379264109168 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16821] ppid=16802 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/16804/task/16821/stat : 16821 (java) R 16802 16802 15765 0 -1 4202560 771 0 0 0 7 0 0 0 20 0 20 0 475661935 28904853504 10124 33554432000 4194304 4196468 140727655499680 140379263056368 140381053694691 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16822] ppid=16802 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16822/stat : 16822 (java) S 16802 16802 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475661935 28904853504 10124 33554432000 4194304 4196468 140727655499680 140378819615328 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16823] ppid=16802 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16804/task/16823/stat : 16823 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661935 28904853504 10124 33554432000 4194304 4196468 140727655499680 140378818562608 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41944 KiB [startup+0.309788 s]* /proc/loadavg: 5.23 7.14 7.83 3/211 16823 /proc/meminfo: memFree=8888404/32770624 swapFree=67001768/67108860 [pid=16802] ppid=16799 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16802/stat : 16802 (xcsp3-exec) S 16799 16802 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475661929 115843072 362 33554432000 4194304 5098028 140731342623744 140731342621848 140233429299836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140731342627665 140731342627925 140731342627925 140731342630854 0 /proc/16802/statm: 28282 362 304 221 0 87 0 [pid=16804] ppid=16802 vsize=28231652 memory=49692 CPUtime=0.52 cores=0-7 /proc/16804/stat : 16804 (java) S 16802 16802 15765 0 -1 1077944320 10813 0 0 0 49 3 0 0 20 0 20 0 475661929 28909211648 12423 33554432000 4194304 4196468 140727655499680 140727655482224 140381074775799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 /proc/16804/statm: 7057913 12423 3340 1 0 7019032 0 [pid=16804/tid=16805] ppid=16802 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/16804/task/16805/stat : 16805 (java) R 16802 16802 15765 0 -1 4202560 7752 0 0 0 27 2 0 0 20 0 20 0 475661929 28909211648 12469 33554432000 4194304 4196468 140727655499680 140381079006912 140381058856286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16806] ppid=16802 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16806/stat : 16806 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661930 28909211648 12469 33554432000 4194304 4196468 140727655499680 140381027396240 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16807] ppid=16802 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16807/stat : 16807 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661930 28909211648 12469 33554432000 4194304 4196468 140727655499680 140381026343440 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16808] ppid=16802 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16808/stat : 16808 (java) S 16802 16802 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475661930 28909211648 12469 33554432000 4194304 4196468 140727655499680 140381025290640 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16809] ppid=16802 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16809/stat : 16809 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661930 28909211648 12469 33554432000 4194304 4196468 140727655499680 140381024237840 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16810] ppid=16802 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16810/stat : 16810 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661930 28909211648 12469 33554432000 4194304 4196468 140727655499680 140381023186064 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16811] ppid=16802 vsize=28231652 memory=140340539517615 CPUtime=0 cores=0-7 /proc/16804/task/16811/stat : 16811 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661930 28909211648 12469 33554432000 4194304 4196468 140727655499680 140381022133264 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16812] ppid=16802 vsize=28231652 memory=140340539519920 CPUtime=0 cores=0-7 /proc/16804/task/16812/stat : 16812 (java) S 16802 16802 15765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475661930 28909211648 12469 33554432000 4194304 4196468 140727655499680 140381021080464 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16813] ppid=16802 vsize=28231652 memory=140340539522224 CPUtime=0 cores=0-7 /proc/16804/task/16813/stat : 16813 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661930 28909211648 12469 33554432000 4194304 4196468 140727655499680 140381020027664 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16814] ppid=16802 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16814/stat : 16814 (java) S 16802 16802 15765 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475661931 28909211648 12469 33554432000 4194304 4196468 140727655499680 140379270424944 140381074786946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16815] ppid=16802 vsize=28231652 memory=280681079058320 CPUtime=0 cores=0-7 /proc/16804/task/16815/stat : 16815 (java) S 16802 16802 15765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475661932 28909211648 12469 33554432000 4194304 4196468 140727655499680 140379269370912 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16816] ppid=16802 vsize=28231652 memory=280681079056016 CPUtime=0 cores=0-7 /proc/16804/task/16816/stat : 16816 (java) S 16802 16802 15765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475661932 28909211648 12469 33554432000 4194304 4196468 140727655499680 140379268318064 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16817] ppid=16802 vsize=28231652 memory=280681079062928 CPUtime=0 cores=0-7 /proc/16804/task/16817/stat : 16817 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661935 28909211648 12469 33554432000 4194304 4196468 140727655499680 140379267266384 140381074794395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16818] ppid=16802 vsize=28231652 memory=280681079004208 CPUtime=0.03 cores=0-7 /proc/16804/task/16818/stat : 16818 (java) R 16802 16802 15765 0 -1 4202560 599 0 0 0 3 0 0 0 20 0 20 0 475661935 28909211648 12469 33554432000 4194304 4196468 140727655499680 140379266204880 140381055955418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16819] ppid=16802 vsize=28231652 memory=280681079076752 CPUtime=0.01 cores=0-7 /proc/16804/task/16819/stat : 16819 (java) S 16802 16802 15765 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 20 0 475661935 28909211648 12469 33554432000 4194304 4196468 140727655499680 140379265161968 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16820] ppid=16802 vsize=28231652 memory=280681079083664 CPUtime=0.03 cores=0-7 /proc/16804/task/16820/stat : 16820 (java) S 16802 16802 15765 0 -1 1077944384 179 0 0 0 3 0 0 0 20 0 20 0 475661935 28909211648 12469 33554432000 4194304 4196468 140727655499680 140379264109168 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16821] ppid=16802 vsize=28231652 memory=280681079081360 CPUtime=0.12 cores=0-7 /proc/16804/task/16821/stat : 16821 (java) S 16802 16802 15765 0 -1 1077944384 959 0 0 0 12 0 0 0 20 0 20 0 475661935 28909211648 12469 33554432000 4194304 4196468 140727655499680 140379263056368 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16822] ppid=16802 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16822/stat : 16822 (java) S 16802 16802 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475661935 28909211648 12469 33554432000 4194304 4196468 140727655499680 140378819615328 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16823] ppid=16802 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/16804/task/16823/stat : 16823 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661935 28909211648 12469 33554432000 4194304 4196468 140727655499680 140378818562608 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51140 KiB [startup+0.700914 s] /proc/loadavg: 5.23 7.14 7.83 6/211 16823 /proc/meminfo: memFree=8864468/32770624 swapFree=67001768/67108860 [pid=16802] ppid=16799 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16802/stat : 16802 (xcsp3-exec) S 16799 16802 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475661929 115843072 362 33554432000 4194304 5098028 140731342623744 140731342621848 140233429299836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140731342627665 140731342627925 140731342627925 140731342630854 0 /proc/16802/statm: 28282 362 304 221 0 87 0 [pid=16804] ppid=16802 vsize=28233776 memory=132364 CPUtime=1.96 cores=0-7 /proc/16804/stat : 16804 (java) S 16802 16802 15765 0 -1 1077944320 15510 0 0 0 190 6 0 0 20 0 20 0 475661929 28911386624 33091 33554432000 4194304 4196468 140727655499680 140727655482224 140381074775799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 /proc/16804/statm: 7058444 33091 3453 1 0 7019544 0 [pid=16804/tid=16805] ppid=16802 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/16804/task/16805/stat : 16805 (java) R 16802 16802 15765 0 -1 4202560 8446 0 0 0 64 3 0 0 20 0 20 0 475661929 28911386624 33091 33554432000 4194304 4196468 140727655499680 140381079011344 140380691504832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16806] ppid=16802 vsize=28233776 memory=140340539728752 CPUtime=0 cores=0-7 /proc/16804/task/16806/stat : 16806 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661930 28911386624 33091 33554432000 4194304 4196468 140727655499680 140381027396240 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16807] ppid=16802 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/16804/task/16807/stat : 16807 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475661930 28911386624 33091 33554432000 4194304 4196468 140727655499680 140381026343440 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16808] ppid=16802 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/16804/task/16808/stat : 16808 (java) S 16802 16802 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475661930 28911386624 33091 33554432000 4194304 4196468 140727655499680 140381025290640 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 ################ # More data... # ################ [pid=16804/tid=16821] ppid=16802 vsize=28766288 memory=140340539584712 CPUtime=0.71 cores=0-7 /proc/16804/task/16821/stat : 16821 (java) S 16802 16802 15765 0 -1 1077944384 3962 0 0 0 70 1 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379263056368 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16822] ppid=16802 vsize=28766288 memory=1160844 CPUtime=0 cores=0-7 /proc/16804/task/16822/stat : 16822 (java) S 16802 16802 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378819615328 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16823] ppid=16802 vsize=28766288 memory=988 CPUtime=0.01 cores=0-7 /proc/16804/task/16823/stat : 16823 (java) S 16802 16802 15765 0 -1 1077944384 902 0 0 0 0 1 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378818562608 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16824] ppid=16802 vsize=28766288 memory=2012 CPUtime=61.1 cores=0-7 /proc/16804/task/16824/stat : 16824 (java) R 16802 16802 15765 0 -1 4202560 424 0 0 0 6110 0 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378809580200 140380695439812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16825] ppid=16802 vsize=28766288 memory=1424 CPUtime=61.28 cores=0-7 /proc/16804/task/16825/stat : 16825 (java) R 16802 16802 15765 0 -1 4202560 542 0 0 0 6128 0 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378808528840 140380695495580 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16826] ppid=16802 vsize=28766288 memory=580 CPUtime=61.09 cores=0-7 /proc/16804/task/16826/stat : 16826 (java) R 16802 16802 15765 0 -1 4202560 2896 0 0 0 6100 9 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378807479424 140380695439812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16827] ppid=16802 vsize=28766288 memory=1692 CPUtime=60.94 cores=0-7 /proc/16804/task/16827/stat : 16827 (java) R 16802 16802 15765 0 -1 4202560 1284 0 0 0 6091 3 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378806424264 140380695439645 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16828] ppid=16802 vsize=28766288 memory=3616 CPUtime=60.94 cores=0-7 /proc/16804/task/16828/stat : 16828 (java) R 16802 16802 15765 0 -1 4202560 1925 0 0 0 6088 6 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378805371240 140380694728562 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16829] ppid=16802 vsize=28766288 memory=7548 CPUtime=61.17 cores=0-7 /proc/16804/task/16829/stat : 16829 (java) R 16802 16802 15765 0 -1 4202560 1338 0 0 0 6113 4 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378804318664 140380695508177 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16830] ppid=16802 vsize=28766288 memory=0 CPUtime=60.49 cores=0-7 /proc/16804/task/16830/stat : 16830 (java) R 16802 16802 15765 0 -1 4202560 1185 0 0 0 6047 2 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378803265296 140380694729070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16831] ppid=16802 vsize=28766288 memory=6791534058613427641 CPUtime=61.3 cores=0-7 /proc/16804/task/16831/stat : 16831 (java) R 16802 16802 15765 0 -1 4202560 459 0 0 0 6130 0 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378802212760 140380695440231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 Current children cumulated CPU time: 495.96 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 1162292 KiB [startup+63.5017 s] /proc/loadavg: 7.15 7.35 7.86 9/219 16834 /proc/meminfo: memFree=7779032/32770624 swapFree=67001768/67108860 [pid=16802] ppid=16799 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16802/stat : 16802 (xcsp3-exec) S 16799 16802 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475661929 115843072 362 33554432000 4194304 5098028 140731342623744 140731342621848 140233429299836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140731342627665 140731342627925 140731342627925 140731342630854 0 /proc/16802/statm: 28282 362 304 221 0 87 0 [pid=16804] ppid=16802 vsize=28766288 memory=1160844 CPUtime=499.13 cores=0-7 /proc/16804/stat : 16804 (java) S 16802 16802 15765 0 -1 1077944320 50086 0 0 0 49836 77 0 0 20 0 28 0 475661929 29456678912 290211 33554432000 4194304 4196468 140727655499680 140727655482224 140381074775799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 /proc/16804/statm: 7191572 290211 3524 1 0 7152672 0 [pid=16804/tid=16805] ppid=16802 vsize=28766288 memory=988 CPUtime=1.36 cores=0-7 /proc/16804/task/16805/stat : 16805 (java) S 16802 16802 15765 0 -1 1077944384 9233 0 0 0 131 5 0 0 20 0 28 0 475661929 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381079016576 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16806] ppid=16802 vsize=28766288 memory=2012 CPUtime=0.08 cores=0-7 /proc/16804/task/16806/stat : 16806 (java) S 16802 16802 15765 0 -1 1077944384 1093 0 0 0 4 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381027396240 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16807] ppid=16802 vsize=28766288 memory=1424 CPUtime=0.09 cores=0-7 /proc/16804/task/16807/stat : 16807 (java) S 16802 16802 15765 0 -1 1077944384 301 0 0 0 5 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381026343440 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16808] ppid=16802 vsize=28766288 memory=580 CPUtime=0.08 cores=0-7 /proc/16804/task/16808/stat : 16808 (java) S 16802 16802 15765 0 -1 1077944384 1570 0 0 0 4 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381025290640 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16809] ppid=16802 vsize=28766288 memory=1692 CPUtime=0.09 cores=0-7 /proc/16804/task/16809/stat : 16809 (java) S 16802 16802 15765 0 -1 1077944384 434 0 0 0 5 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381024237840 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16810] ppid=16802 vsize=28766288 memory=3616 CPUtime=0.09 cores=0-7 /proc/16804/task/16810/stat : 16810 (java) S 16802 16802 15765 0 -1 1077944384 397 0 0 0 5 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381023186064 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16811] ppid=16802 vsize=28766288 memory=7548 CPUtime=0.09 cores=0-7 /proc/16804/task/16811/stat : 16811 (java) S 16802 16802 15765 0 -1 1077944384 423 0 0 0 5 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381022133264 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16812] ppid=16802 vsize=28766288 memory=2832 CPUtime=0.09 cores=0-7 /proc/16804/task/16812/stat : 16812 (java) S 16802 16802 15765 0 -1 1077944384 403 0 0 0 5 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381021080464 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16813] ppid=16802 vsize=28766288 memory=1224 CPUtime=0.09 cores=0-7 /proc/16804/task/16813/stat : 16813 (java) S 16802 16802 15765 0 -1 1077944384 1062 0 0 0 5 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381020027664 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16814] ppid=16802 vsize=28766288 memory=6068 CPUtime=0.01 cores=0-7 /proc/16804/task/16814/stat : 16814 (java) S 16802 16802 15765 0 -1 1077944384 2286 0 0 0 1 0 0 0 20 0 28 0 475661931 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379270424944 140381074786946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16815] ppid=16802 vsize=28766288 memory=772 CPUtime=0 cores=0-7 /proc/16804/task/16815/stat : 16815 (java) S 16802 16802 15765 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 475661932 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379269370976 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16816] ppid=16802 vsize=28766288 memory=1556 CPUtime=0 cores=0-7 /proc/16804/task/16816/stat : 16816 (java) S 16802 16802 15765 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 475661932 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379268318080 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16817] ppid=16802 vsize=28766288 memory=1056 CPUtime=0 cores=0-7 /proc/16804/task/16817/stat : 16817 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379267266384 140381074794395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16818] ppid=16802 vsize=28766288 memory=1096 CPUtime=1.6 cores=0-7 /proc/16804/task/16818/stat : 16818 (java) S 16802 16802 15765 0 -1 1077944384 5255 0 0 0 158 2 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379266214768 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16819] ppid=16802 vsize=28766288 memory=14008 CPUtime=1.53 cores=0-7 /proc/16804/task/16819/stat : 16819 (java) S 16802 16802 15765 0 -1 1077944384 4594 0 0 0 152 1 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379265161968 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16820] ppid=16802 vsize=28766288 memory=2116 CPUtime=1.5 cores=0-7 /proc/16804/task/16820/stat : 16820 (java) S 16802 16802 15765 0 -1 1077944384 6776 0 0 0 149 1 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379264109168 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16821] ppid=16802 vsize=28766288 memory=29144 CPUtime=0.71 cores=0-7 /proc/16804/task/16821/stat : 16821 (java) S 16802 16802 15765 0 -1 1077944384 3962 0 0 0 70 1 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379263056368 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16822] ppid=16802 vsize=28766288 memory=12028 CPUtime=0 cores=0-7 /proc/16804/task/16822/stat : 16822 (java) S 16802 16802 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378819615328 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16823] ppid=16802 vsize=28766288 memory=532 CPUtime=0.01 cores=0-7 /proc/16804/task/16823/stat : 16823 (java) S 16802 16802 15765 0 -1 1077944384 902 0 0 0 0 1 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378818562608 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16824] ppid=16802 vsize=28766288 memory=1564 CPUtime=61.5 cores=0-7 /proc/16804/task/16824/stat : 16824 (java) R 16802 16802 15765 0 -1 4202560 424 0 0 0 6150 0 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378809580200 140380695440251 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16825] ppid=16802 vsize=28766288 memory=928 CPUtime=61.68 cores=0-7 /proc/16804/task/16825/stat : 16825 (java) R 16802 16802 15765 0 -1 4202560 542 0 0 0 6168 0 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378808528840 140380694729470 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16826] ppid=16802 vsize=28766288 memory=1980 CPUtime=61.48 cores=0-7 /proc/16804/task/16826/stat : 16826 (java) R 16802 16802 15765 0 -1 4202560 2898 0 0 0 6139 9 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378807479424 140380695439802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16827] ppid=16802 vsize=28766288 memory=1560 CPUtime=61.34 cores=0-7 /proc/16804/task/16827/stat : 16827 (java) R 16802 16802 15765 0 -1 4202560 1286 0 0 0 6131 3 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378806424264 140380695508302 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16828] ppid=16802 vsize=28766288 memory=2648 CPUtime=61.33 cores=0-7 /proc/16804/task/16828/stat : 16828 (java) R 16802 16802 15765 0 -1 4202560 1929 0 0 0 6127 6 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378805371240 140380695508512 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16829] ppid=16802 vsize=28766288 memory=896 CPUtime=61.57 cores=0-7 /proc/16804/task/16829/stat : 16829 (java) R 16802 16802 15765 0 -1 4202560 1338 0 0 0 6153 4 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378804318664 140380695440162 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16830] ppid=16802 vsize=28766288 memory=1440 CPUtime=60.89 cores=0-7 /proc/16804/task/16830/stat : 16830 (java) R 16802 16802 15765 0 -1 4202560 1186 0 0 0 6087 2 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378803265296 140380694500064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16831] ppid=16802 vsize=28766288 memory=1768 CPUtime=61.69 cores=0-7 /proc/16804/task/16831/stat : 16831 (java) R 16802 16802 15765 0 -1 4202560 459 0 0 0 6169 0 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378802212760 140380694727932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 Current children cumulated CPU time: 499.13 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 1162292 KiB [startup+63.6018 s] /proc/loadavg: 7.15 7.35 7.86 9/219 16834 /proc/meminfo: memFree=7779032/32770624 swapFree=67001768/67108860 [pid=16802] ppid=16799 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16802/stat : 16802 (xcsp3-exec) S 16799 16802 15765 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475661929 115843072 362 33554432000 4194304 5098028 140731342623744 140731342621848 140233429299836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29814784 140731342627665 140731342627925 140731342627925 140731342630854 0 /proc/16802/statm: 28282 362 304 221 0 87 0 [pid=16804] ppid=16802 vsize=28766288 memory=1160844 CPUtime=499.93 cores=0-7 /proc/16804/stat : 16804 (java) S 16802 16802 15765 0 -1 1077944320 50127 0 0 0 49916 77 0 0 20 0 28 0 475661929 29456678912 290211 33554432000 4194304 4196468 140727655499680 140727655482224 140381074775799 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 /proc/16804/statm: 7191572 290211 3524 1 0 7152672 0 [pid=16804/tid=16805] ppid=16802 vsize=28766288 memory=1448 CPUtime=1.36 cores=0-7 /proc/16804/task/16805/stat : 16805 (java) S 16802 16802 15765 0 -1 1077944384 9233 0 0 0 131 5 0 0 20 0 28 0 475661929 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381079016576 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16806] ppid=16802 vsize=28766288 memory=1160844 CPUtime=0.08 cores=0-7 /proc/16804/task/16806/stat : 16806 (java) S 16802 16802 15765 0 -1 1077944384 1093 0 0 0 4 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381027396240 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16807] ppid=16802 vsize=28766288 memory=140340677562993 CPUtime=0.09 cores=0-7 /proc/16804/task/16807/stat : 16807 (java) S 16802 16802 15765 0 -1 1077944384 301 0 0 0 5 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381026343440 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16808] ppid=16802 vsize=28766288 memory=280681079171504 CPUtime=0.08 cores=0-7 /proc/16804/task/16808/stat : 16808 (java) S 16802 16802 15765 0 -1 1077944384 1570 0 0 0 4 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381025290640 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16809] ppid=16802 vsize=28766288 memory=2832 CPUtime=0.09 cores=0-7 /proc/16804/task/16809/stat : 16809 (java) S 16802 16802 15765 0 -1 1077944384 434 0 0 0 5 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381024237840 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16810] ppid=16802 vsize=28766288 memory=1224 CPUtime=0.09 cores=0-7 /proc/16804/task/16810/stat : 16810 (java) S 16802 16802 15765 0 -1 1077944384 397 0 0 0 5 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381023186064 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16811] ppid=16802 vsize=28766288 memory=668472 CPUtime=0.09 cores=0-7 /proc/16804/task/16811/stat : 16811 (java) S 16802 16802 15765 0 -1 1077944384 423 0 0 0 5 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381022133264 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16812] ppid=16802 vsize=28766288 memory=668472 CPUtime=0.09 cores=0-7 /proc/16804/task/16812/stat : 16812 (java) S 16802 16802 15765 0 -1 1077944384 403 0 0 0 5 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381021080464 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16813] ppid=16802 vsize=28766288 memory=1448 CPUtime=0.09 cores=0-7 /proc/16804/task/16813/stat : 16813 (java) S 16802 16802 15765 0 -1 1077944384 1062 0 0 0 5 4 0 0 20 0 28 0 475661930 29456678912 290211 33554432000 4194304 4196468 140727655499680 140381020027664 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16814] ppid=16802 vsize=28766288 memory=608 CPUtime=0.01 cores=0-7 /proc/16804/task/16814/stat : 16814 (java) S 16802 16802 15765 0 -1 1077944384 2286 0 0 0 1 0 0 0 20 0 28 0 475661931 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379270424944 140381074786946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16815] ppid=16802 vsize=28766288 memory=676 CPUtime=0 cores=0-7 /proc/16804/task/16815/stat : 16815 (java) S 16802 16802 15765 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 475661932 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379269370976 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16816] ppid=16802 vsize=28766288 memory=4852 CPUtime=0 cores=0-7 /proc/16804/task/16816/stat : 16816 (java) S 16802 16802 15765 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 475661932 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379268318080 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16817] ppid=16802 vsize=28766288 memory=280678596395846 CPUtime=0 cores=0-7 /proc/16804/task/16817/stat : 16817 (java) S 16802 16802 15765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379267266384 140381074794395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16818] ppid=16802 vsize=28766288 memory=4367276246909583392 CPUtime=1.6 cores=0-7 /proc/16804/task/16818/stat : 16818 (java) S 16802 16802 15765 0 -1 1077944384 5255 0 0 0 158 2 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379266214768 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16819] ppid=16802 vsize=28766288 memory=288287792113661322 CPUtime=1.53 cores=0-7 /proc/16804/task/16819/stat : 16819 (java) S 16802 16802 15765 0 -1 1077944384 4594 0 0 0 152 1 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379265161968 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16820] ppid=16802 vsize=28766288 memory=1448 CPUtime=1.5 cores=0-7 /proc/16804/task/16820/stat : 16820 (java) S 16802 16802 15765 0 -1 1077944384 6776 0 0 0 149 1 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379264109168 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16821] ppid=16802 vsize=28766288 memory=1160844 CPUtime=0.71 cores=0-7 /proc/16804/task/16821/stat : 16821 (java) S 16802 16802 15765 0 -1 1077944384 3962 0 0 0 70 1 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140379263056368 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16822] ppid=16802 vsize=28766288 memory=7667765846379687015 CPUtime=0 cores=0-7 /proc/16804/task/16822/stat : 16822 (java) S 16802 16802 15765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378819615328 140381074786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16823] ppid=16802 vsize=28766288 memory=7667765846379687015 CPUtime=0.01 cores=0-7 /proc/16804/task/16823/stat : 16823 (java) S 16802 16802 15765 0 -1 1077944384 902 0 0 0 0 1 0 0 20 0 28 0 475661935 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378818562608 140381074786946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16824] ppid=16802 vsize=28766288 memory=1448 CPUtime=61.6 cores=0-7 /proc/16804/task/16824/stat : 16824 (java) R 16802 16802 15765 0 -1 4202560 424 0 0 0 6160 0 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378809580200 140380695761089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16825] ppid=16802 vsize=28766288 memory=1160844 CPUtime=61.78 cores=0-7 /proc/16804/task/16825/stat : 16825 (java) R 16802 16802 15765 0 -1 4202560 543 0 0 0 6178 0 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378808528840 140380695439788 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16826] ppid=16802 vsize=28766288 memory=808 CPUtime=61.58 cores=0-7 /proc/16804/task/16826/stat : 16826 (java) R 16802 16802 15765 0 -1 4202560 2915 0 0 0 6149 9 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378807479424 140380695440995 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16827] ppid=16802 vsize=28766288 memory=1448 CPUtime=61.44 cores=0-7 /proc/16804/task/16827/stat : 16827 (java) R 16802 16802 15765 0 -1 4202560 1292 0 0 0 6141 3 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378806424264 140380694500064 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16828] ppid=16802 vsize=28766288 memory=2832 CPUtime=61.43 cores=0-7 /proc/16804/task/16828/stat : 16828 (java) R 16802 16802 15765 0 -1 4202560 1938 0 0 0 6137 6 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378805371240 140380694729310 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16829] ppid=16802 vsize=28766288 memory=1224 CPUtime=61.67 cores=0-7 /proc/16804/task/16829/stat : 16829 (java) R 16802 16802 15765 0 -1 4202560 1344 0 0 0 6163 4 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378804318664 140380695457357 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16830] ppid=16802 vsize=28766288 memory=6068 CPUtime=60.99 cores=0-7 /proc/16804/task/16830/stat : 16830 (java) R 16802 16802 15765 0 -1 4202560 1190 0 0 0 6097 2 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378803265296 140380694729170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 [pid=16804/tid=16831] ppid=16802 vsize=28766288 memory=772 CPUtime=61.8 cores=0-7 /proc/16804/task/16831/stat : 16831 (java) R 16802 16802 15765 0 -1 4202560 459 0 0 0 6180 0 0 0 20 0 28 0 475662073 29456678912 290211 33554432000 4194304 4196468 140727655499680 140378802212760 140380694729170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140727655502806 140727655502982 140727655502982 140727655505871 0 Current children cumulated CPU time: 499.93 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 1162292 KiB Child status: 0 Real time (s): 63.6801 CPU time (s): 500.466 CPU user time (s): 499.676 CPU system time (s): 0.789612 CPU usage (%): 785.906 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 1162292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 499.676 system time used= 0.789612 maximum resident set size= 1161044 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52295 page faults= 0 swaps= 0 block input operations= 0 block output operations= 208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5427 involuntary context switches= 5995 # summary of solver processes directly reported to runsolver: # pid: 16802 # total CPU time (s): 500.466 # total CPU user time (s): 499.676 # total CPU system time (s): 0.789612 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.633944 second user time and 0.699781 second system time The end
Begin job on node146 at 2019-09-20 18:37:19 IDJOB=4404284 IDBENCH=126185 IDSOLVER=2865 FILE ID=node146/4404284-1568997480 RUNJOBID= node146-1568994486-15792 PBS_JOBID= 21704725 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-94.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-4404284-1568997480/watcher-4404284-1568997480 -o /var/tmp/evaluation-result-4404284-1568997480/solver-4404284-1568997480 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1568994486-15792 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1200615924 HOME/instance-4404284-1568997480.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6d6d0435d13d3ff0671cf8a5c787b057 RANDOM SEED=1200615924 node146.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.90 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.90 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.90 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.90 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: 8926532 kB MemAvailable: 31849424 kB Buffers: 158984 kB Cached: 22691336 kB SwapCached: 3824 kB Active: 11399444 kB Inactive: 11455680 kB Active(anon): 1300 kB Inactive(anon): 51016 kB Active(file): 11398144 kB Inactive(file): 11404664 kB Unevictable: 111164 kB Mlocked: 111164 kB SwapTotal: 67108860 kB SwapFree: 67001768 kB Dirty: 26396 kB Writeback: 0 kB AnonPages: 113140 kB Mapped: 51324 kB Shmem: 38856 kB Slab: 576780 kB SReclaimable: 548544 kB SUnreclaim: 28236 kB KernelStack: 3392 kB PageTables: 5448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507860 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /var/tmp at the end= 13484 MiB End job on node146 at 2019-09-20 18:38:22