Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 4.7559 | 1.16205 |
Name | Subisomorphism/Subisomorphism-m1-si2-m4D/ Subisomorphism-si2-m4Dr6-m256-00.xml |
MD5SUM | 73ef0e8387fdebf21bbae2b4acf5d521 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.036418 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 51 |
Number of constraints | 105 |
Number of domains | 1 |
Minimum domain size | 256 |
Maximum domain size | 256 |
Distribution of domain sizes | [{"size":256,"count":51}] |
Minimum variable degree | 2 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":2,"count":11},{"degree":3,"count":12},{"degree":4,"count":11},{"degree":6,"count":3},{"degree":7,"count":3},{"degree":8,"count":3},{"degree":9,"count":5},{"degree":10,"count":1},{"degree":11,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 51 |
Distribution of constraint arities | [{"arity":1,"count":17},{"arity":2,"count":87},{"arity":51,"count":1}] |
Number of extensional constraints | 104 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":104},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406629-1569352435.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406629-1569352435.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.30/0.84 c solve instance... 4.55/1.14 s SATISFIABLE 4.55/1.14 v <instantiation> 4.55/1.14 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] </list> 4.55/1.14 v <values>0 39 93 100 179 214 43 116 154 167 200 213 247 249 59 75 215 228 254 48 125 135 105 124 255 203 223 234 237 88 104 112 118 138 208 239 82 99 172 225 246 35 76 227 6 47 69 77 197 207 27 </values> 4.55/1.14 v </instantiation>
OK
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 (14637 MiB free) memory of node 1: 16384 MiB (13433 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406629-1569352435/watcher-4406629-1569352435 -o /var/tmp/evaluation-result-4406629-1569352435/solver-4406629-1569352435 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569345579-15751 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1426610360 HOME/instance-4406629-1569352435.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=17545, runsolver pid=17542 [startup+0.10011 s]* /proc/loadavg: 6.91 8.05 8.15 2/211 17566 /proc/meminfo: memFree=28728884/32770624 swapFree=66954108/67108860 [pid=17545] ppid=17542 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17545/stat : 17545 (xcsp3-exec) S 17542 17545 15724 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511498832 115843072 362 33554432000 4194304 5098028 140731419734640 140731419732744 139778828681852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33034240 140731419743057 140731419743317 140731419743317 140731419746246 0 /proc/17545/statm: 28282 362 304 221 0 87 0 [pid=17547] ppid=17545 vsize=28227396 memory=28992 CPUtime=0.12 cores=0-7 /proc/17547/stat : 17547 (java) S 17545 17545 15724 0 -1 1077944320 5710 0 0 0 11 1 0 0 20 0 20 0 511498833 28904853504 7248 33554432000 4194304 4196468 140729961728336 140729961710880 140147223809783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 /proc/17547/statm: 7056849 7248 3121 1 0 7019032 0 [pid=17547/tid=17548] ppid=17545 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/17547/task/17548/stat : 17548 (java) R 17545 17545 15724 0 -1 4202560 3639 0 0 0 8 1 0 0 20 0 20 0 511498833 28904853504 7248 33554432000 4194304 4196468 140729961728336 140147228037808 140147223821718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17549] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17549/stat : 17549 (java) S 17545 17545 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 7248 33554432000 4194304 4196468 140729961728336 140147143662352 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17550] ppid=17545 vsize=28227396 memory=3545941478746740384 CPUtime=0 cores=0-7 /proc/17547/task/17550/stat : 17550 (java) S 17545 17545 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 7248 33554432000 4194304 4196468 140729961728336 140147142609808 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17551] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17551/stat : 17551 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 7248 33554432000 4194304 4196468 140729961728336 140147141557264 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17552] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17552/stat : 17552 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 7248 33554432000 4194304 4196468 140729961728336 140147140504720 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17553] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17553/stat : 17553 (java) S 17545 17545 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 7248 33554432000 4194304 4196468 140729961728336 140147139451152 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17554] ppid=17545 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17547/task/17554/stat : 17554 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 7248 33554432000 4194304 4196468 140729961728336 140147138398608 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17555] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17555/stat : 17555 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 7248 33554432000 4194304 4196468 140729961728336 140147137346064 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17556] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17556/stat : 17556 (java) S 17545 17545 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 7248 33554432000 4194304 4196468 140729961728336 140147136293520 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17557] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17557/stat : 17557 (java) S 17545 17545 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511498835 28904853504 7248 33554432000 4194304 4196468 140729961728336 140145938405872 140147223820930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17558] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17558/stat : 17558 (java) S 17545 17545 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511498836 28904853504 7248 33554432000 4194304 4196468 140729961728336 140145937352096 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17559] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17559/stat : 17559 (java) S 17545 17545 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511498836 28904853504 7248 33554432000 4194304 4196468 140729961728336 140145936299504 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17560] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17560/stat : 17560 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498838 28904853504 7248 33554432000 4194304 4196468 140729961728336 140145935248080 140147223828379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17561] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17561/stat : 17561 (java) S 17545 17545 15724 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 511498838 28904853504 7248 33554432000 4194304 4196468 140729961728336 140145934194672 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17562] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17562/stat : 17562 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498838 28904853504 7248 33554432000 4194304 4196468 140729961728336 140145933142128 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17563] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17563/stat : 17563 (java) S 17545 17545 15724 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511498838 28904853504 7248 33554432000 4194304 4196468 140729961728336 140145932089584 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17564] ppid=17545 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/17547/task/17564/stat : 17564 (java) R 17545 17545 15724 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 20 0 511498838 28904853504 7248 33554432000 4194304 4196468 140729961728336 140145931037040 140147203272276 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17565] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17565/stat : 17565 (java) S 17545 17545 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511498839 28904853504 7248 33554432000 4194304 4196468 140729961728336 140145929984736 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17566] ppid=17545 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17547/task/17566/stat : 17566 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498839 28904853504 7248 33554432000 4194304 4196468 140729961728336 140145928932272 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30440 KiB [startup+0.210119 s]* /proc/loadavg: 6.91 8.05 8.15 2/211 17566 /proc/meminfo: memFree=28715348/32770624 swapFree=66954108/67108860 [pid=17545] ppid=17542 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17545/stat : 17545 (xcsp3-exec) S 17542 17545 15724 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511498832 115843072 362 33554432000 4194304 5098028 140731419734640 140731419732744 139778828681852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33034240 140731419743057 140731419743317 140731419743317 140731419746246 0 /proc/17545/statm: 28282 362 304 221 0 87 0 [pid=17547] ppid=17545 vsize=28227396 memory=40988 CPUtime=0.33 cores=0-7 /proc/17547/stat : 17547 (java) S 17545 17545 15724 0 -1 1077944320 9506 0 0 0 30 3 0 0 20 0 20 0 511498833 28904853504 10247 33554432000 4194304 4196468 140729961728336 140729961710880 140147223809783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 /proc/17547/statm: 7056849 10247 3294 1 0 7019032 0 [pid=17547/tid=17548] ppid=17545 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/17547/task/17548/stat : 17548 (java) R 17545 17545 15724 0 -1 4202560 6662 0 0 0 17 2 0 0 20 0 20 0 511498833 28904853504 10247 33554432000 4194304 4196468 140729961728336 140147228041696 140147207890270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17549] ppid=17545 vsize=28227396 memory=10927 CPUtime=0 cores=0-7 /proc/17547/task/17549/stat : 17549 (java) S 17545 17545 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 10247 33554432000 4194304 4196468 140729961728336 140147143662352 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17550] ppid=17545 vsize=28227396 memory=140495531069161 CPUtime=0 cores=0-7 /proc/17547/task/17550/stat : 17550 (java) S 17545 17545 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 10247 33554432000 4194304 4196468 140729961728336 140147142609808 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17551] ppid=17545 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17547/task/17551/stat : 17551 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 10247 33554432000 4194304 4196468 140729961728336 140147141557264 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17552] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17552/stat : 17552 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 10247 33554432000 4194304 4196468 140729961728336 140147140504720 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17553] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17553/stat : 17553 (java) S 17545 17545 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 10247 33554432000 4194304 4196468 140729961728336 140147139451152 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17554] ppid=17545 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17547/task/17554/stat : 17554 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 10247 33554432000 4194304 4196468 140729961728336 140147138398608 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17555] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17555/stat : 17555 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 10247 33554432000 4194304 4196468 140729961728336 140147137346064 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17556] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17556/stat : 17556 (java) S 17545 17545 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511498834 28904853504 10247 33554432000 4194304 4196468 140729961728336 140147136293520 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17557] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17557/stat : 17557 (java) S 17545 17545 15724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511498835 28904853504 10247 33554432000 4194304 4196468 140729961728336 140145938405872 140147223820930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17558] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17558/stat : 17558 (java) S 17545 17545 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511498836 28904853504 10247 33554432000 4194304 4196468 140729961728336 140145937352096 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17559] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17559/stat : 17559 (java) S 17545 17545 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511498836 28904853504 10247 33554432000 4194304 4196468 140729961728336 140145936299504 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17560] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17560/stat : 17560 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498838 28904853504 10247 33554432000 4194304 4196468 140729961728336 140145935248080 140147223828379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17561] ppid=17545 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17547/task/17561/stat : 17561 (java) S 17545 17545 15724 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 511498838 28904853504 10247 33554432000 4194304 4196468 140729961728336 140145934194672 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17562] ppid=17545 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17547/task/17562/stat : 17562 (java) S 17545 17545 15724 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 511498838 28904853504 10247 33554432000 4194304 4196468 140729961728336 140145933142128 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17563] ppid=17545 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/17547/task/17563/stat : 17563 (java) S 17545 17545 15724 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 511498838 28904853504 10247 33554432000 4194304 4196468 140729961728336 140145932089584 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17564] ppid=17545 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/17547/task/17564/stat : 17564 (java) S 17545 17545 15724 0 -1 1077944384 757 0 0 0 7 0 0 0 20 0 20 0 511498838 28904853504 10247 33554432000 4194304 4196468 140729961728336 140145931037040 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17565] ppid=17545 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17565/stat : 17565 (java) S 17545 17545 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511498839 28904853504 10247 33554432000 4194304 4196468 140729961728336 140145929984736 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17566] ppid=17545 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17547/task/17566/stat : 17566 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498839 28904853504 10247 33554432000 4194304 4196468 140729961728336 140145928932272 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42436 KiB [startup+0.309541 s]* /proc/loadavg: 6.91 8.05 8.15 3/211 17566 /proc/meminfo: memFree=28707300/32770624 swapFree=66954108/67108860 [pid=17545] ppid=17542 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17545/stat : 17545 (xcsp3-exec) S 17542 17545 15724 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511498832 115843072 362 33554432000 4194304 5098028 140731419734640 140731419732744 139778828681852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33034240 140731419743057 140731419743317 140731419743317 140731419746246 0 /proc/17545/statm: 28282 362 304 221 0 87 0 [pid=17547] ppid=17545 vsize=28231652 memory=49648 CPUtime=0.52 cores=0-7 /proc/17547/stat : 17547 (java) S 17545 17545 15724 0 -1 1077944320 10799 0 0 0 47 5 0 0 20 0 20 0 511498833 28909211648 12412 33554432000 4194304 4196468 140729961728336 140729961710880 140147223809783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 /proc/17547/statm: 7057913 12412 3348 1 0 7019032 0 [pid=17547/tid=17548] ppid=17545 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/17547/task/17548/stat : 17548 (java) R 17545 17545 15724 0 -1 4202560 7758 0 0 0 26 3 0 0 20 0 20 0 511498833 28909211648 12412 33554432000 4194304 4196468 140729961728336 140147228040896 140147223831709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17549] ppid=17545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17549/stat : 17549 (java) S 17545 17545 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511498834 28909211648 12412 33554432000 4194304 4196468 140729961728336 140147143662352 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17550] ppid=17545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17550/stat : 17550 (java) S 17545 17545 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511498834 28909211648 12412 33554432000 4194304 4196468 140729961728336 140147142609808 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17551] ppid=17545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17551/stat : 17551 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28909211648 12412 33554432000 4194304 4196468 140729961728336 140147141557264 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17552] ppid=17545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17552/stat : 17552 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28909211648 12412 33554432000 4194304 4196468 140729961728336 140147140504720 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17553] ppid=17545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17553/stat : 17553 (java) S 17545 17545 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511498834 28909211648 12412 33554432000 4194304 4196468 140729961728336 140147139451152 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17554] ppid=17545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17554/stat : 17554 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28909211648 12412 33554432000 4194304 4196468 140729961728336 140147138398608 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17555] ppid=17545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17555/stat : 17555 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28909211648 12412 33554432000 4194304 4196468 140729961728336 140147137346064 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17556] ppid=17545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17556/stat : 17556 (java) S 17545 17545 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511498834 28909211648 12412 33554432000 4194304 4196468 140729961728336 140147136293520 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17557] ppid=17545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17557/stat : 17557 (java) S 17545 17545 15724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511498835 28909211648 12478 33554432000 4194304 4196468 140729961728336 140145938405872 140147223820930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17558] ppid=17545 vsize=28231652 memory=280990853569920 CPUtime=0 cores=0-7 /proc/17547/task/17558/stat : 17558 (java) S 17545 17545 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511498836 28909211648 12478 33554432000 4194304 4196468 140729961728336 140145937352096 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17559] ppid=17545 vsize=28231652 memory=280990853574528 CPUtime=0 cores=0-7 /proc/17547/task/17559/stat : 17559 (java) S 17545 17545 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511498836 28909211648 12478 33554432000 4194304 4196468 140729961728336 140145936299504 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17560] ppid=17545 vsize=28231652 memory=280990853579136 CPUtime=0 cores=0-7 /proc/17547/task/17560/stat : 17560 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498838 28909211648 12478 33554432000 4194304 4196468 140729961728336 140145935248080 140147223828379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17561] ppid=17545 vsize=28231652 memory=280990853583744 CPUtime=0.02 cores=0-7 /proc/17547/task/17561/stat : 17561 (java) R 17545 17545 15724 0 -1 4202560 472 0 0 0 2 0 0 0 20 0 20 0 511498838 28909211648 12478 33554432000 4194304 4196468 140729961728336 140145934175688 140147207220674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17562] ppid=17545 vsize=28231652 memory=280990853588352 CPUtime=0.03 cores=0-7 /proc/17547/task/17562/stat : 17562 (java) S 17545 17545 15724 0 -1 1077944384 65 0 0 0 3 0 0 0 20 0 20 0 511498838 28909211648 12478 33554432000 4194304 4196468 140729961728336 140145933142128 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17563] ppid=17545 vsize=28231652 memory=280990853592960 CPUtime=0.02 cores=0-7 /proc/17547/task/17563/stat : 17563 (java) S 17545 17545 15724 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 20 0 511498838 28909211648 12478 33554432000 4194304 4196468 140729961728336 140145932089584 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17564] ppid=17545 vsize=28231652 memory=280990853597568 CPUtime=0.12 cores=0-7 /proc/17547/task/17564/stat : 17564 (java) S 17545 17545 15724 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 20 0 511498838 28909211648 12478 33554432000 4194304 4196468 140729961728336 140145931037040 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17565] ppid=17545 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17565/stat : 17565 (java) S 17545 17545 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511498839 28909211648 12478 33554432000 4194304 4196468 140729961728336 140145929984736 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17566] ppid=17545 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17547/task/17566/stat : 17566 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498839 28909211648 12478 33554432000 4194304 4196468 140729961728336 140145928932272 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51096 KiB [startup+0.700987 s] /proc/loadavg: 6.91 8.05 8.15 4/211 17566 /proc/meminfo: memFree=28691596/32770624 swapFree=66954108/67108860 [pid=17545] ppid=17542 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17545/stat : 17545 (xcsp3-exec) S 17542 17545 15724 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511498832 115843072 362 33554432000 4194304 5098028 140731419734640 140731419732744 139778828681852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33034240 140731419743057 140731419743317 140731419743317 140731419746246 0 /proc/17545/statm: 28282 362 304 221 0 87 0 [pid=17547] ppid=17545 vsize=28233776 memory=110444 CPUtime=1.85 cores=0-7 /proc/17547/stat : 17547 (java) S 17545 17545 15724 0 -1 1077944320 15626 0 0 0 177 8 0 0 20 0 20 0 511498833 28911386624 27611 33554432000 4194304 4196468 140729961728336 140729961710880 140147223809783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 /proc/17547/statm: 7058444 27611 3461 1 0 7019544 0 [pid=17547/tid=17548] ppid=17545 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/17547/task/17548/stat : 17548 (java) R 17545 17545 15724 0 -1 4202560 9029 0 0 0 62 5 0 0 20 0 20 0 511498833 28911386624 27611 33554432000 4194304 4196468 140729961728336 140147228043056 140147223821718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17549] ppid=17545 vsize=28233776 memory=140495426986880 CPUtime=0 cores=0-7 /proc/17547/task/17549/stat : 17549 (java) S 17545 17545 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511498834 28911386624 27611 33554432000 4194304 4196468 140729961728336 140147143662352 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17550] ppid=17545 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17550/stat : 17550 (java) S 17545 17545 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511498834 28911386624 27611 33554432000 4194304 4196468 140729961728336 140147142609808 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17551] ppid=17545 vsize=28233776 memory=9364 CPUtime=0 cores=0-7 /proc/17547/task/17551/stat : 17551 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498834 28911386624 27611 33554432000 4194304 4196468 140729961728336 140147141557264 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 ################ # More data... # ################ [pid=17547/tid=17556] ppid=17545 vsize=28233776 memory=920 CPUtime=0 cores=0-7 /proc/17547/task/17556/stat : 17556 (java) S 17545 17545 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511498834 28911386624 38482 33554432000 4194304 4196468 140729961728336 140147136293520 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17557] ppid=17545 vsize=28233776 memory=280990853452784 CPUtime=0 cores=0-7 /proc/17547/task/17557/stat : 17557 (java) S 17545 17545 15724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511498835 28911386624 38482 33554432000 4194304 4196468 140729961728336 140145938405872 140147223820930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17558] ppid=17545 vsize=28233776 memory=77514026257130 CPUtime=0 cores=0-7 /proc/17547/task/17558/stat : 17558 (java) S 17545 17545 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511498836 28911386624 38482 33554432000 4194304 4196468 140729961728336 140145937352096 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17559] ppid=17545 vsize=28233776 memory=77518321224426 CPUtime=0 cores=0-7 /proc/17547/task/17559/stat : 17559 (java) S 17545 17545 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511498836 28911386624 38482 33554432000 4194304 4196468 140729961728336 140145936299504 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17560] ppid=17545 vsize=28233776 memory=77531206126314 CPUtime=0 cores=0-7 /proc/17547/task/17560/stat : 17560 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498838 28911386624 38482 33554432000 4194304 4196468 140729961728336 140145935248080 140147223828379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17561] ppid=17545 vsize=28233776 memory=77539796060906 CPUtime=0.33 cores=0-7 /proc/17547/task/17561/stat : 17561 (java) R 17545 17545 15724 0 -1 4202560 1282 0 0 0 33 0 0 0 20 0 20 0 511498838 28911386624 38482 33554432000 4194304 4196468 140729961728336 140145934194800 140147203053431 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17562] ppid=17545 vsize=28233776 memory=135195437041409 CPUtime=0.38 cores=0-7 /proc/17547/task/17562/stat : 17562 (java) R 17545 17545 15724 0 -1 4202560 1208 0 0 0 38 0 0 0 20 0 20 0 511498838 28911386624 38482 33554432000 4194304 4196468 140729961728336 140145933123520 140147207366075 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17563] ppid=17545 vsize=28233776 memory=280990853560336 CPUtime=0.35 cores=0-7 /proc/17547/task/17563/stat : 17563 (java) R 17545 17545 15724 0 -1 4202560 1324 0 0 0 35 0 0 0 20 0 20 0 511498838 28911386624 38482 33554432000 4194304 4196468 140729961728336 140145932075464 140147223823687 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17564] ppid=17545 vsize=28233776 memory=77539796060906 CPUtime=0.42 cores=0-7 /proc/17547/task/17564/stat : 17564 (java) S 17545 17545 15724 0 -1 1077944384 2049 0 0 0 42 0 0 0 20 0 20 0 511498838 28911386624 38482 33554432000 4194304 4196468 140729961728336 140145931037040 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17565] ppid=17545 vsize=28233776 memory=77539796060906 CPUtime=0 cores=0-7 /proc/17547/task/17565/stat : 17565 (java) S 17545 17545 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511498839 28911386624 38994 33554432000 4194304 4196468 140729961728336 140145929984736 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17566] ppid=17545 vsize=28233776 memory=77539796060906 CPUtime=0 cores=0-7 /proc/17547/task/17566/stat : 17566 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511498839 28911386624 38994 33554432000 4194304 4196468 140729961728336 140145928932272 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 Current children cumulated CPU time: 2.3 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 155376 KiB [startup+1.0015 s]* /proc/loadavg: 6.91 8.05 8.15 13/219 17574 /proc/meminfo: memFree=28540484/32770624 swapFree=66954108/67108860 [pid=17545] ppid=17542 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17545/stat : 17545 (xcsp3-exec) S 17542 17545 15724 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511498832 115843072 362 33554432000 4194304 5098028 140731419734640 140731419732744 139778828681852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33034240 140731419743057 140731419743317 140731419743317 140731419746246 0 /proc/17545/statm: 28282 362 304 221 0 87 0 [pid=17547] ppid=17545 vsize=28766288 memory=218580 CPUtime=3.69 cores=0-7 /proc/17547/stat : 17547 (java) S 17545 17545 15724 0 -1 1077944320 16997 0 0 0 352 17 0 0 20 0 28 0 511498833 29456678912 54645 33554432000 4194304 4196468 140729961728336 140729961710880 140147223809783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 /proc/17547/statm: 7191572 54645 3484 1 0 7152672 0 [pid=17547/tid=17548] ppid=17545 vsize=28766288 memory=0 CPUtime=0.82 cores=0-7 /proc/17547/task/17548/stat : 17548 (java) S 17545 17545 15724 0 -1 1077944384 9145 0 0 0 76 6 0 0 20 0 28 0 511498833 29456678912 54645 33554432000 4194304 4196468 140729961728336 140147228050560 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17549] ppid=17545 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7 /proc/17547/task/17549/stat : 17549 (java) S 17545 17545 15724 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 511498834 29456678912 54645 33554432000 4194304 4196468 140729961728336 140147143662352 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17550] ppid=17545 vsize=28766288 memory=208141262378624 CPUtime=0 cores=0-7 /proc/17547/task/17550/stat : 17550 (java) S 17545 17545 15724 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 511498834 29456678912 54645 33554432000 4194304 4196468 140729961728336 140147142609808 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17551] ppid=17545 vsize=28766288 memory=-1 CPUtime=0.02 cores=0-7 /proc/17547/task/17551/stat : 17551 (java) S 17545 17545 15724 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 511498834 29456678912 54645 33554432000 4194304 4196468 140729961728336 140147141557264 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17552] ppid=17545 vsize=28766288 memory=5792262852892967009 CPUtime=0.01 cores=0-7 /proc/17547/task/17552/stat : 17552 (java) S 17545 17545 15724 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 511498834 29456678912 54645 33554432000 4194304 4196468 140729961728336 140147140504720 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17553] ppid=17545 vsize=28766288 memory=7956009421032745061 CPUtime=0.02 cores=0-7 /proc/17547/task/17553/stat : 17553 (java) S 17545 17545 15724 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 511498834 29456678912 54645 33554432000 4194304 4196468 140729961728336 140147139451152 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17554] ppid=17545 vsize=28766288 memory=2319389199166414902 CPUtime=0.01 cores=0-7 /proc/17547/task/17554/stat : 17554 (java) S 17545 17545 15724 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 511498834 29456678912 54645 33554432000 4194304 4196468 140729961728336 140147138398608 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17555] ppid=17545 vsize=28766288 memory=8318255677412212789 CPUtime=0.01 cores=0-7 /proc/17547/task/17555/stat : 17555 (java) S 17545 17545 15724 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 511498834 29456678912 54645 33554432000 4194304 4196468 140729961728336 140147137346064 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17556] ppid=17545 vsize=28766288 memory=288230596118053219 CPUtime=0 cores=0-7 /proc/17547/task/17556/stat : 17556 (java) S 17545 17545 15724 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 511498834 29456678912 54645 33554432000 4194304 4196468 140729961728336 140147136293520 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17557] ppid=17545 vsize=28766288 memory=3615423 CPUtime=0 cores=0-7 /proc/17547/task/17557/stat : 17557 (java) S 17545 17545 15724 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 511498835 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145938405872 140147223820930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17558] ppid=17545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17558/stat : 17558 (java) S 17545 17545 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511498836 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145937352096 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17559] ppid=17545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17559/stat : 17559 (java) S 17545 17545 15724 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 511498836 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145936299504 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17560] ppid=17545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17560/stat : 17560 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511498838 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145935248080 140147223828379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17561] ppid=17545 vsize=28766288 memory=0 CPUtime=0.4 cores=0-7 /proc/17547/task/17561/stat : 17561 (java) R 17545 17545 15724 0 -1 4202560 1302 0 0 0 40 0 0 0 20 0 28 0 511498838 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145934194672 140147201637168 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17562] ppid=17545 vsize=28766288 memory=0 CPUtime=0.48 cores=0-7 /proc/17547/task/17562/stat : 17562 (java) R 17545 17545 15724 0 -1 4202560 1260 0 0 0 48 0 0 0 20 0 28 0 511498838 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145933142128 140147203764673 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17563] ppid=17545 vsize=28766288 memory=0 CPUtime=0.44 cores=0-7 /proc/17547/task/17563/stat : 17563 (java) R 17545 17545 15724 0 -1 1077944384 1360 0 0 0 44 0 0 0 20 0 28 0 511498838 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145932082608 140147223819989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17564] ppid=17545 vsize=28766288 memory=0 CPUtime=0.47 cores=0-7 /proc/17547/task/17564/stat : 17564 (java) R 17545 17545 15724 0 -1 4202560 2134 0 0 0 47 0 0 0 20 0 28 0 511498838 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145931033776 140147223831130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17565] ppid=17545 vsize=28766288 memory=-6520473914223154590 CPUtime=0 cores=0-7 /proc/17547/task/17565/stat : 17565 (java) S 17545 17545 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511498839 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145929984736 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17566] ppid=17545 vsize=28766288 memory=7593749991801187429 CPUtime=0 cores=0-7 /proc/17547/task/17566/stat : 17566 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511498839 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145928932272 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17567] ppid=17545 vsize=28766288 memory=5787213857530341457 CPUtime=0.12 cores=0-7 /proc/17547/task/17567/stat : 17567 (java) R 17545 17545 15724 0 -1 4202560 48 0 0 0 12 0 0 0 20 0 28 0 511498917 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145852311488 140146818548300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17568] ppid=17545 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7 /proc/17547/task/17568/stat : 17568 (java) R 17545 17545 15724 0 -1 4202560 45 0 0 0 10 0 0 0 20 0 28 0 511498918 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145851256144 140146818569701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17569] ppid=17545 vsize=28766288 memory=140499822433919 CPUtime=0.1 cores=0-7 /proc/17547/task/17569/stat : 17569 (java) R 17545 17545 15724 0 -1 4202560 39 0 0 0 10 0 0 0 20 0 28 0 511498918 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145850202592 140146813054000 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17570] ppid=17545 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7 /proc/17547/task/17570/stat : 17570 (java) R 17545 17545 15724 0 -1 4202560 27 0 0 0 10 0 0 0 20 0 28 0 511498918 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145849150168 140146813036261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17571] ppid=17545 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7 /proc/17547/task/17571/stat : 17571 (java) R 17545 17545 15724 0 -1 4202560 25 0 0 0 12 0 0 0 20 0 28 0 511498918 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145848101184 140146818548195 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17572] ppid=17545 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7 /proc/17547/task/17572/stat : 17572 (java) R 17545 17545 15724 0 -1 4202560 27 0 0 0 10 0 0 0 20 0 28 0 511498918 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145847044944 140146818548375 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17573] ppid=17545 vsize=28766288 memory=0 CPUtime=0.09 cores=0-7 /proc/17547/task/17573/stat : 17573 (java) R 17545 17545 15724 0 -1 4202560 26 0 0 0 9 0 0 0 20 0 28 0 511498918 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145845996600 140146818548172 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17574] ppid=17545 vsize=28766288 memory=0 CPUtime=0.08 cores=0-7 /proc/17547/task/17574/stat : 17574 (java) R 17545 17545 15724 0 -1 4202560 26 0 0 0 8 0 0 0 20 0 28 0 511498918 29456678912 54645 33554432000 4194304 4196468 140729961728336 140145844940112 140146818569701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 Current children cumulated CPU time: 3.69 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 220028 KiB [startup+1.1185 s] /proc/loadavg: 6.91 8.05 8.15 13/219 17574 /proc/meminfo: memFree=28540484/32770624 swapFree=66954108/67108860 [pid=17545] ppid=17542 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/17545/stat : 17545 (xcsp3-exec) S 17542 17545 15724 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511498832 115843072 362 33554432000 4194304 5098028 140731419734640 140731419732744 139778828681852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33034240 140731419743057 140731419743317 140731419743317 140731419746246 0 /proc/17545/statm: 28282 362 304 221 0 87 0 [pid=17547] ppid=17545 vsize=28766288 memory=219084 CPUtime=4.55 cores=0-7 /proc/17547/stat : 17547 (java) S 17545 17545 15724 0 -1 1077944320 17140 0 0 0 438 17 0 0 20 0 28 0 511498833 29456678912 54771 33554432000 4194304 4196468 140729961728336 140729961710880 140147223809783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 /proc/17547/statm: 7191572 54771 3485 1 0 7152672 0 [pid=17547/tid=17548] ppid=17545 vsize=28766288 memory=0 CPUtime=0.82 cores=0-7 /proc/17547/task/17548/stat : 17548 (java) S 17545 17545 15724 0 -1 1077944384 9145 0 0 0 76 6 0 0 20 0 28 0 511498833 29456678912 54771 33554432000 4194304 4196468 140729961728336 140147228050560 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17549] ppid=17545 vsize=28766288 memory=140495426986880 CPUtime=0.02 cores=0-7 /proc/17547/task/17549/stat : 17549 (java) S 17545 17545 15724 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 511498834 29456678912 54771 33554432000 4194304 4196468 140729961728336 140147143662352 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17550] ppid=17545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17550/stat : 17550 (java) S 17545 17545 15724 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 511498834 29456678912 54771 33554432000 4194304 4196468 140729961728336 140147142609808 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17551] ppid=17545 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7 /proc/17547/task/17551/stat : 17551 (java) S 17545 17545 15724 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 511498834 29456678912 54771 33554432000 4194304 4196468 140729961728336 140147141557264 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17552] ppid=17545 vsize=28766288 memory=75355201243426 CPUtime=0.01 cores=0-7 /proc/17547/task/17552/stat : 17552 (java) S 17545 17545 15724 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 511498834 29456678912 54771 33554432000 4194304 4196468 140729961728336 140147140504720 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17553] ppid=17545 vsize=28766288 memory=75355201243427 CPUtime=0.02 cores=0-7 /proc/17547/task/17553/stat : 17553 (java) S 17545 17545 15724 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 511498834 29456678912 54771 33554432000 4194304 4196468 140729961728336 140147139451152 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17554] ppid=17545 vsize=28766288 memory=75355201243428 CPUtime=0.01 cores=0-7 /proc/17547/task/17554/stat : 17554 (java) S 17545 17545 15724 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 511498834 29456678912 54771 33554432000 4194304 4196468 140729961728336 140147138398608 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17555] ppid=17545 vsize=28766288 memory=75355201243429 CPUtime=0.01 cores=0-7 /proc/17547/task/17555/stat : 17555 (java) S 17545 17545 15724 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 511498834 29456678912 54771 33554432000 4194304 4196468 140729961728336 140147137346064 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17556] ppid=17545 vsize=28766288 memory=75355201243430 CPUtime=0 cores=0-7 /proc/17547/task/17556/stat : 17556 (java) S 17545 17545 15724 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 511498834 29456678912 54771 33554432000 4194304 4196468 140729961728336 140147136293520 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17557] ppid=17545 vsize=28766288 memory=75355201243431 CPUtime=0 cores=0-7 /proc/17547/task/17557/stat : 17557 (java) S 17545 17545 15724 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 511498835 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145938405872 140147223820930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17558] ppid=17545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17558/stat : 17558 (java) S 17545 17545 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511498836 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145937352096 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17559] ppid=17545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17559/stat : 17559 (java) S 17545 17545 15724 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 511498836 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145936299504 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17560] ppid=17545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17560/stat : 17560 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511498838 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145935248080 140147223828379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17561] ppid=17545 vsize=28766288 memory=0 CPUtime=0.46 cores=0-7 /proc/17547/task/17561/stat : 17561 (java) R 17545 17545 15724 0 -1 4202560 1321 0 0 0 46 0 0 0 20 0 28 0 511498838 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145934178704 140147223831130 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17562] ppid=17545 vsize=28766288 memory=0 CPUtime=0.57 cores=0-7 /proc/17547/task/17562/stat : 17562 (java) R 17545 17545 15724 0 -1 4202560 1305 0 0 0 57 0 0 0 20 0 28 0 511498838 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145933129440 140147205330674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17563] ppid=17545 vsize=28766288 memory=0 CPUtime=0.54 cores=0-7 /proc/17547/task/17563/stat : 17563 (java) R 17545 17545 15724 0 -1 4202560 1375 0 0 0 54 0 0 0 20 0 28 0 511498838 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145932082608 140147207306221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17564] ppid=17545 vsize=28766288 memory=0 CPUtime=0.49 cores=0-7 /proc/17547/task/17564/stat : 17564 (java) R 17545 17545 15724 0 -1 4202560 2162 0 0 0 49 0 0 0 20 0 28 0 511498838 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145931036096 140147223821718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17565] ppid=17545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17565/stat : 17565 (java) S 17545 17545 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511498839 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145929984736 140147223819989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17566] ppid=17545 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/17547/task/17566/stat : 17566 (java) S 17545 17545 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511498839 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145928932272 140147223820930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17567] ppid=17545 vsize=28766288 memory=6655300316396806240 CPUtime=0.18 cores=0-7 /proc/17547/task/17567/stat : 17567 (java) R 17545 17545 15724 0 -1 4202560 49 0 0 0 18 0 0 0 20 0 28 0 511498917 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145852311512 140146818548172 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17568] ppid=17545 vsize=28766288 memory=6944656592387989600 CPUtime=0.15 cores=0-7 /proc/17547/task/17568/stat : 17568 (java) R 17545 17545 15724 0 -1 4202560 45 0 0 0 15 0 0 0 20 0 28 0 511498918 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145851259816 140146818686900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17569] ppid=17545 vsize=28766288 memory=6655300316396806240 CPUtime=0.18 cores=0-7 /proc/17547/task/17569/stat : 17569 (java) R 17545 17545 15724 0 -1 4202560 42 0 0 0 18 0 0 0 20 0 28 0 511498918 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145850206320 140146818687108 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17570] ppid=17545 vsize=28766288 memory=6943526294502006880 CPUtime=0.17 cores=0-7 /proc/17547/task/17570/stat : 17570 (java) R 17545 17545 15724 0 -1 4202560 30 0 0 0 17 0 0 0 20 0 28 0 511498918 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145849151792 140146818686679 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17571] ppid=17545 vsize=28766288 memory=6944656592455097440 CPUtime=0.21 cores=0-7 /proc/17547/task/17571/stat : 17571 (java) R 17545 17545 15724 0 -1 4202560 35 0 0 0 21 0 0 0 20 0 28 0 511498918 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145848101096 140146818686611 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17572] ppid=17545 vsize=28766288 memory=6944656592455360604 CPUtime=0.19 cores=0-7 /proc/17547/task/17572/stat : 17572 (java) R 17545 17545 15724 0 -1 4202560 34 0 0 0 19 0 0 0 20 0 28 0 511498918 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145847046872 140146818686679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17573] ppid=17545 vsize=28766288 memory=0 CPUtime=0.17 cores=0-7 /proc/17547/task/17573/stat : 17573 (java) R 17545 17545 15724 0 -1 4202560 32 0 0 0 17 0 0 0 20 0 28 0 511498918 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145845992808 140146818783260 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 [pid=17547/tid=17574] ppid=17545 vsize=28766288 memory=56 CPUtime=0.18 cores=0-7 /proc/17547/task/17574/stat : 17574 (java) R 17545 17545 15724 0 -1 4202560 32 0 0 0 18 0 0 0 20 0 28 0 511498918 29456678912 54771 33554432000 4194304 4196468 140729961728336 140145844942888 140146818671911 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7274496 140729961735126 140729961735302 140729961735302 140729961738191 0 Current children cumulated CPU time: 4.55 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 220532 KiB Child status: 0 Real time (s): 1.16205 CPU time (s): 4.7559 CPU user time (s): 4.57169 CPU system time (s): 0.18421 CPU usage (%): 409.267 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 220532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.57169 system time used= 0.18421 maximum resident set size= 221936 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18035 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2709 involuntary context switches= 59 # summary of solver processes directly reported to runsolver: # pid: 17545 # total CPU time (s): 4.7559 # total CPU user time (s): 4.57169 # total CPU system time (s): 0.18421 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.03144 second user time and 0.054412 second system time The end
Begin job on node107 at 2019-09-24 20:11:52 IDJOB=4406629 IDBENCH=131444 IDSOLVER=2871 FILE ID=node107/4406629-1569352435 RUNJOBID= node107-1569345579-15751 PBS_JOBID= 21705089 Free space on /var/tmp= 12564 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-m4D/Subisomorphism-si2-m4Dr6-m256-00.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406629-1569352435/watcher-4406629-1569352435 -o /var/tmp/evaluation-result-4406629-1569352435/solver-4406629-1569352435 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569345579-15751 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1426610360 HOME/instance-4406629-1569352435.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 73ef0e8387fdebf21bbae2b4acf5d521 RANDOM SEED=1426610360 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 28746100 kB MemAvailable: 31800976 kB Buffers: 67704 kB Cached: 3129748 kB SwapCached: 48164 kB Active: 1980108 kB Inactive: 1266536 kB Active(anon): 4092 kB Inactive(anon): 98476 kB Active(file): 1976016 kB Inactive(file): 1168060 kB Unevictable: 110992 kB Mlocked: 110992 kB SwapTotal: 67108860 kB SwapFree: 66954108 kB Dirty: 26176 kB Writeback: 0 kB AnonPages: 46112 kB Mapped: 54392 kB Shmem: 44500 kB Slab: 367220 kB SReclaimable: 339260 kB SUnreclaim: 27960 kB KernelStack: 3824 kB PageTables: 5616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505992 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /var/tmp at the end= 12540 MiB End job on node107 at 2019-09-24 20:11:53