Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | UNSAT | 142.538 | 25.4831 |
Name | Random/Random-m1-7-40-8t/ rand-7-40-8-40-15000-9.xml |
MD5SUM | 134b875ea7bd230347634fe517213ca9 |
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 | 11.0648 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 40 |
Number of domains | 1 |
Minimum domain size | 8 |
Maximum domain size | 8 |
Distribution of domain sizes | [{"size":8,"count":40}] |
Minimum variable degree | 1 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":1},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":9},{"degree":6,"count":5},{"degree":7,"count":4},{"degree":8,"count":5},{"degree":9,"count":5},{"degree":10,"count":3},{"degree":11,"count":2},{"degree":13,"count":2}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":40}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":40}] |
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-4399459-1568702053.xml" -tl '20160s' -p 8 0.12/0.19 c Choco e747e1e 0.12/0.19 c [HOME/instance-4399459-1568702053.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 19.72/10.03 c solve instance... 142.05/25.46 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 (15278 MiB free) memory of node 1: 16384 MiB (15686 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399459-1568702053/watcher-4399459-1568702053 -o /tmp/evaluation-result-4399459-1568702053/solver-4399459-1568702053 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1990267668 HOME/instance-4399459-1568702053.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 Starting watchdog thread solver pid=30765, runsolver pid=30762 Current StackSize limit: 8192 KiB [startup+0.100139 s]* /proc/loadavg: 6.41 6.78 7.47 2/212 30786 /proc/meminfo: memFree=31693312/32770624 swapFree=66977128/67108860 [pid=30765] ppid=30762 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30765/stat : 30765 (xcsp3-exec) S 30762 30765 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446467962 115843072 363 33554432000 4194304 5098028 140727199085376 140727199083480 140422645748348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35540992 140727199093621 140727199093865 140727199093865 140727199096778 0 /proc/30765/statm: 28282 363 304 221 0 87 0 [pid=30767] ppid=30765 vsize=28227396 memory=28872 CPUtime=0.12 cores=0-7 /proc/30767/stat : 30767 (java) S 30765 30765 29062 0 -1 1077944320 5638 0 0 0 11 1 0 0 20 0 20 0 446467963 28904853504 7218 33554432000 4194304 4196468 140736646195136 140736646177680 140524696616695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 /proc/30767/statm: 7056849 7218 3126 1 0 7019032 0 [pid=30767/tid=30768] ppid=30765 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/30767/task/30768/stat : 30768 (java) R 30765 30765 29062 0 -1 4202560 3643 0 0 0 8 0 0 0 20 0 20 0 446467963 28904853504 7218 33554432000 4194304 4196468 140736646195136 140524700842832 140524696628630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30769] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30769/stat : 30769 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 7218 33554432000 4194304 4196468 140736646195136 140524649236752 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30770] ppid=30765 vsize=28227396 memory=140446302656128 CPUtime=0 cores=0-7 /proc/30767/task/30770/stat : 30770 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 7218 33554432000 4194304 4196468 140736646195136 140524648184208 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30771] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30771/stat : 30771 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 7218 33554432000 4194304 4196468 140736646195136 140524647131664 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30772] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30772/stat : 30772 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 7218 33554432000 4194304 4196468 140736646195136 140524646079120 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30773] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30773/stat : 30773 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 7218 33554432000 4194304 4196468 140736646195136 140524645026576 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30774] ppid=30765 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30767/task/30774/stat : 30774 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 7218 33554432000 4194304 4196468 140736646195136 140524643974032 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30775] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30775/stat : 30775 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 7218 33554432000 4194304 4196468 140736646195136 140524642921488 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30776] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30776/stat : 30776 (java) S 30765 30765 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 7218 33554432000 4194304 4196468 140736646195136 140524641868944 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30777] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30777/stat : 30777 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467965 28904853504 7218 33554432000 4194304 4196468 140736646195136 140523362080752 140524696627842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30778] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30778/stat : 30778 (java) S 30765 30765 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446467966 28904853504 7218 33554432000 4194304 4196468 140736646195136 140523361026976 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30779] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30779/stat : 30779 (java) S 30765 30765 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446467966 28904853504 7218 33554432000 4194304 4196468 140736646195136 140523359974384 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30780] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30780/stat : 30780 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467968 28904853504 7218 33554432000 4194304 4196468 140736646195136 140523358922960 140524696635291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30781] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30781/stat : 30781 (java) S 30765 30765 29062 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 446467968 28904853504 7218 33554432000 4194304 4196468 140736646195136 140523357870576 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30782] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30782/stat : 30782 (java) S 30765 30765 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446467968 28904853504 7218 33554432000 4194304 4196468 140736646195136 140523356818032 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30783] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30783/stat : 30783 (java) S 30765 30765 29062 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446467968 28904853504 7218 33554432000 4194304 4196468 140736646195136 140523355765488 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30784] ppid=30765 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30767/task/30784/stat : 30784 (java) R 30765 30765 29062 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 20 0 446467969 28904853504 7218 33554432000 4194304 4196468 140736646195136 140523354712944 140524696628630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30785] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30785/stat : 30785 (java) S 30765 30765 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446467969 28904853504 7218 33554432000 4194304 4196468 140736646195136 140523353659616 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30786] ppid=30765 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30767/task/30786/stat : 30786 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467969 28904853504 7218 33554432000 4194304 4196468 140736646195136 140523352607152 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30324 KiB [startup+0.210564 s]* /proc/loadavg: 6.41 6.78 7.47 3/212 30786 /proc/meminfo: memFree=31680420/32770624 swapFree=66977128/67108860 [pid=30765] ppid=30762 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30765/stat : 30765 (xcsp3-exec) S 30762 30765 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446467962 115843072 363 33554432000 4194304 5098028 140727199085376 140727199083480 140422645748348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35540992 140727199093621 140727199093865 140727199093865 140727199096778 0 /proc/30765/statm: 28282 363 304 221 0 87 0 [pid=30767] ppid=30765 vsize=28227396 memory=40608 CPUtime=0.33 cores=0-7 /proc/30767/stat : 30767 (java) S 30765 30765 29062 0 -1 1077944320 9354 0 0 0 31 2 0 0 20 0 20 0 446467963 28904853504 10152 33554432000 4194304 4196468 140736646195136 140736646177680 140524696616695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 /proc/30767/statm: 7056849 10152 3287 1 0 7019032 0 [pid=30767/tid=30768] ppid=30765 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/30767/task/30768/stat : 30768 (java) R 30765 30765 29062 0 -1 4202560 6598 0 0 0 18 2 0 0 20 0 20 0 446467963 28904853504 10152 33554432000 4194304 4196468 140736646195136 140524700848608 140524680697182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30769] ppid=30765 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/30767/task/30769/stat : 30769 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 10152 33554432000 4194304 4196468 140736646195136 140524649236752 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30770] ppid=30765 vsize=28227396 memory=288370822454367872 CPUtime=0 cores=0-7 /proc/30767/task/30770/stat : 30770 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 10152 33554432000 4194304 4196468 140736646195136 140524648184208 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30771] ppid=30765 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30767/task/30771/stat : 30771 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 10152 33554432000 4194304 4196468 140736646195136 140524647131664 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30772] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30772/stat : 30772 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 10152 33554432000 4194304 4196468 140736646195136 140524646079120 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30773] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30773/stat : 30773 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 10152 33554432000 4194304 4196468 140736646195136 140524645026576 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30774] ppid=30765 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30767/task/30774/stat : 30774 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 10152 33554432000 4194304 4196468 140736646195136 140524643974032 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30775] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30775/stat : 30775 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 10152 33554432000 4194304 4196468 140736646195136 140524642921488 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30776] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30776/stat : 30776 (java) S 30765 30765 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446467964 28904853504 10152 33554432000 4194304 4196468 140736646195136 140524641868944 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30777] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30777/stat : 30777 (java) S 30765 30765 29062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446467965 28904853504 10152 33554432000 4194304 4196468 140736646195136 140523362080752 140524696627842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30778] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30778/stat : 30778 (java) S 30765 30765 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446467966 28904853504 10152 33554432000 4194304 4196468 140736646195136 140523361026976 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30779] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30779/stat : 30779 (java) S 30765 30765 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446467966 28904853504 10152 33554432000 4194304 4196468 140736646195136 140523359974384 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30780] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30780/stat : 30780 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467968 28904853504 10152 33554432000 4194304 4196468 140736646195136 140523358922960 140524696635291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30781] ppid=30765 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30767/task/30781/stat : 30781 (java) S 30765 30765 29062 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 20 0 446467968 28904853504 10152 33554432000 4194304 4196468 140736646195136 140523357870576 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30782] ppid=30765 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30767/task/30782/stat : 30782 (java) S 30765 30765 29062 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 20 0 446467968 28904853504 10152 33554432000 4194304 4196468 140736646195136 140523356818032 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30783] ppid=30765 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30767/task/30783/stat : 30783 (java) S 30765 30765 29062 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 446467968 28904853504 10152 33554432000 4194304 4196468 140736646195136 140523355765488 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30784] ppid=30765 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30767/task/30784/stat : 30784 (java) R 30765 30765 29062 0 -1 4202560 793 0 0 0 7 0 0 0 20 0 20 0 446467969 28904853504 10152 33554432000 4194304 4196468 140736646195136 140523354712944 140524688853822 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30785] ppid=30765 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30785/stat : 30785 (java) S 30765 30765 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446467969 28904853504 10152 33554432000 4194304 4196468 140736646195136 140523353659616 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30786] ppid=30765 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30767/task/30786/stat : 30786 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467969 28904853504 10152 33554432000 4194304 4196468 140736646195136 140523352607152 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42060 KiB [startup+0.310371 s]* /proc/loadavg: 6.41 6.78 7.47 3/212 30786 /proc/meminfo: memFree=31675072/32770624 swapFree=66977128/67108860 [pid=30765] ppid=30762 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30765/stat : 30765 (xcsp3-exec) S 30762 30765 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446467962 115843072 363 33554432000 4194304 5098028 140727199085376 140727199083480 140422645748348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35540992 140727199093621 140727199093865 140727199093865 140727199096778 0 /proc/30765/statm: 28282 363 304 221 0 87 0 [pid=30767] ppid=30765 vsize=28231652 memory=49420 CPUtime=0.51 cores=0-7 /proc/30767/stat : 30767 (java) S 30765 30765 29062 0 -1 1077944320 10711 0 0 0 48 3 0 0 20 0 20 0 446467963 28909211648 12355 33554432000 4194304 4196468 140736646195136 140736646177680 140524696616695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 /proc/30767/statm: 7057913 12355 3356 1 0 7019032 0 [pid=30767/tid=30768] ppid=30765 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/30767/task/30768/stat : 30768 (java) R 30765 30765 29062 0 -1 4202560 7668 0 0 0 27 2 0 0 20 0 20 0 446467963 28909211648 12355 33554432000 4194304 4196468 140736646195136 140524700847808 140524680697212 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30769] ppid=30765 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30769/stat : 30769 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467964 28909211648 12355 33554432000 4194304 4196468 140736646195136 140524649236752 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30770] ppid=30765 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30770/stat : 30770 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467964 28909211648 12355 33554432000 4194304 4196468 140736646195136 140524648184208 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30771] ppid=30765 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30771/stat : 30771 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467964 28909211648 12355 33554432000 4194304 4196468 140736646195136 140524647131664 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30772] ppid=30765 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30772/stat : 30772 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467964 28909211648 12355 33554432000 4194304 4196468 140736646195136 140524646079120 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30773] ppid=30765 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/30767/task/30773/stat : 30773 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467964 28909211648 12355 33554432000 4194304 4196468 140736646195136 140524645026576 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30774] ppid=30765 vsize=28231652 memory=140446168871855 CPUtime=0 cores=0-7 /proc/30767/task/30774/stat : 30774 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467964 28909211648 12355 33554432000 4194304 4196468 140736646195136 140524643974032 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30775] ppid=30765 vsize=28231652 memory=140446168874160 CPUtime=0 cores=0-7 /proc/30767/task/30775/stat : 30775 (java) S 30765 30765 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446467964 28909211648 12355 33554432000 4194304 4196468 140736646195136 140524642921488 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30776] ppid=30765 vsize=28231652 memory=140446168876464 CPUtime=0 cores=0-7 /proc/30767/task/30776/stat : 30776 (java) S 30765 30765 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446467964 28909211648 12355 33554432000 4194304 4196468 140736646195136 140524641868944 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30777] ppid=30765 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30777/stat : 30777 (java) S 30765 30765 29062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446467965 28909211648 12355 33554432000 4194304 4196468 140736646195136 140523362080752 140524696627842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30778] ppid=30765 vsize=28231652 memory=280892337759888 CPUtime=0 cores=0-7 /proc/30767/task/30778/stat : 30778 (java) S 30765 30765 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446467966 28909211648 12355 33554432000 4194304 4196468 140736646195136 140523361026976 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30779] ppid=30765 vsize=28231652 memory=280892337766800 CPUtime=0 cores=0-7 /proc/30767/task/30779/stat : 30779 (java) S 30765 30765 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446467966 28909211648 12355 33554432000 4194304 4196468 140736646195136 140523359974384 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30780] ppid=30765 vsize=28231652 memory=280892337708048 CPUtime=0 cores=0-7 /proc/30767/task/30780/stat : 30780 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467968 28909211648 12355 33554432000 4194304 4196468 140736646195136 140523358922960 140524696635291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30781] ppid=30765 vsize=28231652 memory=280892337780624 CPUtime=0.03 cores=0-7 /proc/30767/task/30781/stat : 30781 (java) R 30765 30765 29062 0 -1 1077944384 387 0 0 0 3 0 0 0 20 0 20 0 446467968 28909211648 12355 33554432000 4194304 4196468 140736646195136 140523357870576 140524696627842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30782] ppid=30765 vsize=28231652 memory=280892337787536 CPUtime=0.03 cores=0-7 /proc/30767/task/30782/stat : 30782 (java) S 30765 30765 29062 0 -1 1077944384 185 0 0 0 3 0 0 0 20 0 20 0 446467968 28909211648 12355 33554432000 4194304 4196468 140736646195136 140523356818032 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30783] ppid=30765 vsize=28231652 memory=280892337785232 CPUtime=0.01 cores=0-7 /proc/30767/task/30783/stat : 30783 (java) R 30765 30765 29062 0 -1 4202560 211 0 0 0 1 0 0 0 20 0 20 0 446467968 28909211648 12355 33554432000 4194304 4196468 140736646195136 140523355755872 140524682680808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30784] ppid=30765 vsize=28231652 memory=280892337801392 CPUtime=0.12 cores=0-7 /proc/30767/task/30784/stat : 30784 (java) R 30765 30765 29062 0 -1 4202560 947 0 0 0 12 0 0 0 20 0 20 0 446467969 28909211648 12355 33554432000 4194304 4196468 140736646195136 140523354712944 140524688853822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30785] ppid=30765 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30785/stat : 30785 (java) S 30765 30765 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446467969 28909211648 12355 33554432000 4194304 4196468 140736646195136 140523353659616 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30786] ppid=30765 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30767/task/30786/stat : 30786 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446467969 28909211648 12355 33554432000 4194304 4196468 140736646195136 140523352607152 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50872 KiB [startup+0.700969 s] /proc/loadavg: 6.41 6.78 7.47 5/212 30786 /proc/meminfo: memFree=31631888/32770624 swapFree=66977128/67108860 [pid=30765] ppid=30762 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30765/stat : 30765 (xcsp3-exec) S 30762 30765 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446467962 115843072 363 33554432000 4194304 5098028 140727199085376 140727199083480 140422645748348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35540992 140727199093621 140727199093865 140727199093865 140727199096778 0 /proc/30765/statm: 28282 363 304 221 0 87 0 [pid=30767] ppid=30765 vsize=28233776 memory=213932 CPUtime=1.84 cores=0-7 /proc/30767/stat : 30767 (java) S 30765 30765 29062 0 -1 1077944320 16209 0 0 0 174 10 0 0 20 0 20 0 446467963 28911386624 53483 33554432000 4194304 4196468 140736646195136 140736646177680 140524696616695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 /proc/30767/statm: 7058444 53483 3460 1 0 7019544 0 [pid=30767/tid=30768] ppid=30765 vsize=28233776 memory=280892338159280 CPUtime=0.66 cores=0-7 /proc/30767/task/30768/stat : 30768 (java) R 30765 30765 29062 0 -1 4202560 8312 0 0 0 61 5 0 0 20 0 20 0 446467963 28911386624 53483 33554432000 4194304 4196468 140736646195136 140524700854816 140524303686425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30769] ppid=30765 vsize=28233776 memory=140446169080688 CPUtime=0 cores=0-7 /proc/30767/task/30769/stat : 30769 (java) S 30765 30765 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446467964 28911386624 53483 33554432000 4194304 4196468 140736646195136 140524649236752 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30770] ppid=30765 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30770/stat : 30770 (java) S 30765 30765 29062 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 446467964 28911386624 53483 33554432000 4194304 4196468 140736646195136 140524648184208 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30771] ppid=30765 vsize=28233776 memory=7872 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=30767/tid=30784] ppid=30765 vsize=28766288 memory=11976 CPUtime=0.65 cores=0-7 /proc/30767/task/30784/stat : 30784 (java) S 30765 30765 29062 0 -1 1077944384 5435 0 0 0 64 1 0 0 20 0 28 0 446467969 29456678912 769164 33554432000 4194304 4196468 140736646195136 140523354712944 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30785] ppid=30765 vsize=28766288 memory=11496 CPUtime=0 cores=0-7 /proc/30767/task/30785/stat : 30785 (java) S 30765 30765 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446467969 29456678912 769164 33554432000 4194304 4196468 140736646195136 140523353659616 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30786] ppid=30765 vsize=28766288 memory=303430223234596890 CPUtime=0.01 cores=0-7 /proc/30767/task/30786/stat : 30786 (java) S 30765 30765 29062 0 -1 1077944384 1252 0 0 0 0 1 0 0 20 0 28 0 446467969 29456678912 769164 33554432000 4194304 4196468 140736646195136 140523352607152 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30790] ppid=30765 vsize=28766288 memory=288230617509003574 CPUtime=14.47 cores=0-7 /proc/30767/task/30790/stat : 30790 (java) R 30765 30765 29062 0 -1 4202560 479 0 0 0 1446 1 0 0 20 0 28 0 446468967 29456678912 769164 33554432000 4194304 4196468 140736646195136 140523345484304 140524306685877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30791] ppid=30765 vsize=28766288 memory=15252640887999028 CPUtime=14.45 cores=0-7 /proc/30767/task/30791/stat : 30791 (java) R 30765 30765 29062 0 -1 4202560 791 0 0 0 1445 0 0 0 20 0 28 0 446468967 29456678912 769164 33554432000 4194304 4196468 140736646195136 140523274752200 140524306685737 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30792] ppid=30765 vsize=28766288 memory=14008 CPUtime=14.38 cores=0-7 /proc/30767/task/30792/stat : 30792 (java) R 30765 30765 29062 0 -1 4202560 1129 0 0 0 1435 3 0 0 20 0 28 0 446468967 29456678912 769164 33554432000 4194304 4196468 140736646195136 140523273699272 140524306270515 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30793] ppid=30765 vsize=28766288 memory=2120 CPUtime=14.23 cores=0-7 /proc/30767/task/30793/stat : 30793 (java) R 30765 30765 29062 0 -1 4202560 912 0 0 0 1422 1 0 0 20 0 28 0 446468967 29456678912 769164 33554432000 4194304 4196468 140736646195136 140523272647112 140524306270168 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30794] ppid=30765 vsize=28766288 memory=0 CPUtime=14.27 cores=0-7 /proc/30767/task/30794/stat : 30794 (java) R 30765 30765 29062 0 -1 4202560 938 0 0 0 1426 1 0 0 20 0 28 0 446468967 29456678912 769164 33554432000 4194304 4196468 140736646195136 140523271594424 140524306269664 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30795] ppid=30765 vsize=28766288 memory=280892339309168 CPUtime=14.4 cores=0-7 /proc/30767/task/30795/stat : 30795 (java) R 30765 30765 29062 0 -1 4202560 1226 0 0 0 1437 3 0 0 20 0 28 0 446468967 29456678912 769164 33554432000 4194304 4196468 140736646195136 140523270542024 140524306191216 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30796] ppid=30765 vsize=28766288 memory=140446169744068 CPUtime=14.26 cores=0-7 /proc/30767/task/30796/stat : 30796 (java) R 30765 30765 29062 0 -1 4202560 630 0 0 0 1425 1 0 0 20 0 28 0 446468967 29456678912 769164 33554432000 4194304 4196468 140736646195136 140523269488312 140524306686283 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30797] ppid=30765 vsize=28766288 memory=1564 CPUtime=14.45 cores=0-7 /proc/30767/task/30797/stat : 30797 (java) R 30765 30765 29062 0 -1 4202560 725 0 0 0 1444 1 0 0 20 0 28 0 446468967 29456678912 769164 33554432000 4194304 4196468 140736646195136 140523268435912 140524306191242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 Current children cumulated CPU time: 137.26 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 3078108 KiB [startup+25.2018 s] /proc/loadavg: 6.28 6.69 7.42 9/220 30797 /proc/meminfo: memFree=28639212/32770624 swapFree=66977128/67108860 [pid=30765] ppid=30762 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30765/stat : 30765 (xcsp3-exec) S 30762 30765 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446467962 115843072 363 33554432000 4194304 5098028 140727199085376 140727199083480 140422645748348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35540992 140727199093621 140727199093865 140727199093865 140727199096778 0 /proc/30765/statm: 28282 363 304 221 0 87 0 [pid=30767] ppid=30765 vsize=28766288 memory=3076676 CPUtime=140.46 cores=0-7 /proc/30767/stat : 30767 (java) S 30765 30765 29062 0 -1 1077944320 63465 0 0 0 13680 366 0 0 20 0 28 0 446467963 29456678912 769169 33554432000 4194304 4196468 140736646195136 140736646177680 140524696616695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 /proc/30767/statm: 7191572 769169 3537 1 0 7152672 0 [pid=30767/tid=30768] ppid=30765 vsize=28766288 memory=0 CPUtime=8.76 cores=0-7 /proc/30767/task/30768/stat : 30768 (java) S 30765 30765 29062 0 -1 1077944384 15204 0 0 0 843 33 0 0 20 0 28 0 446467963 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524700857472 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30769] ppid=30765 vsize=28766288 memory=0 CPUtime=1.07 cores=0-7 /proc/30767/task/30769/stat : 30769 (java) S 30765 30765 29062 0 -1 1077944384 910 0 0 0 69 38 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524649236752 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30770] ppid=30765 vsize=28766288 memory=0 CPUtime=1.07 cores=0-7 /proc/30767/task/30770/stat : 30770 (java) S 30765 30765 29062 0 -1 1077944384 1044 0 0 0 69 38 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524648184208 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30771] ppid=30765 vsize=28766288 memory=0 CPUtime=1.07 cores=0-7 /proc/30767/task/30771/stat : 30771 (java) S 30765 30765 29062 0 -1 1077944384 1202 0 0 0 69 38 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524647131664 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30772] ppid=30765 vsize=28766288 memory=0 CPUtime=1.09 cores=0-7 /proc/30767/task/30772/stat : 30772 (java) S 30765 30765 29062 0 -1 1077944384 931 0 0 0 70 39 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524646079120 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30773] ppid=30765 vsize=28766288 memory=0 CPUtime=1.08 cores=0-7 /proc/30767/task/30773/stat : 30773 (java) S 30765 30765 29062 0 -1 1077944384 1280 0 0 0 71 37 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524645026576 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30774] ppid=30765 vsize=28766288 memory=0 CPUtime=1.08 cores=0-7 /proc/30767/task/30774/stat : 30774 (java) S 30765 30765 29062 0 -1 1077944384 1040 0 0 0 71 37 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524643974032 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30775] ppid=30765 vsize=28766288 memory=0 CPUtime=1.08 cores=0-7 /proc/30767/task/30775/stat : 30775 (java) S 30765 30765 29062 0 -1 1077944384 1034 0 0 0 68 40 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524642921488 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30776] ppid=30765 vsize=28766288 memory=0 CPUtime=1.07 cores=0-7 /proc/30767/task/30776/stat : 30776 (java) S 30765 30765 29062 0 -1 1077944384 1112 0 0 0 70 37 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524641868944 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30777] ppid=30765 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7 /proc/30767/task/30777/stat : 30777 (java) S 30765 30765 29062 0 -1 1077944384 3738 0 0 0 12 0 0 0 20 0 28 0 446467965 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523362080752 140524696627842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30778] ppid=30765 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30778/stat : 30778 (java) S 30765 30765 29062 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 446467966 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523361027040 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30779] ppid=30765 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30779/stat : 30779 (java) S 30765 30765 29062 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 446467966 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523359974400 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30780] ppid=30765 vsize=28766288 memory=56 CPUtime=0 cores=0-7 /proc/30767/task/30780/stat : 30780 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446467968 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523358922960 140524696635291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30781] ppid=30765 vsize=28766288 memory=7295950583417696866 CPUtime=1.21 cores=0-7 /proc/30767/task/30781/stat : 30781 (java) S 30765 30765 29062 0 -1 1077944384 6553 0 0 0 119 2 0 0 20 0 28 0 446467968 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523357870576 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30782] ppid=30765 vsize=28766288 memory=7306316804797196914 CPUtime=1.38 cores=0-7 /proc/30767/task/30782/stat : 30782 (java) S 30765 30765 29062 0 -1 1077944384 7352 0 0 0 136 2 0 0 20 0 28 0 446467968 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523356818032 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30783] ppid=30765 vsize=28766288 memory=7306316804797196914 CPUtime=1.36 cores=0-7 /proc/30767/task/30783/stat : 30783 (java) S 30765 30765 29062 0 -1 1077944384 7053 0 0 0 136 0 0 0 20 0 28 0 446467968 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523355765488 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30784] ppid=30765 vsize=28766288 memory=7295950583417696866 CPUtime=0.65 cores=0-7 /proc/30767/task/30784/stat : 30784 (java) S 30765 30765 29062 0 -1 1077944384 5563 0 0 0 64 1 0 0 20 0 28 0 446467969 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523354712944 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30785] ppid=30765 vsize=28766288 memory=7306316804797196914 CPUtime=0 cores=0-7 /proc/30767/task/30785/stat : 30785 (java) S 30765 30765 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446467969 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523353659616 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30786] ppid=30765 vsize=28766288 memory=7306316804797196914 CPUtime=0.01 cores=0-7 /proc/30767/task/30786/stat : 30786 (java) S 30765 30765 29062 0 -1 1077944384 1252 0 0 0 0 1 0 0 20 0 28 0 446467969 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523352607152 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30790] ppid=30765 vsize=28766288 memory=7738965842889565526 CPUtime=14.87 cores=0-7 /proc/30767/task/30790/stat : 30790 (java) R 30765 30765 29062 0 -1 4202560 479 0 0 0 1486 1 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523345484304 140524306687680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30791] ppid=30765 vsize=28766288 memory=6011581402601046114 CPUtime=14.85 cores=0-7 /proc/30767/task/30791/stat : 30791 (java) R 30765 30765 29062 0 -1 4202560 791 0 0 0 1485 0 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523274752200 140524306207330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30792] ppid=30765 vsize=28766288 memory=7885618647264285542 CPUtime=14.78 cores=0-7 /proc/30767/task/30792/stat : 30792 (java) R 30765 30765 29062 0 -1 4202560 1129 0 0 0 1475 3 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523273699272 140524306688061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30793] ppid=30765 vsize=28766288 memory=7445682012477743424 CPUtime=14.63 cores=0-7 /proc/30767/task/30793/stat : 30793 (java) R 30765 30765 29062 0 -1 4202560 918 0 0 0 1462 1 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523272647112 140524306191231 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30794] ppid=30765 vsize=28766288 memory=7373916858537504097 CPUtime=14.67 cores=0-7 /proc/30767/task/30794/stat : 30794 (java) R 30765 30765 29062 0 -1 4202560 938 0 0 0 1466 1 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523271594424 140524306684451 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30795] ppid=30765 vsize=28766288 memory=-9123011407044636268 CPUtime=14.8 cores=0-7 /proc/30767/task/30795/stat : 30795 (java) R 30765 30765 29062 0 -1 4202560 1228 0 0 0 1477 3 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523270542024 140524306687567 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30796] ppid=30765 vsize=28766288 memory=-8634980985311628903 CPUtime=14.65 cores=0-7 /proc/30767/task/30796/stat : 30796 (java) R 30765 30765 29062 0 -1 4202560 630 0 0 0 1464 1 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523269488312 140524306687538 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30797] ppid=30765 vsize=28766288 memory=-8918990855134196790 CPUtime=14.85 cores=0-7 /proc/30767/task/30797/stat : 30797 (java) R 30765 30765 29062 0 -1 4202560 737 0 0 0 1484 1 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523268438344 140524306191216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 Current children cumulated CPU time: 140.46 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 3078128 KiB [startup+25.4018 s] /proc/loadavg: 6.28 6.69 7.42 9/220 30797 /proc/meminfo: memFree=28639212/32770624 swapFree=66977128/67108860 [pid=30765] ppid=30762 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30765/stat : 30765 (xcsp3-exec) S 30762 30765 29062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446467962 115843072 363 33554432000 4194304 5098028 140727199085376 140727199083480 140422645748348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35540992 140727199093621 140727199093865 140727199093865 140727199096778 0 /proc/30765/statm: 28282 363 304 221 0 87 0 [pid=30767] ppid=30765 vsize=28766288 memory=3076676 CPUtime=142.05 cores=0-7 /proc/30767/stat : 30767 (java) S 30765 30765 29062 0 -1 1077944320 63541 0 0 0 13839 366 0 0 20 0 28 0 446467963 29456678912 769169 33554432000 4194304 4196468 140736646195136 140736646177680 140524696616695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 /proc/30767/statm: 7191572 769169 3537 1 0 7152672 0 [pid=30767/tid=30768] ppid=30765 vsize=28766288 memory=140446169165168 CPUtime=8.76 cores=0-7 /proc/30767/task/30768/stat : 30768 (java) S 30765 30765 29062 0 -1 1077944384 15204 0 0 0 843 33 0 0 20 0 28 0 446467963 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524700857472 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30769] ppid=30765 vsize=28766288 memory=280892338953392 CPUtime=1.07 cores=0-7 /proc/30767/task/30769/stat : 30769 (java) S 30765 30765 29062 0 -1 1077944384 910 0 0 0 69 38 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524649236752 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30770] ppid=30765 vsize=28766288 memory=3832629693092687718 CPUtime=1.07 cores=0-7 /proc/30767/task/30770/stat : 30770 (java) S 30765 30765 29062 0 -1 1077944384 1044 0 0 0 69 38 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524648184208 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30771] ppid=30765 vsize=28766288 memory=6003408694269407334 CPUtime=1.07 cores=0-7 /proc/30767/task/30771/stat : 30771 (java) S 30765 30765 29062 0 -1 1077944384 1202 0 0 0 69 38 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524647131664 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30772] ppid=30765 vsize=28766288 memory=7379535457359785066 CPUtime=1.09 cores=0-7 /proc/30767/task/30772/stat : 30772 (java) S 30765 30765 29062 0 -1 1077944384 931 0 0 0 70 39 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524646079120 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30773] ppid=30765 vsize=28766288 memory=7379535457359785066 CPUtime=1.08 cores=0-7 /proc/30767/task/30773/stat : 30773 (java) S 30765 30765 29062 0 -1 1077944384 1280 0 0 0 71 37 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524645026576 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30774] ppid=30765 vsize=28766288 memory=7593181565730712166 CPUtime=1.08 cores=0-7 /proc/30767/task/30774/stat : 30774 (java) S 30765 30765 29062 0 -1 1077944384 1040 0 0 0 71 37 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524643974032 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30775] ppid=30765 vsize=28766288 memory=7379535457359785066 CPUtime=1.08 cores=0-7 /proc/30767/task/30775/stat : 30775 (java) S 30765 30765 29062 0 -1 1077944384 1034 0 0 0 68 40 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524642921488 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30776] ppid=30765 vsize=28766288 memory=7379535457359785066 CPUtime=1.07 cores=0-7 /proc/30767/task/30776/stat : 30776 (java) S 30765 30765 29062 0 -1 1077944384 1112 0 0 0 70 37 0 0 20 0 28 0 446467964 29456678912 769169 33554432000 4194304 4196468 140736646195136 140524641868944 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30777] ppid=30765 vsize=28766288 memory=7593181565730712166 CPUtime=0.12 cores=0-7 /proc/30767/task/30777/stat : 30777 (java) S 30765 30765 29062 0 -1 1077944384 3793 0 0 0 12 0 0 0 20 0 28 0 446467965 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523362080752 140524696627842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30778] ppid=30765 vsize=28766288 memory=7379535457359785066 CPUtime=0 cores=0-7 /proc/30767/task/30778/stat : 30778 (java) S 30765 30765 29062 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 446467966 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523361027040 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30779] ppid=30765 vsize=28766288 memory=7379535457359785066 CPUtime=0 cores=0-7 /proc/30767/task/30779/stat : 30779 (java) S 30765 30765 29062 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 446467966 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523359974400 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30780] ppid=30765 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30780/stat : 30780 (java) S 30765 30765 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446467968 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523358922960 140524696635291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30781] ppid=30765 vsize=28766288 memory=0 CPUtime=1.21 cores=0-7 /proc/30767/task/30781/stat : 30781 (java) S 30765 30765 29062 0 -1 1077944384 6553 0 0 0 119 2 0 0 20 0 28 0 446467968 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523357870576 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30782] ppid=30765 vsize=28766288 memory=0 CPUtime=1.38 cores=0-7 /proc/30767/task/30782/stat : 30782 (java) S 30765 30765 29062 0 -1 1077944384 7352 0 0 0 136 2 0 0 20 0 28 0 446467968 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523356818032 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30783] ppid=30765 vsize=28766288 memory=0 CPUtime=1.36 cores=0-7 /proc/30767/task/30783/stat : 30783 (java) S 30765 30765 29062 0 -1 1077944384 7053 0 0 0 136 0 0 0 20 0 28 0 446467968 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523355765488 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30784] ppid=30765 vsize=28766288 memory=0 CPUtime=0.65 cores=0-7 /proc/30767/task/30784/stat : 30784 (java) S 30765 30765 29062 0 -1 1077944384 5563 0 0 0 64 1 0 0 20 0 28 0 446467969 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523354712944 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30785] ppid=30765 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/30767/task/30785/stat : 30785 (java) S 30765 30765 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446467969 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523353659616 140524696626901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30786] ppid=30765 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/30767/task/30786/stat : 30786 (java) S 30765 30765 29062 0 -1 1077944384 1252 0 0 0 0 1 0 0 20 0 28 0 446467969 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523352607152 140524696627842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30790] ppid=30765 vsize=28766288 memory=0 CPUtime=15.07 cores=0-7 /proc/30767/task/30790/stat : 30790 (java) R 30765 30765 29062 0 -1 4202560 479 0 0 0 1506 1 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523345484560 140524306687558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30791] ppid=30765 vsize=28766288 memory=0 CPUtime=15.05 cores=0-7 /proc/30767/task/30791/stat : 30791 (java) R 30765 30765 29062 0 -1 4202560 795 0 0 0 1505 0 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523274751920 140524306270168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30792] ppid=30765 vsize=28766288 memory=0 CPUtime=14.98 cores=0-7 /proc/30767/task/30792/stat : 30792 (java) R 30765 30765 29062 0 -1 4202560 1132 0 0 0 1495 3 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523273699512 140524306270283 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30793] ppid=30765 vsize=28766288 memory=0 CPUtime=14.83 cores=0-7 /proc/30767/task/30793/stat : 30793 (java) R 30765 30765 29062 0 -1 4202560 922 0 0 0 1482 1 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523272646832 140524306685936 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30794] ppid=30765 vsize=28766288 memory=0 CPUtime=14.87 cores=0-7 /proc/30767/task/30794/stat : 30794 (java) R 30765 30765 29062 0 -1 4202560 940 0 0 0 1486 1 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523271594568 140524306270283 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30795] ppid=30765 vsize=28766288 memory=0 CPUtime=15 cores=0-7 /proc/30767/task/30795/stat : 30795 (java) R 30765 30765 29062 0 -1 4202560 1230 0 0 0 1497 3 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523270542024 140524306685987 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30796] ppid=30765 vsize=28766288 memory=0 CPUtime=14.84 cores=0-7 /proc/30767/task/30796/stat : 30796 (java) R 30765 30765 29062 0 -1 4202560 632 0 0 0 1483 1 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523269488312 140524306687753 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 [pid=30767/tid=30797] ppid=30765 vsize=28766288 memory=0 CPUtime=15.05 cores=0-7 /proc/30767/task/30797/stat : 30797 (java) R 30765 30765 29062 0 -1 4202560 741 0 0 0 1504 1 0 0 20 0 28 0 446468967 29456678912 769169 33554432000 4194304 4196468 140736646195136 140523268435776 140524306191211 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34775040 140736646202346 140736646202518 140736646202518 140736646205391 0 Current children cumulated CPU time: 142.05 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 3078128 KiB Child status: 0 Real time (s): 25.4831 CPU time (s): 142.538 CPU user time (s): 138.857 CPU system time (s): 3.68136 CPU usage (%): 559.345 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 3085204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 138.857 system time used= 3.68136 maximum resident set size= 3083752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65257 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5544 involuntary context switches= 1975 # summary of solver processes directly reported to runsolver: # pid: 30765 # total CPU time (s): 142.538 # total CPU user time (s): 138.857 # total CPU system time (s): 3.68136 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.220202 second user time and 0.338855 second system time The end
Begin job on node121 at 2019-09-17 08:33:31 IDJOB=4399459 IDBENCH=121201 IDSOLVER=2854 FILE ID=node121/4399459-1568702053 RUNJOBID= node121-1568700707-29089 PBS_JOBID= 21703902 Free space on /tmp= 61400 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Random/Random-m1-7-40-8t/rand-7-40-8-40-15000-9.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-4399459-1568702053/watcher-4399459-1568702053 -o /tmp/evaluation-result-4399459-1568702053/solver-4399459-1568702053 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1990267668 HOME/instance-4399459-1568702053.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 134b875ea7bd230347634fe517213ca9 RANDOM SEED=1990267668 node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 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: 31708836 kB MemAvailable: 31919320 kB Buffers: 64720 kB Cached: 443824 kB SwapCached: 10796 kB Active: 216936 kB Inactive: 306644 kB Active(anon): 5384 kB Inactive(anon): 42372 kB Active(file): 211552 kB Inactive(file): 264272 kB Unevictable: 109148 kB Mlocked: 109148 kB SwapTotal: 67108860 kB SwapFree: 66977128 kB Dirty: 34668 kB Writeback: 0 kB AnonPages: 282792 kB Mapped: 42076 kB Shmem: 23932 kB Slab: 130600 kB SReclaimable: 100988 kB SUnreclaim: 29612 kB KernelStack: 3888 kB PageTables: 5504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506792 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61372 MiB End job on node121 at 2019-09-17 08:33:57