Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 34 | 1394.06 | 175.814 |
Name | StillLife/StillLife-m1-s1/ StillLife-06-11.xml |
MD5SUM | 5296a674fcd135b0317e95ffe6d81fd1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 38.7624 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 132 |
Number of constraints | 158 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":66},{"size":9,"count":66}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":66},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":36}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":66},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":36}] |
Number of extensional constraints | 92 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":92},{"type":"sum","count":66}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394522-1568418840.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394522-1568418840.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.68/0.74 c solve instance... 2.17/0.80 o 0 2.17/0.80 o 4 2.17/0.81 o 6 2.17/0.84 o 8 2.17/0.85 o 10 2.17/0.86 o 12 2.17/0.89 o 26 2.78/0.91 o 30 2.78/0.98 o 31 5.08/1.24 o 32 9.79/1.84 o 33 12.24/2.12 o 34 1393.36/175.79 s OPTIMUM FOUND 1393.36/175.79 v <instantiation> 1393.36/175.79 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] </list> 1393.36/175.79 v <values>1 0 1 1 0 1 1 0 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 2 4 3 2 4 2 2 2 2 3 2 2 3 5 3 5 3 5 5 3 5 2 4 5 5 3 5 4 3 3 3 4 2 2 3 3 4 3 3 4 5 4 3 2 3 6 5 3 4 5 3 4 3 5 2 2 2 2 2 2 2 2 4 2 3 2 </values> 1393.36/175.79 v </instantiation>
OK 34
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 (14748 MiB free) memory of node 1: 16384 MiB (15171 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394522-1568418840/watcher-4394522-1568418840 -o /tmp/evaluation-result-4394522-1568418840/solver-4394522-1568418840 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 80656897 HOME/instance-4394522-1568418840.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=14301, runsolver pid=14298 Current StackSize limit: 8192 KiB [startup+0.100115 s]* /proc/loadavg: 5.76 6.22 4.22 2/211 14322 /proc/meminfo: memFree=30619820/32770624 swapFree=66997532/67108860 [pid=14301] ppid=14298 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14301/stat : 14301 (xcsp3-exec) S 14298 14301 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418138688 115843072 363 33554432000 4194304 5098028 140724305728160 140724305726264 140158054482556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140724305732471 140724305732713 140724305732713 140724305735626 0 /proc/14301/statm: 28282 363 304 221 0 87 0 [pid=14303] ppid=14301 vsize=28227388 memory=30248 CPUtime=0.12 cores=0-7 /proc/14303/stat : 14303 (java) S 14301 14301 12749 0 -1 1077944320 5528 0 0 0 11 1 0 0 20 0 20 0 418138688 28904845312 7562 33554432000 4194304 4196468 140732069978992 140732069961536 140091805421303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 /proc/14303/statm: 7056847 7562 3097 1 0 7019032 0 [pid=14303/tid=14304] ppid=14301 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/14303/task/14304/stat : 14304 (java) R 14301 14301 12749 0 -1 4202560 3422 0 0 0 8 0 0 0 20 0 20 0 418138688 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091809654080 140091805433238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14305] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14305/stat : 14305 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091768527120 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14306] ppid=14301 vsize=28227388 memory=288370549981431424 CPUtime=0 cores=0-7 /proc/14303/task/14306/stat : 14306 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091355683216 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14307] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14307/stat : 14307 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091354630672 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14308] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14308/stat : 14308 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091353578128 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14309] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14309/stat : 14309 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091352525584 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14310] ppid=14301 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14303/task/14310/stat : 14310 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091351473040 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14311] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14311/stat : 14311 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091350420496 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14312] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14312/stat : 14312 (java) S 14301 14301 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091349367952 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14313] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14313/stat : 14313 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138690 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091055941616 140091805432450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14314] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14314/stat : 14314 (java) S 14301 14301 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418138691 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091054887840 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14315] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14315/stat : 14315 (java) S 14301 14301 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418138691 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091053835248 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14316] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14316/stat : 14316 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138694 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091052783824 140091805439899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14317] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14317/stat : 14317 (java) S 14301 14301 12749 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 418138694 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091051731440 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14318] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14318/stat : 14318 (java) S 14301 14301 12749 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 418138694 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091050678896 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14319] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14319/stat : 14319 (java) S 14301 14301 12749 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418138694 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091049626352 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14320] ppid=14301 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/14303/task/14320/stat : 14320 (java) R 14301 14301 12749 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 20 0 418138694 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091048573808 140091797758208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14321] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14321/stat : 14321 (java) S 14301 14301 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418138694 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091047520480 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14322] ppid=14301 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14303/task/14322/stat : 14322 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138694 28904845312 7562 33554432000 4194304 4196468 140732069978992 140091046468016 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31700 KiB [startup+0.210555 s]* /proc/loadavg: 5.76 6.22 4.22 2/211 14322 /proc/meminfo: memFree=30607800/32770624 swapFree=66997532/67108860 [pid=14301] ppid=14298 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14301/stat : 14301 (xcsp3-exec) S 14298 14301 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418138688 115843072 363 33554432000 4194304 5098028 140724305728160 140724305726264 140158054482556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140724305732471 140724305732713 140724305732713 140724305735626 0 /proc/14301/statm: 28282 363 304 221 0 87 0 [pid=14303] ppid=14301 vsize=28227388 memory=40560 CPUtime=0.34 cores=0-7 /proc/14303/stat : 14303 (java) S 14301 14301 12749 0 -1 1077944320 8927 0 0 0 31 3 0 0 20 0 20 0 418138688 28904845312 10140 33554432000 4194304 4196468 140732069978992 140732069961536 140091805421303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 /proc/14303/statm: 7056847 10140 3254 1 0 7019032 0 [pid=14303/tid=14304] ppid=14301 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/14303/task/14304/stat : 14304 (java) R 14301 14301 12749 0 -1 4202560 6181 0 0 0 18 2 0 0 20 0 20 0 418138688 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091809660976 140091789501790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14305] ppid=14301 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7 /proc/14303/task/14305/stat : 14305 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091768527120 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14306] ppid=14301 vsize=28227388 memory=140173829732713 CPUtime=0 cores=0-7 /proc/14303/task/14306/stat : 14306 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091355683216 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14307] ppid=14301 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14303/task/14307/stat : 14307 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091354630672 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14308] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14308/stat : 14308 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091353578128 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14309] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14309/stat : 14309 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091352525584 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14310] ppid=14301 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14303/task/14310/stat : 14310 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091351473040 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14311] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14311/stat : 14311 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091350420496 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14312] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14312/stat : 14312 (java) S 14301 14301 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418138689 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091349367952 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14313] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14313/stat : 14313 (java) S 14301 14301 12749 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 418138690 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091055941616 140091805432450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14314] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14314/stat : 14314 (java) S 14301 14301 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418138691 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091054887840 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14315] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14315/stat : 14315 (java) S 14301 14301 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418138691 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091053835248 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14316] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14316/stat : 14316 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138694 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091052783824 140091805439899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14317] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14317/stat : 14317 (java) S 14301 14301 12749 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 20 0 418138694 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091051731440 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14318] ppid=14301 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/14303/task/14318/stat : 14318 (java) S 14301 14301 12749 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 20 0 418138694 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091050678896 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14319] ppid=14301 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/14303/task/14319/stat : 14319 (java) S 14301 14301 12749 0 -1 1077944384 194 0 0 0 2 0 0 0 20 0 20 0 418138694 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091049626352 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14320] ppid=14301 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/14303/task/14320/stat : 14320 (java) S 14301 14301 12749 0 -1 1077944384 772 0 0 0 8 0 0 0 20 0 20 0 418138694 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091048573808 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14321] ppid=14301 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14321/stat : 14321 (java) S 14301 14301 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418138694 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091047520480 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14322] ppid=14301 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14303/task/14322/stat : 14322 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138694 28904845312 10140 33554432000 4194304 4196468 140732069978992 140091046468016 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42012 KiB [startup+0.310228 s]* /proc/loadavg: 5.76 6.22 4.22 3/211 14322 /proc/meminfo: memFree=30601928/32770624 swapFree=66997532/67108860 [pid=14301] ppid=14298 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14301/stat : 14301 (xcsp3-exec) S 14298 14301 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418138688 115843072 363 33554432000 4194304 5098028 140724305728160 140724305726264 140158054482556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140724305732471 140724305732713 140724305732713 140724305735626 0 /proc/14301/statm: 28282 363 304 221 0 87 0 [pid=14303] ppid=14301 vsize=28231644 memory=49568 CPUtime=0.52 cores=0-7 /proc/14303/stat : 14303 (java) S 14301 14301 12749 0 -1 1077944320 10249 0 0 0 48 4 0 0 20 0 20 0 418138688 28909203456 12392 33554432000 4194304 4196468 140732069978992 140732069961536 140091805421303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 /proc/14303/statm: 7057911 12392 3350 1 0 7019032 0 [pid=14303/tid=14304] ppid=14301 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/14303/task/14304/stat : 14304 (java) R 14301 14301 12749 0 -1 4202560 7225 0 0 0 27 3 0 0 20 0 20 0 418138688 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091809652416 140091789501820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14305] ppid=14301 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14305/stat : 14305 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091768527120 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14306] ppid=14301 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14306/stat : 14306 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091355683216 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14307] ppid=14301 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14307/stat : 14307 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138689 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091354630672 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14308] ppid=14301 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14308/stat : 14308 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091353578128 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14309] ppid=14301 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14309/stat : 14309 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091352525584 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14310] ppid=14301 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14310/stat : 14310 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138689 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091351473040 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14311] ppid=14301 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14311/stat : 14311 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138689 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091350420496 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14312] ppid=14301 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14312/stat : 14312 (java) S 14301 14301 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418138689 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091349367952 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14313] ppid=14301 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14313/stat : 14313 (java) S 14301 14301 12749 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 418138690 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091055941616 140091805432450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14314] ppid=14301 vsize=28231644 memory=280347413781888 CPUtime=0 cores=0-7 /proc/14303/task/14314/stat : 14314 (java) S 14301 14301 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418138691 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091054887840 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14315] ppid=14301 vsize=28231644 memory=280347413786496 CPUtime=0 cores=0-7 /proc/14303/task/14315/stat : 14315 (java) S 14301 14301 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418138691 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091053835248 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14316] ppid=14301 vsize=28231644 memory=280347413791104 CPUtime=0 cores=0-7 /proc/14303/task/14316/stat : 14316 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138694 28909203456 12392 33554432000 4194304 4196468 140732069978992 140091052783824 140091805439899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14317] ppid=14301 vsize=28231644 memory=280347413795712 CPUtime=0.01 cores=0-7 /proc/14303/task/14317/stat : 14317 (java) S 14301 14301 12749 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 20 0 418138694 28909203456 12449 33554432000 4194304 4196468 140732069978992 140091051731440 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14318] ppid=14301 vsize=28231644 memory=280347413800320 CPUtime=0.03 cores=0-7 /proc/14303/task/14318/stat : 14318 (java) R 14301 14301 12749 0 -1 4202560 490 0 0 0 3 0 0 0 20 0 20 0 418138694 28909203456 12449 33554432000 4194304 4196468 140732069978992 140091050669280 140091805442650 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14319] ppid=14301 vsize=28231644 memory=280347413804928 CPUtime=0.03 cores=0-7 /proc/14303/task/14319/stat : 14319 (java) S 14301 14301 12749 0 -1 1077944384 218 0 0 0 3 0 0 0 20 0 20 0 418138694 28909203456 12449 33554432000 4194304 4196468 140732069978992 140091049626352 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14320] ppid=14301 vsize=28231644 memory=280347413809536 CPUtime=0.13 cores=0-7 /proc/14303/task/14320/stat : 14320 (java) S 14301 14301 12749 0 -1 1077944384 906 0 0 0 13 0 0 0 20 0 20 0 418138694 28909203456 12449 33554432000 4194304 4196468 140732069978992 140091048573808 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14321] ppid=14301 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14321/stat : 14321 (java) S 14301 14301 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418138694 28909203456 12449 33554432000 4194304 4196468 140732069978992 140091047520480 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14322] ppid=14301 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/14303/task/14322/stat : 14322 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138694 28909203456 12449 33554432000 4194304 4196468 140732069978992 140091046468016 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51020 KiB [startup+0.700987 s] /proc/loadavg: 5.76 6.22 4.22 4/211 14322 /proc/meminfo: memFree=30588888/32770624 swapFree=66997532/67108860 [pid=14301] ppid=14298 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14301/stat : 14301 (xcsp3-exec) S 14298 14301 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418138688 115843072 363 33554432000 4194304 5098028 140724305728160 140724305726264 140158054482556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140724305732471 140724305732713 140724305732713 140724305735626 0 /proc/14301/statm: 28282 363 304 221 0 87 0 [pid=14303] ppid=14301 vsize=28233768 memory=88892 CPUtime=1.68 cores=0-7 /proc/14303/stat : 14303 (java) S 14301 14301 12749 0 -1 1077944320 15445 0 0 0 161 7 0 0 20 0 20 0 418138688 28911378432 22223 33554432000 4194304 4196468 140732069978992 140732069961536 140091805421303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 /proc/14303/statm: 7058442 22223 3456 1 0 7019544 0 [pid=14303/tid=14304] ppid=14301 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7 /proc/14303/task/14304/stat : 14304 (java) R 14301 14301 12749 0 -1 4202560 8793 0 0 0 63 4 0 0 20 0 20 0 418138688 28911378432 22223 33554432000 4194304 4196468 140732069978992 140091809659296 140091798099317 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14305] ppid=14301 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14305/stat : 14305 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28911378432 22223 33554432000 4194304 4196468 140732069978992 140091768527120 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14306] ppid=14301 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/14303/task/14306/stat : 14306 (java) S 14301 14301 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418138689 28911378432 22223 33554432000 4194304 4196468 140732069978992 140091355683216 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14307] ppid=14301 vsize=28233768 memory=4008 CPUtime=0 cores=0-7 /proc/14303/task/14307/stat : 14307 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418138689 28911378432 22223 33554432000 4194304 4196468 140732069978992 140091354630672 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 ################ # More data... # ################ [pid=14303/tid=14421] ppid=14301 vsize=28902484 memory=4104 CPUtime=169.04 cores=0-7 /proc/14303/task/14421/stat : 14421 (java) R 14301 14301 12749 0 -1 4202560 8830 0 0 0 16896 8 0 0 20 0 28 0 418138900 29596143616 379983 33554432000 4194304 4196468 140732069978992 140090823127432 140091451909559 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14422] ppid=14301 vsize=28902484 memory=1412 CPUtime=169.27 cores=0-7 /proc/14303/task/14422/stat : 14422 (java) R 14301 14301 12749 0 -1 4202560 7794 0 0 0 16921 6 0 0 20 0 28 0 418138900 29596143616 379983 33554432000 4194304 4196468 140732069978992 140091029891456 140091448442148 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14423] ppid=14301 vsize=28902484 memory=1523000 CPUtime=169.45 cores=0-7 /proc/14303/task/14423/stat : 14423 (java) R 14301 14301 12749 0 -1 4202560 2645 0 0 0 16941 4 0 0 20 0 28 0 418138900 29596143616 379983 33554432000 4194304 4196468 140732069978992 140091037258040 140091442697508 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14424] ppid=14301 vsize=28902484 memory=1164 CPUtime=169.27 cores=0-7 /proc/14303/task/14424/stat : 14424 (java) R 14301 14301 12749 0 -1 4202560 17393 0 0 0 16902 25 0 0 20 0 28 0 418138900 29596143616 379983 33554432000 4194304 4196468 140732069978992 140091031994856 140091447265600 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14425] ppid=14301 vsize=28902484 memory=8317482817917895235 CPUtime=169.79 cores=0-7 /proc/14303/task/14425/stat : 14425 (java) R 14301 14301 12749 0 -1 4202560 4493 0 0 0 16974 5 0 0 20 0 28 0 418138900 29596143616 379983 33554432000 4194304 4196468 140732069978992 140091034099976 140091448439405 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14426] ppid=14301 vsize=28902484 memory=500 CPUtime=169.8 cores=0-7 /proc/14303/task/14426/stat : 14426 (java) R 14301 14301 12749 0 -1 4202560 4374 0 0 0 16975 5 0 0 20 0 28 0 418138902 29596143616 379983 33554432000 4194304 4196468 140732069978992 140090825231984 140091449630564 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 Current children cumulated CPU time: 1383.01 s Current children cumulated vsize: 29015612 KiB Current children cumulated memory: 1521384 KiB [startup+175.202 s] /proc/loadavg: 8.15 7.13 4.91 9/218 14438 /proc/meminfo: memFree=29135716/32770624 swapFree=66997532/67108860 [pid=14301] ppid=14298 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14301/stat : 14301 (xcsp3-exec) S 14298 14301 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418138688 115843072 363 33554432000 4194304 5098028 140724305728160 140724305726264 140158054482556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140724305732471 140724305732713 140724305732713 140724305735626 0 /proc/14301/statm: 28282 363 304 221 0 87 0 [pid=14303] ppid=14301 vsize=28902484 memory=1511724 CPUtime=1389.38 cores=0-7 /proc/14303/stat : 14303 (java) S 14301 14301 12749 0 -1 1077944320 141053 0 0 0 138699 239 0 0 20 0 28 0 418138688 29596143616 377931 33554432000 4194304 4196468 140732069978992 140732069961536 140091805421303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 /proc/14303/statm: 7225621 377931 3548 1 0 7186723 0 [pid=14303/tid=14304] ppid=14301 vsize=28902484 memory=1760 CPUtime=0.74 cores=0-7 /proc/14303/task/14304/stat : 14304 (java) S 14301 14301 12749 0 -1 1077944384 8980 0 0 0 70 4 0 0 20 0 28 0 418138688 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091809662080 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14305] ppid=14301 vsize=28902484 memory=6791534058613427641 CPUtime=1.23 cores=0-7 /proc/14303/task/14305/stat : 14305 (java) S 14301 14301 12749 0 -1 1077944384 2114 0 0 0 104 19 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091768527120 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14306] ppid=14301 vsize=28902484 memory=1516340 CPUtime=1.2 cores=0-7 /proc/14303/task/14306/stat : 14306 (java) S 14301 14301 12749 0 -1 1077944384 2543 0 0 0 101 19 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091355683216 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14307] ppid=14301 vsize=28902484 memory=1448 CPUtime=1.22 cores=0-7 /proc/14303/task/14307/stat : 14307 (java) S 14301 14301 12749 0 -1 1077944384 2535 0 0 0 103 19 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091354630672 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14308] ppid=14301 vsize=28902484 memory=876 CPUtime=1.23 cores=0-7 /proc/14303/task/14308/stat : 14308 (java) S 14301 14301 12749 0 -1 1077944384 3693 0 0 0 103 20 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091353578128 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14309] ppid=14301 vsize=28902484 memory=1980 CPUtime=1.23 cores=0-7 /proc/14303/task/14309/stat : 14309 (java) S 14301 14301 12749 0 -1 1077944384 2518 0 0 0 104 19 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091352525584 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14310] ppid=14301 vsize=28902484 memory=2552 CPUtime=1.19 cores=0-7 /proc/14303/task/14310/stat : 14310 (java) S 14301 14301 12749 0 -1 1077944384 2652 0 0 0 102 17 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091351473040 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14311] ppid=14301 vsize=28902484 memory=1128 CPUtime=1.19 cores=0-7 /proc/14303/task/14311/stat : 14311 (java) S 14301 14301 12749 0 -1 1077944384 3556 0 0 0 100 19 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091350420496 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14312] ppid=14301 vsize=28902484 memory=772 CPUtime=1.22 cores=0-7 /proc/14303/task/14312/stat : 14312 (java) S 14301 14301 12749 0 -1 1077944384 2428 0 0 0 102 20 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091349367952 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14313] ppid=14301 vsize=28902484 memory=4008 CPUtime=0.26 cores=0-7 /proc/14303/task/14313/stat : 14313 (java) S 14301 14301 12749 0 -1 1077944384 10012 0 0 0 20 6 0 0 20 0 28 0 418138690 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091055941616 140091805432450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14314] ppid=14301 vsize=28902484 memory=948 CPUtime=0 cores=0-7 /proc/14303/task/14314/stat : 14314 (java) S 14301 14301 12749 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 418138691 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091054887904 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14315] ppid=14301 vsize=28902484 memory=2832 CPUtime=0 cores=0-7 /proc/14303/task/14315/stat : 14315 (java) S 14301 14301 12749 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 418138691 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091053835264 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14316] ppid=14301 vsize=28902484 memory=9404 CPUtime=0 cores=0-7 /proc/14303/task/14316/stat : 14316 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091052783824 140091805439899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14317] ppid=14301 vsize=28902484 memory=1548 CPUtime=2.37 cores=0-7 /proc/14303/task/14317/stat : 14317 (java) S 14301 14301 12749 0 -1 1077944384 8412 0 0 0 236 1 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091051731440 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14318] ppid=14301 vsize=28902484 memory=628 CPUtime=2.47 cores=0-7 /proc/14303/task/14318/stat : 14318 (java) S 14301 14301 12749 0 -1 1077944384 10086 0 0 0 245 2 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091050678896 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14319] ppid=14301 vsize=28902484 memory=1056 CPUtime=2.67 cores=0-7 /proc/14303/task/14319/stat : 14319 (java) S 14301 14301 12749 0 -1 1077944384 13905 0 0 0 264 3 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091049626352 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14320] ppid=14301 vsize=28902484 memory=1452 CPUtime=1.13 cores=0-7 /proc/14303/task/14320/stat : 14320 (java) S 14301 14301 12749 0 -1 1077944384 13208 0 0 0 110 3 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091048573808 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14321] ppid=14301 vsize=28902484 memory=1521464 CPUtime=0 cores=0-7 /proc/14303/task/14321/stat : 14321 (java) S 14301 14301 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091047520480 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14322] ppid=14301 vsize=28902484 memory=15252636593031516 CPUtime=0.04 cores=0-7 /proc/14303/task/14322/stat : 14322 (java) S 14301 14301 12749 0 -1 1077944384 932 0 0 0 0 4 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091046468016 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14419] ppid=14301 vsize=28902484 memory=8317482817917895235 CPUtime=170.57 cores=0-7 /proc/14303/task/14419/stat : 14419 (java) R 14301 14301 12749 0 -1 4202560 2335 0 0 0 17055 2 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091033046408 140091442697448 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14420] ppid=14301 vsize=28902484 memory=628 CPUtime=170.58 cores=0-7 /proc/14303/task/14420/stat : 14420 (java) R 14301 14301 12749 0 -1 4202560 2234 0 0 0 17055 3 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091035152880 140091448437407 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14421] ppid=14301 vsize=28902484 memory=1056 CPUtime=169.82 cores=0-7 /proc/14303/task/14421/stat : 14421 (java) R 14301 14301 12749 0 -1 4202560 8830 0 0 0 16974 8 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140090823127504 140091453424082 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14422] ppid=14301 vsize=28902484 memory=8317482817917895235 CPUtime=170.05 cores=0-7 /proc/14303/task/14422/stat : 14422 (java) R 14301 14301 12749 0 -1 4202560 7794 0 0 0 16999 6 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091029889184 140091450998081 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14423] ppid=14301 vsize=28902484 memory=288230617509003574 CPUtime=170.23 cores=0-7 /proc/14303/task/14423/stat : 14423 (java) R 14301 14301 12749 0 -1 4202560 2645 0 0 0 17019 4 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091037258216 140091445018688 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14424] ppid=14301 vsize=28902484 memory=15252636593031516 CPUtime=170.06 cores=0-7 /proc/14303/task/14424/stat : 14424 (java) R 14301 14301 12749 0 -1 4202560 17395 0 0 0 16981 25 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091031996896 140091450174224 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14425] ppid=14301 vsize=28902484 memory=108 CPUtime=170.56 cores=0-7 /proc/14303/task/14425/stat : 14425 (java) R 14301 14301 12749 0 -1 4202560 4493 0 0 0 17051 5 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091034098296 140091449008835 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14426] ppid=14301 vsize=28902484 memory=109 CPUtime=170.59 cores=0-7 /proc/14303/task/14426/stat : 14426 (java) R 14301 14301 12749 0 -1 4202560 4374 0 0 0 17054 5 0 0 20 0 28 0 418138902 29596143616 377931 33554432000 4194304 4196468 140732069978992 140090825231968 140091447280512 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 Current children cumulated CPU time: 1389.38 s Current children cumulated vsize: 29015612 KiB Current children cumulated memory: 1513176 KiB [startup+175.602 s] /proc/loadavg: 8.15 7.13 4.91 9/218 14438 /proc/meminfo: memFree=29135716/32770624 swapFree=66997532/67108860 [pid=14301] ppid=14298 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14301/stat : 14301 (xcsp3-exec) S 14298 14301 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418138688 115843072 363 33554432000 4194304 5098028 140724305728160 140724305726264 140158054482556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140724305732471 140724305732713 140724305732713 140724305735626 0 /proc/14301/statm: 28282 363 304 221 0 87 0 [pid=14303] ppid=14301 vsize=28902484 memory=1511724 CPUtime=1392.57 cores=0-7 /proc/14303/stat : 14303 (java) S 14301 14301 12749 0 -1 1077944320 141053 0 0 0 139018 239 0 0 20 0 28 0 418138688 29596143616 377931 33554432000 4194304 4196468 140732069978992 140732069961536 140091805421303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 /proc/14303/statm: 7225621 377931 3548 1 0 7186723 0 [pid=14303/tid=14304] ppid=14301 vsize=28902484 memory=1128 CPUtime=0.74 cores=0-7 /proc/14303/task/14304/stat : 14304 (java) S 14301 14301 12749 0 -1 1077944384 8980 0 0 0 70 4 0 0 20 0 28 0 418138688 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091809662080 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14305] ppid=14301 vsize=28902484 memory=772 CPUtime=1.23 cores=0-7 /proc/14303/task/14305/stat : 14305 (java) S 14301 14301 12749 0 -1 1077944384 2114 0 0 0 104 19 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091768527120 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14306] ppid=14301 vsize=28902484 memory=4008 CPUtime=1.2 cores=0-7 /proc/14303/task/14306/stat : 14306 (java) S 14301 14301 12749 0 -1 1077944384 2543 0 0 0 101 19 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091355683216 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14307] ppid=14301 vsize=28902484 memory=948 CPUtime=1.22 cores=0-7 /proc/14303/task/14307/stat : 14307 (java) S 14301 14301 12749 0 -1 1077944384 2535 0 0 0 103 19 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091354630672 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14308] ppid=14301 vsize=28902484 memory=2832 CPUtime=1.23 cores=0-7 /proc/14303/task/14308/stat : 14308 (java) S 14301 14301 12749 0 -1 1077944384 3693 0 0 0 103 20 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091353578128 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14309] ppid=14301 vsize=28902484 memory=9404 CPUtime=1.23 cores=0-7 /proc/14303/task/14309/stat : 14309 (java) S 14301 14301 12749 0 -1 1077944384 2518 0 0 0 104 19 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091352525584 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14310] ppid=14301 vsize=28902484 memory=1548 CPUtime=1.19 cores=0-7 /proc/14303/task/14310/stat : 14310 (java) S 14301 14301 12749 0 -1 1077944384 2652 0 0 0 102 17 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091351473040 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14311] ppid=14301 vsize=28902484 memory=628 CPUtime=1.19 cores=0-7 /proc/14303/task/14311/stat : 14311 (java) S 14301 14301 12749 0 -1 1077944384 3556 0 0 0 100 19 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091350420496 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14312] ppid=14301 vsize=28902484 memory=1056 CPUtime=1.22 cores=0-7 /proc/14303/task/14312/stat : 14312 (java) S 14301 14301 12749 0 -1 1077944384 2428 0 0 0 102 20 0 0 20 0 28 0 418138689 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091349367952 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14313] ppid=14301 vsize=28902484 memory=1556 CPUtime=0.26 cores=0-7 /proc/14303/task/14313/stat : 14313 (java) S 14301 14301 12749 0 -1 1077944384 10012 0 0 0 20 6 0 0 20 0 28 0 418138690 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091055941616 140091805432450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14314] ppid=14301 vsize=28902484 memory=5924 CPUtime=0 cores=0-7 /proc/14303/task/14314/stat : 14314 (java) S 14301 14301 12749 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 418138691 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091054887904 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14315] ppid=14301 vsize=28902484 memory=14012 CPUtime=0 cores=0-7 /proc/14303/task/14315/stat : 14315 (java) S 14301 14301 12749 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 418138691 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091053835264 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14316] ppid=14301 vsize=28902484 memory=2116 CPUtime=0 cores=0-7 /proc/14303/task/14316/stat : 14316 (java) S 14301 14301 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091052783824 140091805439899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14317] ppid=14301 vsize=28902484 memory=10372 CPUtime=2.37 cores=0-7 /proc/14303/task/14317/stat : 14317 (java) S 14301 14301 12749 0 -1 1077944384 8412 0 0 0 236 1 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091051731440 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14318] ppid=14301 vsize=28902484 memory=1164 CPUtime=2.47 cores=0-7 /proc/14303/task/14318/stat : 14318 (java) S 14301 14301 12749 0 -1 1077944384 10086 0 0 0 245 2 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091050678896 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14319] ppid=14301 vsize=28902484 memory=8317482817917895235 CPUtime=2.67 cores=0-7 /proc/14303/task/14319/stat : 14319 (java) S 14301 14301 12749 0 -1 1077944384 13905 0 0 0 264 3 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091049626352 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14320] ppid=14301 vsize=28902484 memory=948 CPUtime=1.13 cores=0-7 /proc/14303/task/14320/stat : 14320 (java) S 14301 14301 12749 0 -1 1077944384 13208 0 0 0 110 3 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091048573808 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14321] ppid=14301 vsize=28902484 memory=2832 CPUtime=0 cores=0-7 /proc/14303/task/14321/stat : 14321 (java) S 14301 14301 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091047520480 140091805431509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14322] ppid=14301 vsize=28902484 memory=9404 CPUtime=0.04 cores=0-7 /proc/14303/task/14322/stat : 14322 (java) S 14301 14301 12749 0 -1 1077944384 932 0 0 0 0 4 0 0 20 0 28 0 418138694 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091046468016 140091805432450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14419] ppid=14301 vsize=28902484 memory=1548 CPUtime=170.97 cores=0-7 /proc/14303/task/14419/stat : 14419 (java) R 14301 14301 12749 0 -1 4202560 2335 0 0 0 17095 2 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091033046408 140091448589543 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14420] ppid=14301 vsize=28902484 memory=628 CPUtime=170.98 cores=0-7 /proc/14303/task/14420/stat : 14420 (java) R 14301 14301 12749 0 -1 4202560 2234 0 0 0 17095 3 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091035152880 140091448438330 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14421] ppid=14301 vsize=28902484 memory=6791534058613427641 CPUtime=170.22 cores=0-7 /proc/14303/task/14421/stat : 14421 (java) R 14301 14301 12749 0 -1 4202560 8830 0 0 0 17014 8 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140090823127504 140091451908682 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14422] ppid=14301 vsize=28902484 memory=1164 CPUtime=170.45 cores=0-7 /proc/14303/task/14422/stat : 14422 (java) R 14301 14301 12749 0 -1 4202560 7794 0 0 0 17039 6 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091029889184 140091450998081 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14423] ppid=14301 vsize=28902484 memory=1452 CPUtime=170.63 cores=0-7 /proc/14303/task/14423/stat : 14423 (java) R 14301 14301 12749 0 -1 4202560 2645 0 0 0 17059 4 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091037258216 140091447749218 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14424] ppid=14301 vsize=28902484 memory=1452 CPUtime=170.46 cores=0-7 /proc/14303/task/14424/stat : 14424 (java) R 14301 14301 12749 0 -1 4202560 17395 0 0 0 17021 25 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091031996896 140091447280519 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14425] ppid=14301 vsize=28902484 memory=1523000 CPUtime=170.95 cores=0-7 /proc/14303/task/14425/stat : 14425 (java) R 14301 14301 12749 0 -1 4202560 4493 0 0 0 17090 5 0 0 20 0 28 0 418138900 29596143616 377931 33554432000 4194304 4196468 140732069978992 140091034098296 140091445018990 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 [pid=14303/tid=14426] ppid=14301 vsize=28902484 memory=1098272 CPUtime=170.99 cores=0-7 /proc/14303/task/14426/stat : 14426 (java) R 14301 14301 12749 0 -1 4202560 4374 0 0 0 17094 5 0 0 20 0 28 0 418138902 29596143616 377931 33554432000 4194304 4196468 140732069978992 140090825231968 140091448439595 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34828288 140732069987306 140732069987478 140732069987478 140732069990351 0 Current children cumulated CPU time: 1392.57 s Current children cumulated vsize: 29015612 KiB Current children cumulated memory: 1513176 KiB [startup+175.801 s] /proc/loadavg: 8.15 7.13 4.91 9/218 14438 /proc/meminfo: memFree=29135716/32770624 swapFree=66997532/67108860 [pid=14301] ppid=14298 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14301/stat : 14301 (xcsp3-exec) S 14298 14301 12749 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418138688 115843072 363 33554432000 4194304 5098028 140724305728160 140724305726264 140158054482556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140724305732471 140724305732713 140724305732713 140724305735626 0 /proc/14301/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 175.814 CPU time (s): 1394.06 CPU user time (s): 1391.65 CPU system time (s): 2.41229 CPU usage (%): 792.919 Max. virtual memory (cumulated for all children) (KiB): 29015612 Max. memory (cumulated for all children) (KiB): 1524452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1391.65 system time used= 2.41229 maximum resident set size= 1525568 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 141843 page faults= 0 swaps= 0 block input operations= 0 block output operations= 312 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21552 involuntary context switches= 16004 # summary of solver processes directly reported to runsolver: # pid: 14301 # total CPU time (s): 1394.06 # total CPU user time (s): 1391.65 # total CPU system time (s): 2.41229 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.71781 second user time and 1.94597 second system time The end
Begin job on node106 at 2019-09-14 00:52:43 IDJOB=4394522 IDBENCH=115954 IDSOLVER=2843 FILE ID=node106/4394522-1568418840 RUNJOBID= node106-1568413091-12776 PBS_JOBID= 21702261 Free space on /tmp= 59112 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-06-11.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394522-1568418840/watcher-4394522-1568418840 -o /tmp/evaluation-result-4394522-1568418840/solver-4394522-1568418840 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 80656897 HOME/instance-4394522-1568418840.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5296a674fcd135b0317e95ffe6d81fd1 RANDOM SEED=80656897 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.79 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.79 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.79 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.79 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: 30638404 kB MemAvailable: 31904356 kB Buffers: 177052 kB Cached: 1369712 kB SwapCached: 9408 kB Active: 483420 kB Inactive: 1077892 kB Active(anon): 14092 kB Inactive(anon): 33832 kB Active(file): 469328 kB Inactive(file): 1044060 kB Unevictable: 107756 kB Mlocked: 107756 kB SwapTotal: 67108860 kB SwapFree: 66997532 kB Dirty: 26132 kB Writeback: 4 kB AnonPages: 113780 kB Mapped: 37836 kB Shmem: 25148 kB Slab: 165924 kB SReclaimable: 136796 kB SUnreclaim: 29128 kB KernelStack: 3424 kB PageTables: 5192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489848 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59088 MiB End job on node106 at 2019-09-14 00:55:39