Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | UNSAT | 3488.4399 | 437.953 |
Name | Random/Random-RB-2-40-19/ rand-2-40-19-443-230-30.xml |
MD5SUM | 1a774b1240a532d284d5b76f46f8bad3 |
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 | 151.12801 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 334 |
Number of domains | 1 |
Minimum domain size | 19 |
Maximum domain size | 19 |
Distribution of domain sizes | [{"size":19,"count":40}] |
Minimum variable degree | 8 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":8,"count":1},{"degree":10,"count":1},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":6},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":4},{"degree":19,"count":4},{"degree":20,"count":6},{"degree":21,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":334}] |
Number of extensional constraints | 334 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":334}] |
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-4271188-1502686578.xml" -tl '20160s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4271188-1502686578.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.27 c parse instance... 3.50/1.12 c solve instance... 3488.14/437.93 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 (13347 MiB free) memory of node 1: 16384 MiB (13785 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271188-1502686578/watcher-4271188-1502686578 -o /tmp/evaluation-result-4271188-1502686578/solver-4271188-1502686578 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502680501-31442 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1753939140 HOME/instance-4271188-1502686578.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=32325, runsolver pid=32322 Current StackSize limit: 8192 KiB [startup+0.100315 s]* /proc/loadavg: 2.86 6.04 7.68 2/200 32346 /proc/meminfo: memFree=27762832/32770624 swapFree=67108860/67108860 [pid=32325] ppid=32322 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/32325/stat : 32325 (xcsp3-exec) S 32322 32325 31415 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101738720 9740288 345 33554432000 4194304 5098028 140734677520448 140734677518552 140023211496060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22687744 140734677521508 140734677521719 140734677521719 140734677524459 0 /proc/32325/statm: 2378 345 289 221 0 87 0 [pid=32327] ppid=32325 vsize=25999808 memory=28488 CPUtime=0.11 cores=0-7 /proc/32327/stat : 32327 (java) S 32325 32325 31415 0 -1 1077944320 5538 0 0 0 10 1 0 0 20 0 20 0 101738720 26623803392 7122 33554432000 4194304 4196468 140721207347712 140721207330256 140010830663415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 /proc/32327/statm: 6499952 7122 2845 1 0 6488269 0 [pid=32327/tid=32328] ppid=32325 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/32327/task/32328/stat : 32328 (java) R 32325 32325 31415 0 -1 4202560 3549 0 0 0 8 0 0 0 20 0 20 0 101738720 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010834887488 140010812314974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32329] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32329/stat : 32329 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010783283472 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32330] ppid=32325 vsize=25999808 memory=140520699180672 CPUtime=0 cores=0-7 /proc/32327/task/32330/stat : 32330 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010782230928 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32331] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32331/stat : 32331 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010781178384 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32332] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32332/stat : 32332 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010780125840 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32333] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32333/stat : 32333 (java) S 32325 32325 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101738721 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010779073296 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32334] ppid=32325 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/32327/task/32334/stat : 32334 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010778020752 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32335] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32335/stat : 32335 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010776968208 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32336] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32336/stat : 32336 (java) S 32325 32325 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101738721 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010775915664 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32337] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32337/stat : 32337 (java) S 32325 32325 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101738723 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010159323120 140010830674562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32338] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32338/stat : 32338 (java) S 32325 32325 31415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101738723 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010158269344 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32339] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32339/stat : 32339 (java) S 32325 32325 31415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101738723 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010157216752 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32340] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32340/stat : 32340 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738726 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010156165328 140010830682011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32341] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32341/stat : 32341 (java) S 32325 32325 31415 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 101738726 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010155112944 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32342] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32342/stat : 32342 (java) R 32325 32325 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 101738726 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010154060400 140010830675350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32343] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32343/stat : 32343 (java) S 32325 32325 31415 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 101738726 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010153007856 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32344] ppid=32325 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/32327/task/32344/stat : 32344 (java) S 32325 32325 31415 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 101738726 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010151955312 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32345] ppid=32325 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32345/stat : 32345 (java) S 32325 32325 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101738726 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010150901984 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32346] ppid=32325 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/32327/task/32346/stat : 32346 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738726 26623803392 7122 33554432000 4194304 4196468 140721207347712 140010149849520 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 29868 KiB [startup+0.210512 s]* /proc/loadavg: 2.86 6.04 7.68 2/200 32346 /proc/meminfo: memFree=27754864/32770624 swapFree=67108860/67108860 [pid=32325] ppid=32322 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/32325/stat : 32325 (xcsp3-exec) S 32322 32325 31415 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101738720 9740288 345 33554432000 4194304 5098028 140734677520448 140734677518552 140023211496060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22687744 140734677521508 140734677521719 140734677521719 140734677524459 0 /proc/32325/statm: 2378 345 289 221 0 87 0 [pid=32327] ppid=32325 vsize=26004064 memory=40664 CPUtime=0.32 cores=0-7 /proc/32327/stat : 32327 (java) S 32325 32325 31415 0 -1 1077944320 8243 0 0 0 30 2 0 0 20 0 20 0 101738720 26628161536 10166 33554432000 4194304 4196468 140721207347712 140721207330256 140010830663415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 /proc/32327/statm: 6501016 10166 3024 1 0 6488269 0 [pid=32327/tid=32328] ppid=32325 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/32327/task/32328/stat : 32328 (java) R 32325 32325 31415 0 -1 4202560 5334 0 0 0 18 1 0 0 20 0 20 0 101738720 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010834900256 140010814743902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32329] ppid=32325 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/32327/task/32329/stat : 32329 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010783283472 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32330] ppid=32325 vsize=26004064 memory=140520699211843 CPUtime=0 cores=0-7 /proc/32327/task/32330/stat : 32330 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010782230928 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32331] ppid=32325 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32327/task/32331/stat : 32331 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010781178384 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32332] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32332/stat : 32332 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010780125840 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32333] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32333/stat : 32333 (java) S 32325 32325 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010779073296 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32334] ppid=32325 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32327/task/32334/stat : 32334 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010778020752 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32335] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32335/stat : 32335 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010776968208 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32336] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32336/stat : 32336 (java) S 32325 32325 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010775915664 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32337] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32337/stat : 32337 (java) S 32325 32325 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101738723 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010159323120 140010830674562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32338] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32338/stat : 32338 (java) S 32325 32325 31415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101738723 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010158269344 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32339] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32339/stat : 32339 (java) S 32325 32325 31415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101738723 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010157216752 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32340] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32340/stat : 32340 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738726 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010156165328 140010830682011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32341] ppid=32325 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/32327/task/32341/stat : 32341 (java) S 32325 32325 31415 0 -1 1077944384 612 0 0 0 2 0 0 0 20 0 20 0 101738726 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010155112944 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32342] ppid=32325 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/32327/task/32342/stat : 32342 (java) S 32325 32325 31415 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 101738726 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010154060400 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32343] ppid=32325 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32327/task/32343/stat : 32343 (java) S 32325 32325 31415 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 101738726 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010153007856 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32344] ppid=32325 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/32327/task/32344/stat : 32344 (java) S 32325 32325 31415 0 -1 1077944384 712 0 0 0 7 0 0 0 20 0 20 0 101738726 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010151955312 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32345] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32345/stat : 32345 (java) S 32325 32325 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101738726 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010150901984 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32346] ppid=32325 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32327/task/32346/stat : 32346 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738726 26628161536 10166 33554432000 4194304 4196468 140721207347712 140010149849520 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 42044 KiB [startup+0.310364 s]* /proc/loadavg: 2.86 6.04 7.68 3/200 32346 /proc/meminfo: memFree=27748040/32770624 swapFree=67108860/67108860 [pid=32325] ppid=32322 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/32325/stat : 32325 (xcsp3-exec) S 32322 32325 31415 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101738720 9740288 345 33554432000 4194304 5098028 140734677520448 140734677518552 140023211496060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22687744 140734677521508 140734677521719 140734677521719 140734677524459 0 /proc/32325/statm: 2378 345 289 221 0 87 0 [pid=32327] ppid=32325 vsize=26004064 memory=47604 CPUtime=0.5 cores=0-7 /proc/32327/stat : 32327 (java) S 32325 32325 31415 0 -1 1077944320 9153 0 0 0 47 3 0 0 20 0 20 0 101738720 26628161536 11901 33554432000 4194304 4196468 140721207347712 140721207330256 140010830663415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 /proc/32327/statm: 6501016 11901 3093 1 0 6488269 0 [pid=32327/tid=32328] ppid=32325 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/32327/task/32328/stat : 32328 (java) R 32325 32325 31415 0 -1 4202560 6006 0 0 0 27 1 0 0 20 0 20 0 101738720 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010834899664 140010830685341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32329] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32329/stat : 32329 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010783283472 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32330] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32330/stat : 32330 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010782230928 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32331] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32331/stat : 32331 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010781178384 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32332] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32332/stat : 32332 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010780125840 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32333] ppid=32325 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/32327/task/32333/stat : 32333 (java) S 32325 32325 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010779073296 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32334] ppid=32325 vsize=26004064 memory=140520592602031 CPUtime=0 cores=0-7 /proc/32327/task/32334/stat : 32334 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010778020752 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32335] ppid=32325 vsize=26004064 memory=140520592604336 CPUtime=0 cores=0-7 /proc/32327/task/32335/stat : 32335 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010776968208 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32336] ppid=32325 vsize=26004064 memory=140520592606640 CPUtime=0 cores=0-7 /proc/32327/task/32336/stat : 32336 (java) S 32325 32325 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101738721 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010775915664 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32337] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32337/stat : 32337 (java) S 32325 32325 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101738723 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010159323120 140010830674562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32338] ppid=32325 vsize=26004064 memory=281041185220240 CPUtime=0 cores=0-7 /proc/32327/task/32338/stat : 32338 (java) S 32325 32325 31415 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101738723 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010158269344 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32339] ppid=32325 vsize=26004064 memory=281041185227152 CPUtime=0 cores=0-7 /proc/32327/task/32339/stat : 32339 (java) S 32325 32325 31415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101738723 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010157216752 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32340] ppid=32325 vsize=26004064 memory=281041185168432 CPUtime=0 cores=0-7 /proc/32327/task/32340/stat : 32340 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738726 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010156165328 140010830682011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32341] ppid=32325 vsize=26004064 memory=281041185240976 CPUtime=0.02 cores=0-7 /proc/32327/task/32341/stat : 32341 (java) R 32325 32325 31415 0 -1 4202560 618 0 0 0 2 0 0 0 20 0 20 0 101738726 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010155112944 140010823648457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32342] ppid=32325 vsize=26004064 memory=281041185247888 CPUtime=0.03 cores=0-7 /proc/32327/task/32342/stat : 32342 (java) R 32325 32325 31415 0 -1 4202560 193 0 0 0 3 0 0 0 20 0 20 0 101738726 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010154060400 140010808403888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32343] ppid=32325 vsize=26004064 memory=281041185245584 CPUtime=0.01 cores=0-7 /proc/32327/task/32343/stat : 32343 (java) S 32325 32325 31415 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 20 0 101738726 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010153007856 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32344] ppid=32325 vsize=26004064 memory=281041185261744 CPUtime=0.12 cores=0-7 /proc/32327/task/32344/stat : 32344 (java) R 32325 32325 31415 0 -1 4202560 852 0 0 0 12 0 0 0 20 0 20 0 101738726 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010151951464 140010823763262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32345] ppid=32325 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32345/stat : 32345 (java) S 32325 32325 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101738726 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010150901984 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32346] ppid=32325 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/32327/task/32346/stat : 32346 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738726 26628161536 11901 33554432000 4194304 4196468 140721207347712 140010149849520 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 48984 KiB [startup+0.700977 s] /proc/loadavg: 2.86 6.04 7.68 5/200 32346 /proc/meminfo: memFree=27708120/32770624 swapFree=67108860/67108860 [pid=32325] ppid=32322 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/32325/stat : 32325 (xcsp3-exec) S 32322 32325 31415 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101738720 9740288 345 33554432000 4194304 5098028 140734677520448 140734677518552 140023211496060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22687744 140734677521508 140734677521719 140734677521719 140734677524459 0 /proc/32325/statm: 2378 345 289 221 0 87 0 [pid=32327] ppid=32325 vsize=26006188 memory=145440 CPUtime=2.03 cores=0-7 /proc/32327/stat : 32327 (java) S 32325 32325 31415 0 -1 1077944320 13615 0 0 0 198 5 0 0 20 0 20 0 101738720 26630336512 36360 33554432000 4194304 4196468 140721207347712 140721207330256 140010830663415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 /proc/32327/statm: 6501547 36360 3203 1 0 6488781 0 [pid=32327/tid=32328] ppid=32325 vsize=26006188 memory=281041185619632 CPUtime=0.66 cores=0-7 /proc/32327/task/32328/stat : 32328 (java) R 32325 32325 31415 0 -1 4202560 6495 0 0 0 64 2 0 0 20 0 20 0 101738720 26630336512 36360 33554432000 4194304 4196468 140721207347712 140010834901184 140010451426971 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32329] ppid=32325 vsize=26006188 memory=140520592810864 CPUtime=0 cores=0-7 /proc/32327/task/32329/stat : 32329 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26630336512 36360 33554432000 4194304 4196468 140721207347712 140010783283472 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32330] ppid=32325 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/32327/task/32330/stat : 32330 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26630336512 36360 33554432000 4194304 4196468 140721207347712 140010782230928 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32331] ppid=32325 vsize=26006188 memory=8612 CPUtime=0 cores=0-7 /proc/32327/task/32331/stat : 32331 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101738721 26630336512 36360 33554432000 4194304 4196468 140721207347712 140010781178384 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 ################ # More data... # ################ [pid=32327/tid=32344] ppid=32325 vsize=26538700 memory=7014751519717676369 CPUtime=0.63 cores=0-7 /proc/32327/task/32344/stat : 32344 (java) S 32325 32325 31415 0 -1 1077944384 6838 0 0 0 61 2 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010151955312 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32345] ppid=32325 vsize=26538700 memory=7518026621751089001 CPUtime=0 cores=0-7 /proc/32327/task/32345/stat : 32345 (java) S 32325 32325 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010150901984 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32346] ppid=32325 vsize=26538700 memory=1296 CPUtime=0.06 cores=0-7 /proc/32327/task/32346/stat : 32346 (java) S 32325 32325 31415 0 -1 1077944384 1672 0 0 0 3 3 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010149849520 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32347] ppid=32325 vsize=26538700 memory=2408 CPUtime=435.45 cores=0-7 /proc/32327/task/32347/stat : 32347 (java) R 32325 32325 31415 0 -1 4202560 2015 0 0 0 43545 0 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010141838720 140010453951804 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32348] ppid=32325 vsize=26538700 memory=1732 CPUtime=435.65 cores=0-7 /proc/32327/task/32348/stat : 32348 (java) R 32325 32325 31415 0 -1 4202560 1442 0 0 0 43565 0 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010140786656 140010453549312 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32349] ppid=32325 vsize=26538700 memory=1224 CPUtime=432.07 cores=0-7 /proc/32327/task/32349/stat : 32349 (java) R 32325 32325 31415 0 -1 4202560 11031 0 0 0 43177 30 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010139737040 140010453742536 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32350] ppid=32325 vsize=26538700 memory=12032 CPUtime=434.29 cores=0-7 /proc/32327/task/32350/stat : 32350 (java) R 32325 32325 31415 0 -1 4202560 3398 0 0 0 43423 6 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010138681328 140010454312854 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32351] ppid=32325 vsize=26538700 memory=5792 CPUtime=433.6 cores=0-7 /proc/32327/task/32351/stat : 32351 (java) R 32325 32325 31415 0 -1 4202560 6138 0 0 0 43349 11 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010137629024 140010453964080 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32352] ppid=32325 vsize=26538700 memory=796 CPUtime=435.83 cores=0-7 /proc/32327/task/32352/stat : 32352 (java) R 32325 32325 31415 0 -1 4202560 15872 0 0 0 43538 45 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010136576504 140010454319389 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32353] ppid=32325 vsize=26538700 memory=18476 CPUtime=434.7 cores=0-7 /proc/32327/task/32353/stat : 32353 (java) R 32325 32325 31415 0 -1 4202560 1656 0 0 0 43469 1 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010135522688 140010453742011 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32354] ppid=32325 vsize=26538700 memory=17452 CPUtime=435.62 cores=0-7 /proc/32327/task/32354/stat : 32354 (java) R 32325 32325 31415 0 -1 4202560 1784 0 0 0 43562 0 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010134470896 140010454319203 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 Current children cumulated CPU time: 3485.74 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1211108 KiB [startup+437.801 s] /proc/loadavg: 8.55 7.77 7.89 10/207 32354 /proc/meminfo: memFree=26584980/32770624 swapFree=67108860/67108860 [pid=32325] ppid=32322 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/32325/stat : 32325 (xcsp3-exec) S 32322 32325 31415 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101738720 9740288 345 33554432000 4194304 5098028 140734677520448 140734677518552 140023211496060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22687744 140734677521508 140734677521719 140734677521719 140734677524459 0 /proc/32325/statm: 2378 345 289 221 0 87 0 [pid=32327] ppid=32325 vsize=26538700 memory=1209728 CPUtime=3487.34 cores=0-7 /proc/32327/stat : 32327 (java) S 32325 32325 31415 0 -1 1077944320 122404 0 0 0 348568 166 0 0 20 0 28 0 101738720 27175628800 302432 33554432000 4194304 4196468 140721207347712 140721207330256 140010830663415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 /proc/32327/statm: 6634675 302432 3265 1 0 6621909 0 [pid=32327/tid=32328] ppid=32325 vsize=26538700 memory=648 CPUtime=1.08 cores=0-7 /proc/32327/task/32328/stat : 32328 (java) S 32325 32325 31415 0 -1 1077944384 6685 0 0 0 105 3 0 0 20 0 28 0 101738720 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010834904192 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32329] ppid=32325 vsize=26538700 memory=1240 CPUtime=0.13 cores=0-7 /proc/32327/task/32329/stat : 32329 (java) S 32325 32325 31415 0 -1 1077944384 2181 0 0 0 7 6 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010783283472 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32330] ppid=32325 vsize=26538700 memory=960 CPUtime=0.13 cores=0-7 /proc/32327/task/32330/stat : 32330 (java) S 32325 32325 31415 0 -1 1077944384 1919 0 0 0 7 6 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010782230928 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32331] ppid=32325 vsize=26538700 memory=2340 CPUtime=0.13 cores=0-7 /proc/32327/task/32331/stat : 32331 (java) S 32325 32325 31415 0 -1 1077944384 881 0 0 0 7 6 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010781178384 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32332] ppid=32325 vsize=26538700 memory=932 CPUtime=0.13 cores=0-7 /proc/32327/task/32332/stat : 32332 (java) S 32325 32325 31415 0 -1 1077944384 1551 0 0 0 7 6 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010780125840 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32333] ppid=32325 vsize=26538700 memory=1712 CPUtime=0.13 cores=0-7 /proc/32327/task/32333/stat : 32333 (java) S 32325 32325 31415 0 -1 1077944384 2146 0 0 0 7 6 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010779073296 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32334] ppid=32325 vsize=26538700 memory=1952 CPUtime=0.14 cores=0-7 /proc/32327/task/32334/stat : 32334 (java) S 32325 32325 31415 0 -1 1077944384 2641 0 0 0 8 6 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010778020752 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32335] ppid=32325 vsize=26538700 memory=8612 CPUtime=0.12 cores=0-7 /proc/32327/task/32335/stat : 32335 (java) S 32325 32325 31415 0 -1 1077944384 2218 0 0 0 7 5 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010776968208 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32336] ppid=32325 vsize=26538700 memory=4620 CPUtime=0.14 cores=0-7 /proc/32327/task/32336/stat : 32336 (java) S 32325 32325 31415 0 -1 1077944384 1426 0 0 0 7 7 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010775915664 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32337] ppid=32325 vsize=26538700 memory=1196 CPUtime=0.05 cores=0-7 /proc/32327/task/32337/stat : 32337 (java) S 32325 32325 31415 0 -1 1077944384 5219 0 0 0 3 2 0 0 20 0 28 0 101738723 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010159323120 140010830674562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32338] ppid=32325 vsize=26538700 memory=15872 CPUtime=0 cores=0-7 /proc/32327/task/32338/stat : 32338 (java) S 32325 32325 31415 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 101738723 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010158269408 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32339] ppid=32325 vsize=26538700 memory=18476 CPUtime=0 cores=0-7 /proc/32327/task/32339/stat : 32339 (java) S 32325 32325 31415 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 101738723 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010157216768 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32340] ppid=32325 vsize=26538700 memory=17452 CPUtime=0 cores=0-7 /proc/32327/task/32340/stat : 32340 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010156165328 140010830682011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32341] ppid=32325 vsize=26538700 memory=4048 CPUtime=1.82 cores=0-7 /proc/32327/task/32341/stat : 32341 (java) S 32325 32325 31415 0 -1 1077944384 12854 0 0 0 179 3 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010155112944 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32342] ppid=32325 vsize=26538700 memory=1792 CPUtime=1.82 cores=0-7 /proc/32327/task/32342/stat : 32342 (java) S 32325 32325 31415 0 -1 1077944384 14881 0 0 0 179 3 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010154060400 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32343] ppid=32325 vsize=26538700 memory=648 CPUtime=1.82 cores=0-7 /proc/32327/task/32343/stat : 32343 (java) S 32325 32325 31415 0 -1 1077944384 14607 0 0 0 179 3 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010153007856 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32344] ppid=32325 vsize=26538700 memory=1240 CPUtime=0.63 cores=0-7 /proc/32327/task/32344/stat : 32344 (java) S 32325 32325 31415 0 -1 1077944384 6838 0 0 0 61 2 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010151955312 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32345] ppid=32325 vsize=26538700 memory=960 CPUtime=0 cores=0-7 /proc/32327/task/32345/stat : 32345 (java) S 32325 32325 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010150901984 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32346] ppid=32325 vsize=26538700 memory=2340 CPUtime=0.06 cores=0-7 /proc/32327/task/32346/stat : 32346 (java) S 32325 32325 31415 0 -1 1077944384 1672 0 0 0 3 3 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010149849520 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32347] ppid=32325 vsize=26538700 memory=7884 CPUtime=435.65 cores=0-7 /proc/32327/task/32347/stat : 32347 (java) R 32325 32325 31415 0 -1 4202560 2015 0 0 0 43565 0 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010141838720 140010454318698 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32348] ppid=32325 vsize=26538700 memory=1380 CPUtime=435.85 cores=0-7 /proc/32327/task/32348/stat : 32348 (java) R 32325 32325 31415 0 -1 4202560 1442 0 0 0 43585 0 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010140786656 140010453742191 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32349] ppid=32325 vsize=26538700 memory=1211792 CPUtime=432.27 cores=0-7 /proc/32327/task/32349/stat : 32349 (java) R 32325 32325 31415 0 -1 4202560 11032 0 0 0 43197 30 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010139737040 140010453742572 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32350] ppid=32325 vsize=26538700 memory=6791534058613427641 CPUtime=434.49 cores=0-7 /proc/32327/task/32350/stat : 32350 (java) R 32325 32325 31415 0 -1 4202560 3398 0 0 0 43443 6 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010138681328 140010454313180 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32351] ppid=32325 vsize=26538700 memory=1152 CPUtime=433.8 cores=0-7 /proc/32327/task/32351/stat : 32351 (java) R 32325 32325 31415 0 -1 4202560 6138 0 0 0 43369 11 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010137629024 140010453742572 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32352] ppid=32325 vsize=26538700 memory=303430223234596890 CPUtime=436.03 cores=0-7 /proc/32327/task/32352/stat : 32352 (java) R 32325 32325 31415 0 -1 4202560 15873 0 0 0 43558 45 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010136576504 140010454312836 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32353] ppid=32325 vsize=26538700 memory=288230621803970871 CPUtime=434.9 cores=0-7 /proc/32327/task/32353/stat : 32353 (java) R 32325 32325 31415 0 -1 4202560 1656 0 0 0 43489 1 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010135522688 140010454319213 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32354] ppid=32325 vsize=26538700 memory=15252640887999017 CPUtime=435.82 cores=0-7 /proc/32327/task/32354/stat : 32354 (java) R 32325 32325 31415 0 -1 4202560 1784 0 0 0 43582 0 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010134471032 140010453742386 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 Current children cumulated CPU time: 3487.34 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1211108 KiB [startup+437.901 s] /proc/loadavg: 8.55 7.77 7.89 10/207 32354 /proc/meminfo: memFree=26584980/32770624 swapFree=67108860/67108860 [pid=32325] ppid=32322 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/32325/stat : 32325 (xcsp3-exec) S 32322 32325 31415 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 101738720 9740288 345 33554432000 4194304 5098028 140734677520448 140734677518552 140023211496060 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22687744 140734677521508 140734677521719 140734677521719 140734677524459 0 /proc/32325/statm: 2378 345 289 221 0 87 0 [pid=32327] ppid=32325 vsize=26538700 memory=1209728 CPUtime=3488.14 cores=0-7 /proc/32327/stat : 32327 (java) S 32325 32325 31415 0 -1 1077944320 122405 0 0 0 348648 166 0 0 20 0 28 0 101738720 27175628800 302432 33554432000 4194304 4196468 140721207347712 140721207330256 140010830663415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 /proc/32327/statm: 6634675 302432 3265 1 0 6621909 0 [pid=32327/tid=32328] ppid=32325 vsize=26538700 memory=1211792 CPUtime=1.08 cores=0-7 /proc/32327/task/32328/stat : 32328 (java) S 32325 32325 31415 0 -1 1077944384 6685 0 0 0 105 3 0 0 20 0 28 0 101738720 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010834904192 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32329] ppid=32325 vsize=26538700 memory=1380 CPUtime=0.13 cores=0-7 /proc/32327/task/32329/stat : 32329 (java) S 32325 32325 31415 0 -1 1077944384 2181 0 0 0 7 6 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010783283472 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32330] ppid=32325 vsize=26538700 memory=1209728 CPUtime=0.13 cores=0-7 /proc/32327/task/32330/stat : 32330 (java) S 32325 32325 31415 0 -1 1077944384 1919 0 0 0 7 6 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010782230928 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32331] ppid=32325 vsize=26538700 memory=1380 CPUtime=0.13 cores=0-7 /proc/32327/task/32331/stat : 32331 (java) S 32325 32325 31415 0 -1 1077944384 881 0 0 0 7 6 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010781178384 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32332] ppid=32325 vsize=26538700 memory=0 CPUtime=0.13 cores=0-7 /proc/32327/task/32332/stat : 32332 (java) S 32325 32325 31415 0 -1 1077944384 1551 0 0 0 7 6 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010780125840 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32333] ppid=32325 vsize=26538700 memory=1380 CPUtime=0.13 cores=0-7 /proc/32327/task/32333/stat : 32333 (java) S 32325 32325 31415 0 -1 1077944384 2146 0 0 0 7 6 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010779073296 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32334] ppid=32325 vsize=26538700 memory=1240 CPUtime=0.14 cores=0-7 /proc/32327/task/32334/stat : 32334 (java) S 32325 32325 31415 0 -1 1077944384 2641 0 0 0 8 6 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010778020752 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32335] ppid=32325 vsize=26538700 memory=960 CPUtime=0.12 cores=0-7 /proc/32327/task/32335/stat : 32335 (java) S 32325 32325 31415 0 -1 1077944384 2218 0 0 0 7 5 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010776968208 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32336] ppid=32325 vsize=26538700 memory=1380 CPUtime=0.14 cores=0-7 /proc/32327/task/32336/stat : 32336 (java) S 32325 32325 31415 0 -1 1077944384 1426 0 0 0 7 7 0 0 20 0 28 0 101738721 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010775915664 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32337] ppid=32325 vsize=26538700 memory=1209288 CPUtime=0.05 cores=0-7 /proc/32327/task/32337/stat : 32337 (java) S 32325 32325 31415 0 -1 1077944384 5219 0 0 0 3 2 0 0 20 0 28 0 101738723 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010159323120 140010830674562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32338] ppid=32325 vsize=26538700 memory=1210784 CPUtime=0 cores=0-7 /proc/32327/task/32338/stat : 32338 (java) S 32325 32325 31415 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 101738723 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010158269408 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32339] ppid=32325 vsize=26538700 memory=1380 CPUtime=0 cores=0-7 /proc/32327/task/32339/stat : 32339 (java) S 32325 32325 31415 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 101738723 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010157216768 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32340] ppid=32325 vsize=26538700 memory=33 CPUtime=0 cores=0-7 /proc/32327/task/32340/stat : 32340 (java) S 32325 32325 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010156165328 140010830682011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32341] ppid=32325 vsize=26538700 memory=6943526294502006880 CPUtime=1.82 cores=0-7 /proc/32327/task/32341/stat : 32341 (java) S 32325 32325 31415 0 -1 1077944384 12854 0 0 0 179 3 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010155112944 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32342] ppid=32325 vsize=26538700 memory=1380 CPUtime=1.82 cores=0-7 /proc/32327/task/32342/stat : 32342 (java) S 32325 32325 31415 0 -1 1077944384 14881 0 0 0 179 3 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010154060400 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32343] ppid=32325 vsize=26538700 memory=1380 CPUtime=1.82 cores=0-7 /proc/32327/task/32343/stat : 32343 (java) S 32325 32325 31415 0 -1 1077944384 14607 0 0 0 179 3 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010153007856 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32344] ppid=32325 vsize=26538700 memory=1380 CPUtime=0.63 cores=0-7 /proc/32327/task/32344/stat : 32344 (java) S 32325 32325 31415 0 -1 1077944384 6838 0 0 0 61 2 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010151955312 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32345] ppid=32325 vsize=26538700 memory=1211792 CPUtime=0 cores=0-7 /proc/32327/task/32345/stat : 32345 (java) S 32325 32325 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010150901984 140010830673621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32346] ppid=32325 vsize=26538700 memory=1207236 CPUtime=0.06 cores=0-7 /proc/32327/task/32346/stat : 32346 (java) S 32325 32325 31415 0 -1 1077944384 1672 0 0 0 3 3 0 0 20 0 28 0 101738726 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010149849520 140010830674562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32347] ppid=32325 vsize=26538700 memory=1380 CPUtime=435.75 cores=0-7 /proc/32327/task/32347/stat : 32347 (java) R 32325 32325 31415 0 -1 4202560 2015 0 0 0 43575 0 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010141838720 140010453742349 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32348] ppid=32325 vsize=26538700 memory=6791534058613427641 CPUtime=435.95 cores=0-7 /proc/32327/task/32348/stat : 32348 (java) R 32325 32325 31415 0 -1 4202560 1442 0 0 0 43595 0 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010140786656 140010454312442 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32349] ppid=32325 vsize=26538700 memory=4126316290023845779 CPUtime=432.37 cores=0-7 /proc/32327/task/32349/stat : 32349 (java) R 32325 32325 31415 0 -1 4202560 11033 0 0 0 43207 30 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010139737040 140010454340031 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32350] ppid=32325 vsize=26538700 memory=1692 CPUtime=434.59 cores=0-7 /proc/32327/task/32350/stat : 32350 (java) R 32325 32325 31415 0 -1 4202560 3398 0 0 0 43453 6 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010138681328 140010453741652 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32351] ppid=32325 vsize=26538700 memory=6791534058613427641 CPUtime=433.9 cores=0-7 /proc/32327/task/32351/stat : 32351 (java) R 32325 32325 31415 0 -1 4202560 6138 0 0 0 43379 11 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010137629024 140010454850332 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32352] ppid=32325 vsize=26538700 memory=1380 CPUtime=436.13 cores=0-7 /proc/32327/task/32352/stat : 32352 (java) R 32325 32325 31415 0 -1 4202560 15873 0 0 0 43568 45 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010136576504 140010454319189 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32353] ppid=32325 vsize=26538700 memory=1210784 CPUtime=435 cores=0-7 /proc/32327/task/32353/stat : 32353 (java) R 32325 32325 31415 0 -1 4202560 1656 0 0 0 43499 1 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010135522688 140010454312373 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 [pid=32327/tid=32354] ppid=32325 vsize=26538700 memory=6791534058613427641 CPUtime=435.92 cores=0-7 /proc/32327/task/32354/stat : 32354 (java) R 32325 32325 31415 0 -1 4202560 1784 0 0 0 43592 0 0 0 20 0 28 0 101738834 27175628800 302432 33554432000 4194304 4196468 140721207347712 140010134471032 140010453742581 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 8744960 140721207350418 140721207350595 140721207350595 140721207353295 0 Current children cumulated CPU time: 3488.14 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1211108 KiB Child status: 0 Real time (s): 437.953 CPU time (s): 3488.44 CPU user time (s): 3486.76 CPU system time (s): 1.68437 CPU usage (%): 796.533 Max. virtual memory (cumulated for all children) (KiB): 26552164 Max. memory (cumulated for all children) (KiB): 1213416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3486.76 system time used= 1.68437 maximum resident set size= 1214084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 124678 page faults= 0 swaps= 0 block input operations= 0 block output operations= 728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16016 involuntary context switches= 36001 # summary of solver processes directly reported to runsolver: # pid: 32325 # total CPU time (s): 3488.44 # total CPU user time (s): 3486.76 # total CPU system time (s): 1.68437 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.48495 second user time and 4.77531 second system time The end
Begin job on node149 at 2017-08-14 06:42:00 IDJOB=4271188 IDBENCH=121581 IDSOLVER=2662 FILE ID=node149/4271188-1502686578 RUNJOBID= node149-1502680501-31442 PBS_JOBID= 20628986 Free space on /tmp= 61936 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Random/Random-RB-2-40-19/rand-2-40-19-443-230-30.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-4271188-1502686578/watcher-4271188-1502686578 -o /tmp/evaluation-result-4271188-1502686578/solver-4271188-1502686578 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502680501-31442 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1753939140 HOME/instance-4271188-1502686578.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1a774b1240a532d284d5b76f46f8bad3 RANDOM SEED=1753939140 node149.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.43 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.43 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.43 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.43 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: 27785152 kB MemAvailable: 31969068 kB Buffers: 289448 kB Cached: 4166972 kB SwapCached: 0 kB Active: 1174768 kB Inactive: 3337308 kB Active(anon): 58272 kB Inactive(anon): 24944 kB Active(file): 1116496 kB Inactive(file): 3312364 kB Unevictable: 6360 kB Mlocked: 6360 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7948 kB Writeback: 0 kB AnonPages: 65516 kB Mapped: 45136 kB Shmem: 25224 kB Slab: 168436 kB SReclaimable: 141784 kB SUnreclaim: 26652 kB KernelStack: 3520 kB PageTables: 5080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323840 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: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61928 MiB End job on node149 at 2017-08-14 06:49:18