Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | UNSAT | 82.237701 | 43.880001 |
Name | QRandom/QRandom-mdd-7-25-5-p9/ mdd-7-25-5-ps05-psh09-3.xml |
MD5SUM | 47cdae4cc979e49bd09b7efbbe69f743 |
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 | 9.9050102 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 58 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":25}] |
Minimum variable degree | 12 |
Maximum variable degree | 22 |
Distribution of variable degrees | [{"degree":12,"count":3},{"degree":13,"count":1},{"degree":14,"count":3},{"degree":15,"count":4},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":1},{"degree":19,"count":4},{"degree":20,"count":2},{"degree":22,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":58}] |
Number of extensional constraints | 58 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":58}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280952-1503135563.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280952-1503135563.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.26 c parse instance... 71.92/42.51 c solve instance... 81.94/43.83 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 (12735 MiB free) memory of node 1: 16384 MiB (13975 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280952-1503135563/watcher-4280952-1503135563 -o /tmp/evaluation-result-4280952-1503135563/solver-4280952-1503135563 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503134422-11797 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 664315946 HOME/instance-4280952-1503135563.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=12299, runsolver pid=12296 [startup+0.100153 s]* /proc/loadavg: 3.34 4.62 6.56 2/199 12320 /proc/meminfo: memFree=27337644/32770624 swapFree=67108860/67108860 [pid=12299] ppid=12296 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12299/stat : 12299 (xcsp3-exec) S 12296 12299 11770 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146643947 9740288 346 33554432000 4194304 5098028 140723176039936 140723176038040 139844489052796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10895360 140723176047717 140723176047927 140723176047927 140723176050667 0 /proc/12299/statm: 2378 346 289 221 0 87 0 [pid=12301] ppid=12299 vsize=25999808 memory=26328 CPUtime=0.11 cores=0-7 /proc/12301/stat : 12301 (java) S 12299 12299 11770 0 -1 1077944320 5479 0 0 0 10 1 0 0 20 0 20 0 146643947 26623803392 6582 33554432000 4194304 4196468 140735347702336 140735347684880 140564597587703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 /proc/12301/statm: 6499952 6582 2848 1 0 6488269 0 [pid=12301/tid=12302] ppid=12299 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/12301/task/12302/stat : 12302 (java) R 12299 12299 11770 0 -1 4202560 3490 0 0 0 8 0 0 0 20 0 20 0 146643947 26623803392 6582 33554432000 4194304 4196468 140735347702336 140564601820976 140564581668190 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12303] ppid=12299 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/12301/task/12303/stat : 12303 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643948 26623803392 6582 33554432000 4194304 4196468 140735347702336 140564550208016 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12304] ppid=12299 vsize=25999808 memory=139912666035840 CPUtime=0 cores=0-7 /proc/12301/task/12304/stat : 12304 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643948 26623803392 6582 33554432000 4194304 4196468 140735347702336 140564154940048 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12305] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12305/stat : 12305 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643948 26623803392 6582 33554432000 4194304 4196468 140735347702336 140564153886992 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12306] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12306/stat : 12306 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643948 26623803392 6582 33554432000 4194304 4196468 140735347702336 140564152834448 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12307] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12307/stat : 12307 (java) S 12299 12299 11770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146643948 26623803392 6582 33554432000 4194304 4196468 140735347702336 140564151782416 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12308] ppid=12299 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/12301/task/12308/stat : 12308 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643948 26623803392 6582 33554432000 4194304 4196468 140735347702336 140564150729872 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12309] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12309/stat : 12309 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643948 26623803392 6582 33554432000 4194304 4196468 140735347702336 140564149676816 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12310] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12310/stat : 12310 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643948 26623803392 6582 33554432000 4194304 4196468 140735347702336 140564148624272 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12311] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12311/stat : 12311 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643950 26623803392 6582 33554432000 4194304 4196468 140735347702336 140563925879024 140564597598850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12312] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12312/stat : 12312 (java) S 12299 12299 11770 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146643950 26623803392 6582 33554432000 4194304 4196468 140735347702336 140563924825248 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12313] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12313/stat : 12313 (java) S 12299 12299 11770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146643950 26623803392 6582 33554432000 4194304 4196468 140735347702336 140563923772144 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12314] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12314/stat : 12314 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643953 26623803392 6582 33554432000 4194304 4196468 140735347702336 140563922720720 140564597606299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12315] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12315/stat : 12315 (java) S 12299 12299 11770 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 146643953 26623803392 6582 33554432000 4194304 4196468 140735347702336 140563921668848 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12316] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12316/stat : 12316 (java) S 12299 12299 11770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146643953 26623803392 6582 33554432000 4194304 4196468 140735347702336 140563920616304 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12317] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12317/stat : 12317 (java) S 12299 12299 11770 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 146643953 26623803392 6582 33554432000 4194304 4196468 140735347702336 140563919563248 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12318] ppid=12299 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/12301/task/12318/stat : 12318 (java) R 12299 12299 11770 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 146643953 26623803392 6582 33554432000 4194304 4196468 140735347702336 140563918510704 140564597609050 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12319] ppid=12299 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12319/stat : 12319 (java) S 12299 12299 11770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146643953 26623803392 6582 33554432000 4194304 4196468 140735347702336 140563917457888 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12320] ppid=12299 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/12301/task/12320/stat : 12320 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643953 26623803392 6582 33554432000 4194304 4196468 140735347702336 140563916405424 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27712 KiB [startup+0.210063 s]* /proc/loadavg: 3.34 4.62 6.56 2/199 12320 /proc/meminfo: memFree=27326852/32770624 swapFree=67108860/67108860 [pid=12299] ppid=12296 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12299/stat : 12299 (xcsp3-exec) S 12296 12299 11770 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146643947 9740288 346 33554432000 4194304 5098028 140723176039936 140723176038040 139844489052796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10895360 140723176047717 140723176047927 140723176047927 140723176050667 0 /proc/12299/statm: 2378 346 289 221 0 87 0 [pid=12301] ppid=12299 vsize=26004064 memory=38844 CPUtime=0.32 cores=0-7 /proc/12301/stat : 12301 (java) S 12299 12299 11770 0 -1 1077944320 8294 0 0 0 30 2 0 0 20 0 20 0 146643947 26628161536 9711 33554432000 4194304 4196468 140735347702336 140735347684880 140564597587703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 /proc/12301/statm: 6501016 9711 3079 1 0 6488269 0 [pid=12301/tid=12302] ppid=12299 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/12301/task/12302/stat : 12302 (java) D 12299 12299 11770 0 -1 1077944384 5402 0 0 0 18 1 0 0 20 0 20 0 146643947 26628161536 9711 33554432000 4194304 4196468 140735347702336 140564601798512 140564590266925 0 4 0 16800975 18446744072101707300 0 0 -1 6 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12303] ppid=12299 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/12301/task/12303/stat : 12303 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643948 26628161536 9711 33554432000 4194304 4196468 140735347702336 140564550208016 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12304] ppid=12299 vsize=26004064 memory=139912666722295 CPUtime=0 cores=0-7 /proc/12301/task/12304/stat : 12304 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643948 26628161536 9711 33554432000 4194304 4196468 140735347702336 140564154940048 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12305] ppid=12299 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/12301/task/12305/stat : 12305 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643948 26628194304 9711 33554432000 4194304 4196468 140735347702336 140564153886992 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12306] ppid=12299 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12306/stat : 12306 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643948 26628194304 9711 33554432000 4194304 4196468 140735347702336 140564152834448 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12307] ppid=12299 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12307/stat : 12307 (java) S 12299 12299 11770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146643948 26628194304 9711 33554432000 4194304 4196468 140735347702336 140564151782416 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12308] ppid=12299 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/12301/task/12308/stat : 12308 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643948 26628194304 9711 33554432000 4194304 4196468 140735347702336 140564150729872 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12309] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12309/stat : 12309 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643948 26628161536 9732 33554432000 4194304 4196468 140735347702336 140564149676816 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12310] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12310/stat : 12310 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643948 26628161536 9732 33554432000 4194304 4196468 140735347702336 140564148624272 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12311] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12311/stat : 12311 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643950 26628161536 9732 33554432000 4194304 4196468 140735347702336 140563925879024 140564597598850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12312] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12312/stat : 12312 (java) S 12299 12299 11770 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146643950 26628161536 9732 33554432000 4194304 4196468 140735347702336 140563924825248 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12313] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12313/stat : 12313 (java) S 12299 12299 11770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146643950 26628161536 9732 33554432000 4194304 4196468 140735347702336 140563923772144 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12314] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12314/stat : 12314 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643953 26628161536 9732 33554432000 4194304 4196468 140735347702336 140563922720720 140564597606299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12315] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12315/stat : 12315 (java) S 12299 12299 11770 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 146643953 26628161536 9732 33554432000 4194304 4196468 140735347702336 140563921668848 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12316] ppid=12299 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7 /proc/12301/task/12316/stat : 12316 (java) S 12299 12299 11770 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 20 0 146643953 26628194304 9732 33554432000 4194304 4196468 140735347702336 140563920616304 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12317] ppid=12299 vsize=26004096 memory=-1 CPUtime=0.01 cores=0-7 /proc/12301/task/12317/stat : 12317 (java) S 12299 12299 11770 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 20 0 146643953 26628194304 9732 33554432000 4194304 4196468 140735347702336 140563919563248 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12318] ppid=12299 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/12301/task/12318/stat : 12318 (java) S 12299 12299 11770 0 -1 1077944384 761 0 0 0 7 0 0 0 20 0 20 0 146643953 26628161536 9732 33554432000 4194304 4196468 140735347702336 140563918510704 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12319] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12319/stat : 12319 (java) S 12299 12299 11770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146643953 26628161536 9732 33554432000 4194304 4196468 140735347702336 140563917457888 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12320] ppid=12299 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/12301/task/12320/stat : 12320 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643953 26628161536 9732 33554432000 4194304 4196468 140735347702336 140563916405424 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40228 KiB [startup+0.309384 s]* /proc/loadavg: 3.34 4.62 6.56 3/199 12320 /proc/meminfo: memFree=27319860/32770624 swapFree=67108860/67108860 [pid=12299] ppid=12296 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12299/stat : 12299 (xcsp3-exec) S 12296 12299 11770 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146643947 9740288 346 33554432000 4194304 5098028 140723176039936 140723176038040 139844489052796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10895360 140723176047717 140723176047927 140723176047927 140723176050667 0 /proc/12299/statm: 2378 346 289 221 0 87 0 [pid=12301] ppid=12299 vsize=26004064 memory=46052 CPUtime=0.5 cores=0-7 /proc/12301/stat : 12301 (java) S 12299 12299 11770 0 -1 1077944320 9209 0 0 0 47 3 0 0 20 0 20 0 146643947 26628161536 11513 33554432000 4194304 4196468 140735347702336 140735347684880 140564597587703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 /proc/12301/statm: 6501016 11513 3108 1 0 6488269 0 [pid=12301/tid=12302] ppid=12299 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/12301/task/12302/stat : 12302 (java) R 12299 12299 11770 0 -1 4202560 6062 0 0 0 28 1 0 0 20 0 20 0 146643947 26628161536 11513 33554432000 4194304 4196468 140735347702336 140564601825440 140564597609629 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12303] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12303/stat : 12303 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643948 26628161536 11513 33554432000 4194304 4196468 140735347702336 140564550208016 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12304] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12304/stat : 12304 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643948 26628161536 11513 33554432000 4194304 4196468 140735347702336 140564154940048 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12305] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12305/stat : 12305 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643948 26628161536 11513 33554432000 4194304 4196468 140735347702336 140564153886992 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12306] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12306/stat : 12306 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643948 26628161536 11513 33554432000 4194304 4196468 140735347702336 140564152834448 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12307] ppid=12299 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/12301/task/12307/stat : 12307 (java) S 12299 12299 11770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146643948 26628161536 11513 33554432000 4194304 4196468 140735347702336 140564151782416 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12308] ppid=12299 vsize=26004064 memory=139912519185327 CPUtime=0 cores=0-7 /proc/12301/task/12308/stat : 12308 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643948 26628161536 11513 33554432000 4194304 4196468 140735347702336 140564150729872 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12309] ppid=12299 vsize=26004064 memory=139912519187632 CPUtime=0 cores=0-7 /proc/12301/task/12309/stat : 12309 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643948 26628161536 11513 33554432000 4194304 4196468 140735347702336 140564149676816 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12310] ppid=12299 vsize=26004064 memory=139912519189936 CPUtime=0 cores=0-7 /proc/12301/task/12310/stat : 12310 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643948 26628161536 11513 33554432000 4194304 4196468 140735347702336 140564148624272 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12311] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12311/stat : 12311 (java) S 12299 12299 11770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146643950 26628161536 11513 33554432000 4194304 4196468 140735347702336 140563925879024 140564597598850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12312] ppid=12299 vsize=26004064 memory=279825038386832 CPUtime=0 cores=0-7 /proc/12301/task/12312/stat : 12312 (java) S 12299 12299 11770 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146643950 26628161536 11513 33554432000 4194304 4196468 140735347702336 140563924825248 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12313] ppid=12299 vsize=26004064 memory=279825038393744 CPUtime=0 cores=0-7 /proc/12301/task/12313/stat : 12313 (java) S 12299 12299 11770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146643950 26628161536 11513 33554432000 4194304 4196468 140735347702336 140563923772144 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12314] ppid=12299 vsize=26004064 memory=279825038335024 CPUtime=0 cores=0-7 /proc/12301/task/12314/stat : 12314 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643953 26628161536 11513 33554432000 4194304 4196468 140735347702336 140563922720720 140564597606299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12315] ppid=12299 vsize=26004064 memory=279825038407568 CPUtime=0.01 cores=0-7 /proc/12301/task/12315/stat : 12315 (java) R 12299 12299 11770 0 -1 4202560 384 0 0 0 1 0 0 0 20 0 20 0 146643953 26628161536 11513 33554432000 4194304 4196468 140735347702336 140563921668848 140564582469328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12316] ppid=12299 vsize=26004064 memory=279825038414480 CPUtime=0.03 cores=0-7 /proc/12301/task/12316/stat : 12316 (java) S 12299 12299 11770 0 -1 1077944384 295 0 0 0 3 0 0 0 20 0 20 0 146643953 26628161536 11513 33554432000 4194304 4196468 140735347702336 140563920616304 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12317] ppid=12299 vsize=26004064 memory=279825038412176 CPUtime=0.02 cores=0-7 /proc/12301/task/12317/stat : 12317 (java) R 12299 12299 11770 0 -1 4202560 297 0 0 0 2 0 0 0 20 0 20 0 146643953 26628161536 11513 33554432000 4194304 4196468 140735347702336 140563919563248 140564589824830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12318] ppid=12299 vsize=26004064 memory=279825038428336 CPUtime=0.11 cores=0-7 /proc/12301/task/12318/stat : 12318 (java) S 12299 12299 11770 0 -1 1077944384 889 0 0 0 11 0 0 0 20 0 20 0 146643953 26628161536 11513 33554432000 4194304 4196468 140735347702336 140563918510704 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12319] ppid=12299 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12319/stat : 12319 (java) S 12299 12299 11770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146643953 26628161536 11513 33554432000 4194304 4196468 140735347702336 140563917457888 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12320] ppid=12299 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/12301/task/12320/stat : 12320 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146643953 26628161536 11513 33554432000 4194304 4196468 140735347702336 140563916405424 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47436 KiB [startup+0.701143 s] /proc/loadavg: 3.34 4.62 6.56 6/199 12320 /proc/meminfo: memFree=27238656/32770624 swapFree=67108860/67108860 [pid=12299] ppid=12296 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12299/stat : 12299 (xcsp3-exec) S 12296 12299 11770 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146643947 9740288 346 33554432000 4194304 5098028 140723176039936 140723176038040 139844489052796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10895360 140723176047717 140723176047927 140723176047927 140723176050667 0 /proc/12299/statm: 2378 346 289 221 0 87 0 [pid=12301] ppid=12299 vsize=26004140 memory=252876 CPUtime=1.81 cores=0-7 /proc/12301/stat : 12301 (java) S 12299 12299 11770 0 -1 1077944320 12612 0 0 0 160 21 0 0 20 0 20 0 146643947 26628239360 63219 33554432000 4194304 4196468 140735347702336 140735347684880 140564597587703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 /proc/12301/statm: 6501035 63219 3206 1 0 6488269 0 [pid=12301/tid=12302] ppid=12299 vsize=26004140 memory=279825038786224 CPUtime=0.63 cores=0-7 /proc/12301/task/12302/stat : 12302 (java) R 12299 12299 11770 0 -1 4202560 6393 0 0 0 59 4 0 0 20 0 20 0 146643947 26628239360 63219 33554432000 4194304 4196468 140735347702336 140564601824160 140564232905986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12303] ppid=12299 vsize=26004140 memory=139912519394160 CPUtime=0.02 cores=0-7 /proc/12301/task/12303/stat : 12303 (java) S 12299 12299 11770 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 20 0 146643948 26628239360 63219 33554432000 4194304 4196468 140735347702336 140564550208016 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12304] ppid=12299 vsize=26004140 memory=0 CPUtime=0.03 cores=0-7 /proc/12301/task/12304/stat : 12304 (java) S 12299 12299 11770 0 -1 1077944384 48 0 0 0 1 2 0 0 20 0 20 0 146643948 26628239360 63219 33554432000 4194304 4196468 140735347702336 140564154940048 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12305] ppid=12299 vsize=26004140 memory=4612 CPUtime=0.02 cores=0-7 /proc/12301/task/12305/stat : 12305 (java) S 12299 12299 11770 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 20 0 146643948 26628239360 63219 33554432000 4194304 4196468 140735347702336 140564153886992 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 ################ # More data... # ################ [pid=12301/tid=12318] ppid=12299 vsize=26538700 memory=4128 CPUtime=0.63 cores=0-7 /proc/12301/task/12318/stat : 12318 (java) S 12299 12299 11770 0 -1 1077944384 5401 0 0 0 61 2 0 0 20 0 28 0 146643953 27175628800 1650945 33554432000 4194304 4196468 140735347702336 140563918510544 140564597608893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12319] ppid=12299 vsize=26538700 memory=928 CPUtime=0 cores=0-7 /proc/12301/task/12319/stat : 12319 (java) S 12299 12299 11770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146643953 27175628800 1650945 33554432000 4194304 4196468 140735347702336 140563917457888 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12320] ppid=12299 vsize=26538700 memory=1576 CPUtime=0.01 cores=0-7 /proc/12301/task/12320/stat : 12320 (java) S 12299 12299 11770 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 28 0 146643953 27175628800 1650945 33554432000 4194304 4196468 140735347702336 140563916405424 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12321] ppid=12299 vsize=26538700 memory=2196 CPUtime=0.55 cores=0-7 /proc/12301/task/12321/stat : 12321 (java) R 12299 12299 11770 0 -1 4202560 92 0 0 0 55 0 0 0 20 0 28 0 146648199 27175628800 1650945 33554432000 4194304 4196468 140735347702336 140563908393408 140564232922496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12322] ppid=12299 vsize=26538700 memory=8040 CPUtime=0.54 cores=0-7 /proc/12301/task/12322/stat : 12322 (java) R 12299 12299 11770 0 -1 4202560 102 0 0 0 54 0 0 0 20 0 28 0 146648200 27175628800 1650945 33554432000 4194304 4196468 140735347702336 140563907342176 140564232530663 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12323] ppid=12299 vsize=26538700 memory=840 CPUtime=0.52 cores=0-7 /proc/12301/task/12323/stat : 12323 (java) R 12299 12299 11770 0 -1 4202560 68 0 0 0 52 0 0 0 20 0 28 0 146648200 27175628800 1650945 33554432000 4194304 4196468 140735347702336 140563906291960 140564232922964 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12324] ppid=12299 vsize=26538700 memory=4100 CPUtime=0.51 cores=0-7 /proc/12301/task/12324/stat : 12324 (java) R 12299 12299 11770 0 -1 4202560 132 0 0 0 50 1 0 0 20 0 28 0 146648200 27175628800 1650945 33554432000 4194304 4196468 140735347702336 140563905240072 140564597599638 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12325] ppid=12299 vsize=26538700 memory=1696 CPUtime=0.43 cores=0-7 /proc/12301/task/12325/stat : 12325 (java) R 12299 12299 11770 0 -1 4202560 72 0 0 0 43 0 0 0 20 0 28 0 146648200 27175628800 1650945 33554432000 4194304 4196468 140735347702336 140563904186792 140564232620234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12326] ppid=12299 vsize=26538700 memory=920 CPUtime=0.51 cores=0-7 /proc/12301/task/12326/stat : 12326 (java) R 12299 12299 11770 0 -1 4202560 60 0 0 0 51 0 0 0 20 0 28 0 146648200 27175628800 1650945 33554432000 4194304 4196468 140735347702336 140563903132264 140564232150033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12327] ppid=12299 vsize=26538700 memory=4116 CPUtime=0.62 cores=0-7 /proc/12301/task/12327/stat : 12327 (java) R 12299 12299 11770 0 -1 4202560 94 0 0 0 61 1 0 0 20 0 28 0 146648200 27175628800 1650945 33554432000 4194304 4196468 140735347702336 140563902078888 140564232922967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12328] ppid=12299 vsize=26538700 memory=1384 CPUtime=0.47 cores=0-7 /proc/12301/task/12328/stat : 12328 (java) R 12299 12299 11770 0 -1 4202560 112 0 0 0 47 0 0 0 20 0 28 0 146648200 27175628800 1650945 33554432000 4194304 4196468 140735347702336 140563901028280 140564232620208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 Current children cumulated CPU time: 77.2 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 6604900 KiB [startup+43.602 s] /proc/loadavg: 2.04 4.13 6.32 10/207 12328 /proc/meminfo: memFree=20760448/32770624 swapFree=67108860/67108860 [pid=12299] ppid=12296 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12299/stat : 12299 (xcsp3-exec) S 12296 12299 11770 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146643947 9740288 346 33554432000 4194304 5098028 140723176039936 140723176038040 139844489052796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10895360 140723176047717 140723176047927 140723176047927 140723176050667 0 /proc/12299/statm: 2378 346 289 221 0 87 0 [pid=12301] ppid=12299 vsize=26538700 memory=6617148 CPUtime=80.36 cores=0-7 /proc/12301/stat : 12301 (java) S 12299 12299 11770 0 -1 1077944320 77035 0 0 0 7114 922 0 0 20 0 28 0 146643947 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140735347684880 140564597587703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 /proc/12301/statm: 6634675 1654287 3267 1 0 6621909 0 [pid=12301/tid=12302] ppid=12299 vsize=26538700 memory=1384 CPUtime=37.04 cores=0-7 /proc/12301/task/12302/stat : 12302 (java) S 12299 12299 11770 0 -1 1077944384 21492 0 0 0 3637 67 0 0 20 0 28 0 146643947 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140564601828480 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12303] ppid=12299 vsize=26538700 memory=6568544 CPUtime=3.9 cores=0-7 /proc/12301/task/12303/stat : 12303 (java) S 12299 12299 11770 0 -1 1077944384 5055 0 0 0 288 102 0 0 20 0 28 0 146643948 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140564550208016 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12304] ppid=12299 vsize=26538700 memory=6791534058613427641 CPUtime=3.87 cores=0-7 /proc/12301/task/12304/stat : 12304 (java) S 12299 12299 11770 0 -1 1077944384 2546 0 0 0 281 106 0 0 20 0 28 0 146643948 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140564154940048 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12305] ppid=12299 vsize=26538700 memory=4872558044660077418 CPUtime=3.89 cores=0-7 /proc/12301/task/12305/stat : 12305 (java) S 12299 12299 11770 0 -1 1077944384 3496 0 0 0 287 102 0 0 20 0 28 0 146643948 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140564153886992 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12306] ppid=12299 vsize=26538700 memory=6944656592455097440 CPUtime=3.91 cores=0-7 /proc/12301/task/12306/stat : 12306 (java) S 12299 12299 11770 0 -1 1077944384 4093 0 0 0 282 109 0 0 20 0 28 0 146643948 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140564152834448 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12307] ppid=12299 vsize=26538700 memory=6944656592387989600 CPUtime=3.91 cores=0-7 /proc/12301/task/12307/stat : 12307 (java) S 12299 12299 11770 0 -1 1077944384 3789 0 0 0 285 106 0 0 20 0 28 0 146643948 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140564151782416 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12308] ppid=12299 vsize=26538700 memory=6944656592455360604 CPUtime=3.91 cores=0-7 /proc/12301/task/12308/stat : 12308 (java) S 12299 12299 11770 0 -1 1077944384 3482 0 0 0 284 107 0 0 20 0 28 0 146643948 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140564150729872 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12309] ppid=12299 vsize=26538700 memory=-7595718147998060693 CPUtime=3.88 cores=0-7 /proc/12301/task/12309/stat : 12309 (java) S 12299 12299 11770 0 -1 1077944384 3033 0 0 0 284 104 0 0 20 0 28 0 146643948 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140564149676816 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12310] ppid=12299 vsize=26538700 memory=4140 CPUtime=3.86 cores=0-7 /proc/12301/task/12310/stat : 12310 (java) S 12299 12299 11770 0 -1 1077944384 2761 0 0 0 286 100 0 0 20 0 28 0 146643948 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140564148624272 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12311] ppid=12299 vsize=26538700 memory=40496 CPUtime=1.48 cores=0-7 /proc/12301/task/12311/stat : 12311 (java) S 12299 12299 11770 0 -1 1077944384 7896 0 0 0 147 1 0 0 20 0 28 0 146643950 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563925879024 140564597598850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12312] ppid=12299 vsize=26538700 memory=1296 CPUtime=0 cores=0-7 /proc/12301/task/12312/stat : 12312 (java) S 12299 12299 11770 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 146643950 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563924825312 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12313] ppid=12299 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/12301/task/12313/stat : 12313 (java) S 12299 12299 11770 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 28 0 146643950 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563923772160 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12314] ppid=12299 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/12301/task/12314/stat : 12314 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146643953 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563922720720 140564597606299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12315] ppid=12299 vsize=26538700 memory=6568544 CPUtime=1 cores=0-7 /proc/12301/task/12315/stat : 12315 (java) R 12299 12299 11770 0 -1 4202560 3267 0 0 0 99 1 0 0 20 0 28 0 146643953 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563921654944 140564577084989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12316] ppid=12299 vsize=26538700 memory=1384 CPUtime=1.14 cores=0-7 /proc/12301/task/12316/stat : 12316 (java) R 12299 12299 11770 0 -1 4202560 3900 0 0 0 113 1 0 0 20 0 28 0 146643953 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563920607024 140564579112540 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12317] ppid=12299 vsize=26538700 memory=6048340 CPUtime=0.96 cores=0-7 /proc/12301/task/12317/stat : 12317 (java) R 12299 12299 11770 0 -1 4202560 4267 0 0 0 95 1 0 0 20 0 28 0 146643953 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563919562384 140564581557539 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12318] ppid=12299 vsize=26538700 memory=0 CPUtime=0.64 cores=0-7 /proc/12301/task/12318/stat : 12318 (java) S 12299 12299 11770 0 -1 1077944384 5414 0 0 0 62 2 0 0 20 0 28 0 146643953 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563918510704 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12319] ppid=12299 vsize=26538700 memory=13589 CPUtime=0 cores=0-7 /proc/12301/task/12319/stat : 12319 (java) S 12299 12299 11770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146643953 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563917457888 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12320] ppid=12299 vsize=26538700 memory=689527 CPUtime=0.01 cores=0-7 /proc/12301/task/12320/stat : 12320 (java) S 12299 12299 11770 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 28 0 146643953 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563916405424 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12321] ppid=12299 vsize=26538700 memory=7598811100138176585 CPUtime=0.88 cores=0-7 /proc/12301/task/12321/stat : 12321 (java) R 12299 12299 11770 0 -1 4202560 92 0 0 0 88 0 0 0 20 0 28 0 146648199 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563908393408 140564232920245 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12322] ppid=12299 vsize=26538700 memory=279825038180592 CPUtime=0.93 cores=0-7 /proc/12301/task/12322/stat : 12322 (java) R 12299 12299 11770 0 -1 4202560 102 0 0 0 93 0 0 0 20 0 28 0 146648200 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563907342584 140564232531365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12323] ppid=12299 vsize=26538700 memory=279825038183760 CPUtime=0.84 cores=0-7 /proc/12301/task/12323/stat : 12323 (java) R 12299 12299 11770 0 -1 4202560 71 0 0 0 84 0 0 0 20 0 28 0 146648200 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563906291400 140564232922571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12324] ppid=12299 vsize=26538700 memory=279825038180592 CPUtime=0.89 cores=0-7 /proc/12301/task/12324/stat : 12324 (java) R 12299 12299 11770 0 -1 4202560 133 0 0 0 88 1 0 0 20 0 28 0 146648200 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563905237912 140564235806647 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12325] ppid=12299 vsize=26538700 memory=279825038180592 CPUtime=0.7 cores=0-7 /proc/12301/task/12325/stat : 12325 (java) R 12299 12299 11770 0 -1 4202560 73 0 0 0 70 0 0 0 20 0 28 0 146648200 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563904184088 140564232620208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12326] ppid=12299 vsize=26538700 memory=589972055364562179 CPUtime=0.84 cores=0-7 /proc/12301/task/12326/stat : 12326 (java) R 12299 12299 11770 0 -1 4202560 60 0 0 0 84 0 0 0 20 0 28 0 146648200 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563903131376 140564232923167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12327] ppid=12299 vsize=26538700 memory=13589 CPUtime=0.92 cores=0-7 /proc/12301/task/12327/stat : 12327 (java) R 12299 12299 11770 0 -1 4202560 94 0 0 0 91 1 0 0 20 0 28 0 146648200 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563902078888 140564232923013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12328] ppid=12299 vsize=26538700 memory=6944656592387989600 CPUtime=0.76 cores=0-7 /proc/12301/task/12328/stat : 12328 (java) R 12299 12299 11770 0 -1 4202560 115 0 0 0 76 0 0 0 20 0 28 0 146648200 27175628800 1654287 33554432000 4194304 4196468 140735347702336 140563901028280 140564232920250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 Current children cumulated CPU time: 80.36 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 6618532 KiB [startup+43.802 s] /proc/loadavg: 2.04 4.13 6.32 10/207 12328 /proc/meminfo: memFree=20760448/32770624 swapFree=67108860/67108860 [pid=12299] ppid=12296 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/12299/stat : 12299 (xcsp3-exec) S 12296 12299 11770 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146643947 9740288 346 33554432000 4194304 5098028 140723176039936 140723176038040 139844489052796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10895360 140723176047717 140723176047927 140723176047927 140723176050667 0 /proc/12299/statm: 2378 346 289 221 0 87 0 [pid=12301] ppid=12299 vsize=26538700 memory=6620284 CPUtime=81.94 cores=0-7 /proc/12301/stat : 12301 (java) S 12299 12299 11770 0 -1 1077944320 77981 0 0 0 7272 922 0 0 20 0 28 0 146643947 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140735347684880 140564597587703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 /proc/12301/statm: 6634675 1655071 3282 1 0 6621909 0 [pid=12301/tid=12302] ppid=12299 vsize=26538700 memory=-7173504570862900581 CPUtime=37.04 cores=0-7 /proc/12301/task/12302/stat : 12302 (java) S 12299 12299 11770 0 -1 1077944384 21492 0 0 0 3637 67 0 0 20 0 28 0 146643947 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140564601828480 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12303] ppid=12299 vsize=26538700 memory=7882834749540411979 CPUtime=3.9 cores=0-7 /proc/12301/task/12303/stat : 12303 (java) S 12299 12299 11770 0 -1 1077944384 5055 0 0 0 288 102 0 0 20 0 28 0 146643948 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140564550208016 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12304] ppid=12299 vsize=26538700 memory=-7741295725737516405 CPUtime=3.87 cores=0-7 /proc/12301/task/12304/stat : 12304 (java) S 12299 12299 11770 0 -1 1077944384 2546 0 0 0 281 106 0 0 20 0 28 0 146643948 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140564154940048 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12305] ppid=12299 vsize=26538700 memory=6944652177228980320 CPUtime=3.89 cores=0-7 /proc/12301/task/12305/stat : 12305 (java) S 12299 12299 11770 0 -1 1077944384 3496 0 0 0 287 102 0 0 20 0 28 0 146643948 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140564153886992 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12306] ppid=12299 vsize=26538700 memory=6944656592455359580 CPUtime=3.91 cores=0-7 /proc/12301/task/12306/stat : 12306 (java) S 12299 12299 11770 0 -1 1077944384 4093 0 0 0 282 109 0 0 20 0 28 0 146643948 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140564152834448 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12307] ppid=12299 vsize=26538700 memory=6944652177228980320 CPUtime=3.91 cores=0-7 /proc/12301/task/12307/stat : 12307 (java) S 12299 12299 11770 0 -1 1077944384 3789 0 0 0 285 106 0 0 20 0 28 0 146643948 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140564151782416 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12308] ppid=12299 vsize=26538700 memory=0 CPUtime=3.91 cores=0-7 /proc/12301/task/12308/stat : 12308 (java) S 12299 12299 11770 0 -1 1077944384 3482 0 0 0 284 107 0 0 20 0 28 0 146643948 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140564150729872 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12309] ppid=12299 vsize=26538700 memory=7368003813833205844 CPUtime=3.88 cores=0-7 /proc/12301/task/12309/stat : 12309 (java) S 12299 12299 11770 0 -1 1077944384 3033 0 0 0 284 104 0 0 20 0 28 0 146643948 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140564149676816 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12310] ppid=12299 vsize=26538700 memory=6944656575208382560 CPUtime=3.86 cores=0-7 /proc/12301/task/12310/stat : 12310 (java) S 12299 12299 11770 0 -1 1077944384 2761 0 0 0 286 100 0 0 20 0 28 0 146643948 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140564148624272 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12311] ppid=12299 vsize=26538700 memory=0 CPUtime=1.48 cores=0-7 /proc/12301/task/12311/stat : 12311 (java) S 12299 12299 11770 0 -1 1077944384 7896 0 0 0 147 1 0 0 20 0 28 0 146643950 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563925879024 140564597598850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12312] ppid=12299 vsize=26538700 memory=2241 CPUtime=0 cores=0-7 /proc/12301/task/12312/stat : 12312 (java) S 12299 12299 11770 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 146643950 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563924825312 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12313] ppid=12299 vsize=26538700 memory=2244 CPUtime=0 cores=0-7 /proc/12301/task/12313/stat : 12313 (java) S 12299 12299 11770 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 28 0 146643950 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563923772160 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12314] ppid=12299 vsize=26538700 memory=279825039161224 CPUtime=0 cores=0-7 /proc/12301/task/12314/stat : 12314 (java) S 12299 12299 11770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146643953 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563922720720 140564597606299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12315] ppid=12299 vsize=26538700 memory=0 CPUtime=1.09 cores=0-7 /proc/12301/task/12315/stat : 12315 (java) R 12299 12299 11770 0 -1 4202560 3545 0 0 0 108 1 0 0 20 0 28 0 146643953 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563921668768 140564582706336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12316] ppid=12299 vsize=26538700 memory=0 CPUtime=1.22 cores=0-7 /proc/12301/task/12316/stat : 12316 (java) R 12299 12299 11770 0 -1 4202560 4132 0 0 0 121 1 0 0 20 0 28 0 146643953 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563920602368 140564575754184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12317] ppid=12299 vsize=26538700 memory=0 CPUtime=1 cores=0-7 /proc/12301/task/12317/stat : 12317 (java) R 12299 12299 11770 0 -1 4202560 4567 0 0 0 99 1 0 0 20 0 28 0 146643953 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563919549128 140564582695741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12318] ppid=12299 vsize=26538700 memory=0 CPUtime=0.65 cores=0-7 /proc/12301/task/12318/stat : 12318 (java) S 12299 12299 11770 0 -1 1077944384 5414 0 0 0 63 2 0 0 20 0 28 0 146643953 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563918510704 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12319] ppid=12299 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/12301/task/12319/stat : 12319 (java) S 12299 12299 11770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146643953 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563917457888 140564597597909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12320] ppid=12299 vsize=26538700 memory=11537 CPUtime=0.01 cores=0-7 /proc/12301/task/12320/stat : 12320 (java) S 12299 12299 11770 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 28 0 146643953 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563916405424 140564597598850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12321] ppid=12299 vsize=26538700 memory=6655300316396806240 CPUtime=1.02 cores=0-7 /proc/12301/task/12321/stat : 12321 (java) R 12299 12299 11770 0 -1 4202560 184 0 0 0 102 0 0 0 20 0 28 0 146648199 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563908393024 140564232620229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12322] ppid=12299 vsize=26538700 memory=0 CPUtime=1.12 cores=0-7 /proc/12301/task/12322/stat : 12322 (java) R 12299 12299 11770 0 -1 4202560 102 0 0 0 112 0 0 0 20 0 28 0 146648200 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563907342280 140564232531311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12323] ppid=12299 vsize=26538700 memory=6944652177228980320 CPUtime=1.02 cores=0-7 /proc/12301/task/12323/stat : 12323 (java) R 12299 12299 11770 0 -1 4202560 71 0 0 0 102 0 0 0 20 0 28 0 146648200 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563906291400 140564232922529 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12324] ppid=12299 vsize=26538700 memory=6944652177228980320 CPUtime=1.09 cores=0-7 /proc/12301/task/12324/stat : 12324 (java) R 12299 12299 11770 0 -1 4202560 133 0 0 0 108 1 0 0 20 0 28 0 146648200 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563905237912 140564232921985 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12325] ppid=12299 vsize=26538700 memory=0 CPUtime=0.8 cores=0-7 /proc/12301/task/12325/stat : 12325 (java) R 12299 12299 11770 0 -1 4202560 116 0 0 0 80 0 0 0 20 0 28 0 146648200 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563904185224 140564232922571 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12326] ppid=12299 vsize=26538700 memory=0 CPUtime=1.02 cores=0-7 /proc/12301/task/12326/stat : 12326 (java) R 12299 12299 11770 0 -1 4202560 61 0 0 0 102 0 0 0 20 0 28 0 146648200 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563903134648 140564233407710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12327] ppid=12299 vsize=26538700 memory=0 CPUtime=1.1 cores=0-7 /proc/12301/task/12327/stat : 12327 (java) R 12299 12299 11770 0 -1 4202560 94 0 0 0 109 1 0 0 20 0 28 0 146648200 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563902078888 140564232922826 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 [pid=12301/tid=12328] ppid=12299 vsize=26538700 memory=0 CPUtime=0.95 cores=0-7 /proc/12301/task/12328/stat : 12328 (java) R 12299 12299 11770 0 -1 4202560 115 0 0 0 95 0 0 0 20 0 28 0 146648200 27175628800 1655071 33554432000 4194304 4196468 140735347702336 140563901026392 140564232922845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14520320 140735347709074 140735347709251 140735347709251 140735347711951 0 Current children cumulated CPU time: 81.94 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 6621668 KiB Child status: 0 Real time (s): 43.88 CPU time (s): 82.2377 CPU user time (s): 72.9783 CPU system time (s): 9.25943 CPU usage (%): 187.415 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 6621668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 72.9783 system time used= 9.25943 maximum resident set size= 6621236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78797 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6563 involuntary context switches= 705 # summary of solver processes directly reported to runsolver: # pid: 12299 # total CPU time (s): 82.2377 # total CPU user time (s): 72.9783 # total CPU system time (s): 9.25943 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.26929 second user time and 0.513835 second system time The end
Begin job on node106 at 2017-08-19 11:25:03 IDJOB=4280952 IDBENCH=126070 IDSOLVER=2675 FILE ID=node106/4280952-1503135563 RUNJOBID= node106-1503134422-11797 PBS_JOBID= 20630790 Free space on /tmp= 61788 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p9/mdd-7-25-5-ps05-psh09-3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280952-1503135563/watcher-4280952-1503135563 -o /tmp/evaluation-result-4280952-1503135563/solver-4280952-1503135563 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503134422-11797 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 664315946 HOME/instance-4280952-1503135563.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 47cdae4cc979e49bd09b7efbbe69f743 RANDOM SEED=664315946 node106.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.86 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.86 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.86 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.86 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: 27352984 kB MemAvailable: 31968504 kB Buffers: 232372 kB Cached: 4676304 kB SwapCached: 0 kB Active: 1078980 kB Inactive: 3885932 kB Active(anon): 12448 kB Inactive(anon): 80268 kB Active(file): 1066532 kB Inactive(file): 3805664 kB Unevictable: 7764 kB Mlocked: 7764 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 41284 kB Writeback: 0 kB AnonPages: 64508 kB Mapped: 50788 kB Shmem: 33420 kB Slab: 145384 kB SReclaimable: 118320 kB SUnreclaim: 27064 kB KernelStack: 3200 kB PageTables: 4528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333092 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61780 MiB End job on node106 at 2017-08-19 11:25:47