Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 4 | 37.7582 | 5.51309 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbp-15-15-1.xml |
MD5SUM | 5e70d8b90a79902ca57f9a23b37af6a1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 15.6429 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 705 |
Number of constraints | 691 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":2,"count":450},{"size":3,"count":225},{"size":15,"count":15},{"size":16,"count":15}] |
Minimum variable degree | 2 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":2,"count":255},{"degree":3,"count":435},{"degree":16,"count":15}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 16 |
Distribution of constraint arities | [{"arity":2,"count":240},{"arity":3,"count":435},{"arity":15,"count":1},{"arity":16,"count":15}] |
Number of extensional constraints | 225 |
Number of intensional constraints | 225 |
Distribution of constraint types | [{"type":"extension","count":225},{"type":"intension","count":225},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":225}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404888-1569004260.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404888-1569004260.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 3.44/1.14 c solve instance... 4.02/1.21 o 14 4.02/1.22 o 13 4.02/1.26 o 12 4.02/1.26 o 11 4.66/1.31 o 10 4.66/1.32 o 9 4.66/1.37 o 8 4.66/1.38 o 7 5.26/1.45 o 6 5.26/1.45 o 5 5.95/1.51 o 4 37.74/5.50 s OPTIMUM FOUND 37.74/5.50 v <instantiation> 37.74/5.50 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] </list> 37.74/5.50 v <values>0 1 14 6 2 9 4 11 10 3 5 8 12 7 13 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 2 4 4 4 4 4 4 4 4 3 4 4 4 4 1 </values> 37.74/5.50 v </instantiation>
OK 4
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 (4614 MiB free) memory of node 1: 16384 MiB (6909 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404888-1569004260/watcher-4404888-1569004260 -o /var/tmp/evaluation-result-4404888-1569004260/solver-4404888-1569004260 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1559981847 HOME/instance-4404888-1569004260.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=11532, runsolver pid=11529 Current StackSize limit: 8192 KiB [startup+0.10012 s]* /proc/loadavg: 8.58 8.31 8.28 3/212 11553 /proc/meminfo: memFree=11783232/32770624 swapFree=66956720/67108860 [pid=11532] ppid=11529 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11532/stat : 11532 (xcsp3-exec) S 11529 11532 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476664676 115843072 364 33554432000 4194304 5098028 140722790339728 140722790337832 139929866838652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21446656 140722790347607 140722790347866 140722790347866 140722790350790 0 /proc/11532/statm: 28282 364 305 221 0 87 0 [pid=11534] ppid=11532 vsize=28227396 memory=29604 CPUtime=0.12 cores=0-7 /proc/11534/stat : 11534 (java) S 11532 11532 3200 0 -1 1077944320 5835 0 0 0 11 1 0 0 20 0 20 0 476664677 28904853504 7401 33554432000 4194304 4196468 140735860274816 140735860257360 140432225238775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 /proc/11534/statm: 7056849 7401 3120 1 0 7019032 0 [pid=11534/tid=11535] ppid=11532 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/11534/task/11535/stat : 11535 (java) R 11532 11532 3200 0 -1 4202560 3825 0 0 0 8 0 0 0 20 0 20 0 476664677 28904853504 7401 33554432000 4194304 4196468 140735860274816 140432229471040 140431824381647 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11536] ppid=11532 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/11534/task/11536/stat : 11536 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 7401 33554432000 4194304 4196468 140735860274816 140432145090960 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11537] ppid=11532 vsize=28227396 memory=140202405037696 CPUtime=0 cores=0-7 /proc/11534/task/11537/stat : 11537 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 7401 33554432000 4194304 4196468 140735860274816 140431775095056 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11538] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11538/stat : 11538 (java) S 11532 11532 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 7401 33554432000 4194304 4196468 140735860274816 140431774042768 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11539] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11539/stat : 11539 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 7401 33554432000 4194304 4196468 140735860274816 140431772989968 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11540] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11540/stat : 11540 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 7401 33554432000 4194304 4196468 140735860274816 140431771937680 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11541] ppid=11532 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11534/task/11541/stat : 11541 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 7401 33554432000 4194304 4196468 140735860274816 140431770884880 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11542] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11542/stat : 11542 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 7401 33554432000 4194304 4196468 140735860274816 140431769832592 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11543] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11543/stat : 11543 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 7401 33554432000 4194304 4196468 140735860274816 140431768779792 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11544] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11544/stat : 11544 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664679 28904853504 7401 33554432000 4194304 4196468 140735860274816 140430872598640 140432225249922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11545] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11545/stat : 11545 (java) S 11532 11532 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476664680 28904853504 7401 33554432000 4194304 4196468 140735860274816 140430871544608 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11546] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11546/stat : 11546 (java) S 11532 11532 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476664680 28904853504 7401 33554432000 4194304 4196468 140735860274816 140430870492272 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11547] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11547/stat : 11547 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476664682 28904853504 7401 33554432000 4194304 4196468 140735860274816 140430869440592 140432225257371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11548] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11548/stat : 11548 (java) R 11532 11532 3200 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 476664682 28904853504 7401 33554432000 4194304 4196468 140735860274816 140430751689328 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11549] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11549/stat : 11549 (java) S 11532 11532 3200 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476664683 28904853504 7401 33554432000 4194304 4196468 140735860274816 140430750636528 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11550] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11550/stat : 11550 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476664683 28904853504 7401 33554432000 4194304 4196468 140735860274816 140430749584240 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11551] ppid=11532 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/11534/task/11551/stat : 11551 (java) R 11532 11532 3200 0 -1 4202560 317 0 0 0 1 0 0 0 20 0 20 0 476664683 28904853504 7401 33554432000 4194304 4196468 140735860274816 140430748531440 140432225250710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11552] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11552/stat : 11552 (java) S 11532 11532 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476664683 28904853504 7401 33554432000 4194304 4196468 140735860274816 140430747478368 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11553] ppid=11532 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11534/task/11553/stat : 11553 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476664683 28904853504 7401 33554432000 4194304 4196468 140735860274816 140430746425648 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31060 KiB [startup+0.210603 s]* /proc/loadavg: 8.58 8.31 8.28 2/212 11553 /proc/meminfo: memFree=11771456/32770624 swapFree=66956720/67108860 [pid=11532] ppid=11529 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11532/stat : 11532 (xcsp3-exec) S 11529 11532 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476664676 115843072 364 33554432000 4194304 5098028 140722790339728 140722790337832 139929866838652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21446656 140722790347607 140722790347866 140722790347866 140722790350790 0 /proc/11532/statm: 28282 364 305 221 0 87 0 [pid=11534] ppid=11532 vsize=28227396 memory=40404 CPUtime=0.34 cores=0-7 /proc/11534/stat : 11534 (java) S 11532 11532 3200 0 -1 1077944320 9362 0 0 0 31 3 0 0 20 0 20 0 476664677 28904853504 10101 33554432000 4194304 4196468 140735860274816 140735860257360 140432225238775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 /proc/11534/statm: 7056849 10101 3298 1 0 7019032 0 [pid=11534/tid=11535] ppid=11532 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/11534/task/11535/stat : 11535 (java) R 11532 11532 3200 0 -1 4202560 6605 0 0 0 18 2 0 0 20 0 20 0 476664677 28904853504 10101 33554432000 4194304 4196468 140735860274816 140432229472832 140432225250710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11536] ppid=11532 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/11534/task/11536/stat : 11536 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 10101 33554432000 4194304 4196468 140735860274816 140432145090960 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11537] ppid=11532 vsize=28227396 memory=140202405049900 CPUtime=0 cores=0-7 /proc/11534/task/11537/stat : 11537 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 10101 33554432000 4194304 4196468 140735860274816 140431775095056 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11538] ppid=11532 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11534/task/11538/stat : 11538 (java) S 11532 11532 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 10101 33554432000 4194304 4196468 140735860274816 140431774042768 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11539] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11539/stat : 11539 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 10101 33554432000 4194304 4196468 140735860274816 140431772989968 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11540] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11540/stat : 11540 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 10101 33554432000 4194304 4196468 140735860274816 140431771937680 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11541] ppid=11532 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11534/task/11541/stat : 11541 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 10101 33554432000 4194304 4196468 140735860274816 140431770884880 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11542] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11542/stat : 11542 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 10101 33554432000 4194304 4196468 140735860274816 140431769832592 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11543] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11543/stat : 11543 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28904853504 10101 33554432000 4194304 4196468 140735860274816 140431768779792 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11544] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11544/stat : 11544 (java) S 11532 11532 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476664679 28904853504 10101 33554432000 4194304 4196468 140735860274816 140430872598640 140432225249922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11545] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11545/stat : 11545 (java) S 11532 11532 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476664680 28904853504 10101 33554432000 4194304 4196468 140735860274816 140430871544608 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11546] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11546/stat : 11546 (java) S 11532 11532 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476664680 28904853504 10101 33554432000 4194304 4196468 140735860274816 140430870492272 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11547] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11547/stat : 11547 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476664682 28904853504 10101 33554432000 4194304 4196468 140735860274816 140430869440592 140432225257371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11548] ppid=11532 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/11534/task/11548/stat : 11548 (java) S 11532 11532 3200 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 20 0 476664682 28904853504 10101 33554432000 4194304 4196468 140735860274816 140430751689328 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11549] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11549/stat : 11549 (java) S 11532 11532 3200 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 476664683 28904853504 10101 33554432000 4194304 4196468 140735860274816 140430750636528 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11550] ppid=11532 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/11534/task/11550/stat : 11550 (java) S 11532 11532 3200 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 20 0 476664683 28904853504 10101 33554432000 4194304 4196468 140735860274816 140430749584240 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11551] ppid=11532 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/11534/task/11551/stat : 11551 (java) R 11532 11532 3200 0 -1 4202560 783 0 0 0 8 0 0 0 20 0 20 0 476664683 28904853504 10101 33554432000 4194304 4196468 140735860274816 140430748531440 140432217475902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11552] ppid=11532 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11552/stat : 11552 (java) S 11532 11532 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476664683 28904853504 10101 33554432000 4194304 4196468 140735860274816 140430747478368 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11553] ppid=11532 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11534/task/11553/stat : 11553 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476664683 28904853504 10101 33554432000 4194304 4196468 140735860274816 140430746425648 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41860 KiB [startup+0.311018 s]* /proc/loadavg: 8.58 8.31 8.28 3/212 11553 /proc/meminfo: memFree=11764060/32770624 swapFree=66956720/67108860 [pid=11532] ppid=11529 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11532/stat : 11532 (xcsp3-exec) S 11529 11532 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476664676 115843072 364 33554432000 4194304 5098028 140722790339728 140722790337832 139929866838652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21446656 140722790347607 140722790347866 140722790347866 140722790350790 0 /proc/11532/statm: 28282 364 305 221 0 87 0 [pid=11534] ppid=11532 vsize=28231652 memory=49892 CPUtime=0.53 cores=0-7 /proc/11534/stat : 11534 (java) S 11532 11532 3200 0 -1 1077944320 10810 0 0 0 49 4 0 0 20 0 20 0 476664677 28909211648 12473 33554432000 4194304 4196468 140735860274816 140735860257360 140432225238775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 /proc/11534/statm: 7057913 12473 3336 1 0 7019032 0 [pid=11534/tid=11535] ppid=11532 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/11534/task/11535/stat : 11535 (java) R 11532 11532 3200 0 -1 4202560 7752 0 0 0 27 2 0 0 20 0 20 0 476664677 28909211648 12473 33554432000 4194304 4196468 140735860274816 140432229472560 140432209319262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11536] ppid=11532 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11536/stat : 11536 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28909211648 12473 33554432000 4194304 4196468 140735860274816 140432145090960 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11537] ppid=11532 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11537/stat : 11537 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476664678 28909211648 12473 33554432000 4194304 4196468 140735860274816 140431775095056 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11538] ppid=11532 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11538/stat : 11538 (java) S 11532 11532 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476664678 28909211648 12473 33554432000 4194304 4196468 140735860274816 140431774042768 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11539] ppid=11532 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11539/stat : 11539 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28909211648 12473 33554432000 4194304 4196468 140735860274816 140431772989968 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11540] ppid=11532 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/11534/task/11540/stat : 11540 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28909211648 12473 33554432000 4194304 4196468 140735860274816 140431771937680 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11541] ppid=11532 vsize=28231652 memory=140202295260079 CPUtime=0 cores=0-7 /proc/11534/task/11541/stat : 11541 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28909211648 12473 33554432000 4194304 4196468 140735860274816 140431770884880 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11542] ppid=11532 vsize=28231652 memory=140202295262384 CPUtime=0 cores=0-7 /proc/11534/task/11542/stat : 11542 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28909211648 12473 33554432000 4194304 4196468 140735860274816 140431769832592 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11543] ppid=11532 vsize=28231652 memory=140202295264688 CPUtime=0 cores=0-7 /proc/11534/task/11543/stat : 11543 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28909211648 12473 33554432000 4194304 4196468 140735860274816 140431768779792 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11544] ppid=11532 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11544/stat : 11544 (java) S 11532 11532 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476664679 28909211648 12473 33554432000 4194304 4196468 140735860274816 140430872598640 140432225249922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11545] ppid=11532 vsize=28231652 memory=280404590536336 CPUtime=0 cores=0-7 /proc/11534/task/11545/stat : 11545 (java) S 11532 11532 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476664680 28909211648 12473 33554432000 4194304 4196468 140735860274816 140430871544608 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11546] ppid=11532 vsize=28231652 memory=280404590543248 CPUtime=0 cores=0-7 /proc/11534/task/11546/stat : 11546 (java) S 11532 11532 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476664680 28909211648 12473 33554432000 4194304 4196468 140735860274816 140430870492272 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11547] ppid=11532 vsize=28231652 memory=280404590484400 CPUtime=0 cores=0-7 /proc/11534/task/11547/stat : 11547 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476664682 28909211648 12473 33554432000 4194304 4196468 140735860274816 140430869440592 140432225257371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11548] ppid=11532 vsize=28231652 memory=280404590557072 CPUtime=0.01 cores=0-7 /proc/11534/task/11548/stat : 11548 (java) S 11532 11532 3200 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 20 0 476664682 28909211648 12473 33554432000 4194304 4196468 140735860274816 140430751689328 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11549] ppid=11532 vsize=28231652 memory=280404590563984 CPUtime=0.02 cores=0-7 /proc/11534/task/11549/stat : 11549 (java) R 11532 11532 3200 0 -1 4202560 270 0 0 0 2 0 0 0 20 0 20 0 476664683 28909211648 12473 33554432000 4194304 4196468 140735860274816 140430750626912 140432206783443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11550] ppid=11532 vsize=28231652 memory=280404590561680 CPUtime=0.03 cores=0-7 /proc/11534/task/11550/stat : 11550 (java) S 11532 11532 3200 0 -1 1077944384 152 0 0 0 3 0 0 0 20 0 20 0 476664683 28909211648 12473 33554432000 4194304 4196468 140735860274816 140430749584240 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11551] ppid=11532 vsize=28231652 memory=280404590577840 CPUtime=0.13 cores=0-7 /proc/11534/task/11551/stat : 11551 (java) S 11532 11532 3200 0 -1 1077944384 952 0 0 0 13 0 0 0 20 0 20 0 476664683 28909211648 12473 33554432000 4194304 4196468 140735860274816 140430748531440 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11552] ppid=11532 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11552/stat : 11552 (java) S 11532 11532 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476664683 28909211648 12473 33554432000 4194304 4196468 140735860274816 140430747478368 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11553] ppid=11532 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/11534/task/11553/stat : 11553 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476664683 28909211648 12473 33554432000 4194304 4196468 140735860274816 140430746425648 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51348 KiB [startup+0.700931 s] /proc/loadavg: 8.58 8.31 8.28 2/212 11553 /proc/meminfo: memFree=11748848/32770624 swapFree=66956720/67108860 [pid=11532] ppid=11529 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11532/stat : 11532 (xcsp3-exec) S 11529 11532 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476664676 115843072 364 33554432000 4194304 5098028 140722790339728 140722790337832 139929866838652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21446656 140722790347607 140722790347866 140722790347866 140722790350790 0 /proc/11532/statm: 28282 364 305 221 0 87 0 [pid=11534] ppid=11532 vsize=28233776 memory=88268 CPUtime=1.58 cores=0-7 /proc/11534/stat : 11534 (java) S 11532 11532 3200 0 -1 1077944320 15270 0 0 0 152 6 0 0 20 0 20 0 476664677 28911386624 22067 33554432000 4194304 4196468 140735860274816 140735860257360 140432225238775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 /proc/11534/statm: 7058444 22067 3454 1 0 7019544 0 [pid=11534/tid=11535] ppid=11532 vsize=28233776 memory=280404590935728 CPUtime=0.67 cores=0-7 /proc/11534/task/11535/stat : 11535 (java) R 11532 11532 3200 0 -1 4202560 9229 0 0 0 64 3 0 0 20 0 20 0 476664677 28911386624 22067 33554432000 4194304 4196468 140735860274816 140432229477696 140432209319262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11536] ppid=11532 vsize=28233776 memory=140202295468912 CPUtime=0 cores=0-7 /proc/11534/task/11536/stat : 11536 (java) S 11532 11532 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476664678 28911386624 22067 33554432000 4194304 4196468 140735860274816 140432145090960 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11537] ppid=11532 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11537/stat : 11537 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476664678 28911386624 22067 33554432000 4194304 4196468 140735860274816 140431775095056 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11538] ppid=11532 vsize=28233776 memory=6032 CPUtime=0 cores=0-7 /proc/11534/task/11538/stat : 11538 (java) S 11532 11532 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476664678 28911386624 22067 33554432000 4194304 4196468 140735860274816 140431774042768 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 ################ # More data... # ################ [pid=11534/tid=11543] ppid=11532 vsize=28901464 memory=-9130901251068603729 CPUtime=0.02 cores=0-7 /proc/11534/task/11543/stat : 11543 (java) S 11532 11532 3200 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 28 0 476664678 29595099136 67271 33554432000 4194304 4196468 140735860274816 140431768779792 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11544] ppid=11532 vsize=28901464 memory=2584 CPUtime=0.01 cores=0-7 /proc/11534/task/11544/stat : 11544 (java) S 11532 11532 3200 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 28 0 476664679 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430872598640 140432225249922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11545] ppid=11532 vsize=28901464 memory=1456 CPUtime=0 cores=0-7 /proc/11534/task/11545/stat : 11545 (java) S 11532 11532 3200 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 476664680 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430871544672 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11546] ppid=11532 vsize=28901464 memory=241080 CPUtime=0 cores=0-7 /proc/11534/task/11546/stat : 11546 (java) S 11532 11532 3200 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 476664680 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430870492288 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11547] ppid=11532 vsize=28901464 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/11534/task/11547/stat : 11547 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476664682 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430869440592 140432225257371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11548] ppid=11532 vsize=28901464 memory=0 CPUtime=2.09 cores=0-7 /proc/11534/task/11548/stat : 11548 (java) S 11532 11532 3200 0 -1 1077944384 4476 0 0 0 208 1 0 0 20 0 28 0 476664682 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430751689328 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11549] ppid=11532 vsize=28901464 memory=0 CPUtime=2.33 cores=0-7 /proc/11534/task/11549/stat : 11549 (java) S 11532 11532 3200 0 -1 1077944384 3965 0 0 0 232 1 0 0 20 0 28 0 476664683 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430750636528 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11550] ppid=11532 vsize=28901464 memory=6296139285561954915 CPUtime=1.96 cores=0-7 /proc/11534/task/11550/stat : 11550 (java) S 11532 11532 3200 0 -1 1077944384 3611 0 0 0 195 1 0 0 20 0 28 0 476664683 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430749584240 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11551] ppid=11532 vsize=28901464 memory=6010426894219960683 CPUtime=1.02 cores=0-7 /proc/11534/task/11551/stat : 11551 (java) S 11532 11532 3200 0 -1 1077944384 5355 0 0 0 100 2 0 0 20 0 28 0 476664683 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430748531440 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11552] ppid=11532 vsize=28901464 memory=7091597529877796456 CPUtime=0 cores=0-7 /proc/11534/task/11552/stat : 11552 (java) S 11532 11532 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476664683 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430747478368 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11553] ppid=11532 vsize=28901464 memory=7379218789439137650 CPUtime=0 cores=0-7 /proc/11534/task/11553/stat : 11553 (java) S 11532 11532 3200 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 476664683 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430746425648 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11642] ppid=11532 vsize=28901464 memory=6226620554253133409 CPUtime=3.23 cores=0-7 /proc/11534/task/11642/stat : 11642 (java) R 11532 11532 3200 0 -1 4202560 68 0 0 0 323 0 0 0 20 0 28 0 476664828 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430735346016 140431832800589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11643] ppid=11532 vsize=28901464 memory=7223880786990092368 CPUtime=3.4 cores=0-7 /proc/11534/task/11643/stat : 11643 (java) R 11532 11532 3200 0 -1 4202560 69 0 0 0 340 0 0 0 20 0 28 0 476664828 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430666616760 140431833695207 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11644] ppid=11532 vsize=28901464 memory=4639904302751567952 CPUtime=3.1 cores=0-7 /proc/11534/task/11644/stat : 11644 (java) R 11532 11532 3200 0 -1 4202560 46 0 0 0 310 0 0 0 20 0 28 0 476664828 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430664511904 140431834948480 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11645] ppid=11532 vsize=28901464 memory=4640467252704989264 CPUtime=3.17 cores=0-7 /proc/11534/task/11645/stat : 11645 (java) R 11532 11532 3200 0 -1 4202560 127 0 0 0 317 0 0 0 20 0 28 0 476664828 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430658195648 140431831961264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11646] ppid=11532 vsize=28901464 memory=6935651454800449616 CPUtime=3.18 cores=0-7 /proc/11534/task/11646/stat : 11646 (java) R 11532 11532 3200 0 -1 4202560 137 0 0 0 318 0 0 0 20 0 28 0 476664828 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430665564728 140431835771098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11647] ppid=11532 vsize=28901464 memory=56 CPUtime=3.07 cores=0-7 /proc/11534/task/11647/stat : 11647 (java) R 11532 11532 3200 0 -1 4202560 221 0 0 0 307 0 0 0 20 0 28 0 476664828 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430660300584 140431834481651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11648] ppid=11532 vsize=28901464 memory=6944656592387989600 CPUtime=3.08 cores=0-7 /proc/11534/task/11648/stat : 11648 (java) R 11532 11532 3200 0 -1 4202560 88 0 0 0 308 0 0 0 20 0 28 0 476664828 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430662406208 140431833218827 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11649] ppid=11532 vsize=28901464 memory=0 CPUtime=3.09 cores=0-7 /proc/11534/task/11649/stat : 11649 (java) R 11532 11532 3200 0 -1 4202560 66 0 0 0 309 0 0 0 20 0 28 0 476664829 29595099136 67271 33554432000 4194304 4196468 140735860274816 140430661352984 140431834457955 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 Current children cumulated CPU time: 35.35 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 270540 KiB [startup+5.4015 s] /proc/loadavg: 8.29 8.25 8.26 12/220 11649 /proc/meminfo: memFree=11552864/32770624 swapFree=66956720/67108860 [pid=11532] ppid=11529 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11532/stat : 11532 (xcsp3-exec) S 11529 11532 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476664676 115843072 364 33554432000 4194304 5098028 140722790339728 140722790337832 139929866838652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21446656 140722790347607 140722790347866 140722790347866 140722790350790 0 /proc/11532/statm: 28282 364 305 221 0 87 0 [pid=11534] ppid=11532 vsize=28901464 memory=279324 CPUtime=36.95 cores=0-7 /proc/11534/stat : 11534 (java) S 11532 11532 3200 0 -1 1077944320 31978 0 0 0 3673 22 0 0 20 0 28 0 476664677 29595099136 69831 33554432000 4194304 4196468 140735860274816 140735860257360 140432225238775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 /proc/11534/statm: 7225366 69831 3526 1 0 7186466 0 [pid=11534/tid=11535] ppid=11532 vsize=28901464 memory=2244 CPUtime=1.12 cores=0-7 /proc/11534/task/11535/stat : 11535 (java) S 11532 11532 3200 0 -1 1077944384 10075 0 0 0 108 4 0 0 20 0 28 0 476664677 29595099136 69831 33554432000 4194304 4196468 140735860274816 140432229479552 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11536] ppid=11532 vsize=28901464 memory=7524499481248027745 CPUtime=0 cores=0-7 /proc/11534/task/11536/stat : 11536 (java) S 11532 11532 3200 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 476664678 29595099136 69831 33554432000 4194304 4196468 140735860274816 140432145090960 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11537] ppid=11532 vsize=28901464 memory=6296139285561954915 CPUtime=0 cores=0-7 /proc/11534/task/11537/stat : 11537 (java) S 11532 11532 3200 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 476664678 29595099136 69831 33554432000 4194304 4196468 140735860274816 140431775095056 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11538] ppid=11532 vsize=28901464 memory=-1 CPUtime=0.01 cores=0-7 /proc/11534/task/11538/stat : 11538 (java) S 11532 11532 3200 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 28 0 476664678 29595099136 69831 33554432000 4194304 4196468 140735860274816 140431774042768 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11539] ppid=11532 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/11534/task/11539/stat : 11539 (java) S 11532 11532 3200 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 28 0 476664678 29595099136 69831 33554432000 4194304 4196468 140735860274816 140431772989968 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11540] ppid=11532 vsize=28901464 memory=0 CPUtime=0.02 cores=0-7 /proc/11534/task/11540/stat : 11540 (java) S 11532 11532 3200 0 -1 1077944384 89 0 0 0 1 1 0 0 20 0 28 0 476664678 29595099136 69831 33554432000 4194304 4196468 140735860274816 140431771937680 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11541] ppid=11532 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/11534/task/11541/stat : 11541 (java) S 11532 11532 3200 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 28 0 476664678 29595099136 69831 33554432000 4194304 4196468 140735860274816 140431770884880 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11542] ppid=11532 vsize=28901464 memory=2241 CPUtime=0 cores=0-7 /proc/11534/task/11542/stat : 11542 (java) S 11532 11532 3200 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 476664678 29595099136 69831 33554432000 4194304 4196468 140735860274816 140431769832592 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11543] ppid=11532 vsize=28901464 memory=280404591016176 CPUtime=0.02 cores=0-7 /proc/11534/task/11543/stat : 11543 (java) S 11532 11532 3200 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 28 0 476664678 29595099136 69831 33554432000 4194304 4196468 140735860274816 140431768779792 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11544] ppid=11532 vsize=28901464 memory=21188 CPUtime=0.01 cores=0-7 /proc/11534/task/11544/stat : 11544 (java) S 11532 11532 3200 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 28 0 476664679 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430872598640 140432225249922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11545] ppid=11532 vsize=28901464 memory=1943562 CPUtime=0 cores=0-7 /proc/11534/task/11545/stat : 11545 (java) S 11532 11532 3200 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 476664680 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430871544672 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11546] ppid=11532 vsize=28901464 memory=280404590356832 CPUtime=0 cores=0-7 /proc/11534/task/11546/stat : 11546 (java) S 11532 11532 3200 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 476664680 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430870492288 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11547] ppid=11532 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11547/stat : 11547 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476664682 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430869440592 140432225257371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11548] ppid=11532 vsize=28901464 memory=0 CPUtime=2.09 cores=0-7 /proc/11534/task/11548/stat : 11548 (java) S 11532 11532 3200 0 -1 1077944384 4476 0 0 0 208 1 0 0 20 0 28 0 476664682 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430751689328 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11549] ppid=11532 vsize=28901464 memory=0 CPUtime=2.33 cores=0-7 /proc/11534/task/11549/stat : 11549 (java) S 11532 11532 3200 0 -1 1077944384 3965 0 0 0 232 1 0 0 20 0 28 0 476664683 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430750636528 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11550] ppid=11532 vsize=28901464 memory=0 CPUtime=1.96 cores=0-7 /proc/11534/task/11550/stat : 11550 (java) S 11532 11532 3200 0 -1 1077944384 3611 0 0 0 195 1 0 0 20 0 28 0 476664683 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430749584240 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11551] ppid=11532 vsize=28901464 memory=0 CPUtime=1.02 cores=0-7 /proc/11534/task/11551/stat : 11551 (java) S 11532 11532 3200 0 -1 1077944384 5356 0 0 0 100 2 0 0 20 0 28 0 476664683 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430748531440 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11552] ppid=11532 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11552/stat : 11552 (java) S 11532 11532 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476664683 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430747478368 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11553] ppid=11532 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11553/stat : 11553 (java) S 11532 11532 3200 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 476664683 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430746425648 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11642] ppid=11532 vsize=28901464 memory=0 CPUtime=3.43 cores=0-7 /proc/11534/task/11642/stat : 11642 (java) R 11532 11532 3200 0 -1 4202560 68 0 0 0 343 0 0 0 20 0 28 0 476664828 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430735346152 140431835565629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11643] ppid=11532 vsize=28901464 memory=0 CPUtime=3.6 cores=0-7 /proc/11534/task/11643/stat : 11643 (java) R 11532 11532 3200 0 -1 4202560 69 0 0 0 360 0 0 0 20 0 28 0 476664828 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430666616760 140431831961082 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11644] ppid=11532 vsize=28901464 memory=0 CPUtime=3.3 cores=0-7 /proc/11534/task/11644/stat : 11644 (java) R 11532 11532 3200 0 -1 4202560 46 0 0 0 330 0 0 0 20 0 28 0 476664828 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430664511792 140431831961571 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11645] ppid=11532 vsize=28901464 memory=0 CPUtime=3.37 cores=0-7 /proc/11534/task/11645/stat : 11645 (java) R 11532 11532 3200 0 -1 4202560 127 0 0 0 337 0 0 0 20 0 28 0 476664828 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430658195448 140431835639748 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11646] ppid=11532 vsize=28901464 memory=0 CPUtime=3.38 cores=0-7 /proc/11534/task/11646/stat : 11646 (java) R 11532 11532 3200 0 -1 4202560 137 0 0 0 338 0 0 0 20 0 28 0 476664828 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430665564728 140431831933771 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11647] ppid=11532 vsize=28901464 memory=0 CPUtime=3.27 cores=0-7 /proc/11534/task/11647/stat : 11647 (java) R 11532 11532 3200 0 -1 4202560 231 0 0 0 327 0 0 0 20 0 28 0 476664828 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430660300584 140431832799754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11648] ppid=11532 vsize=28901464 memory=0 CPUtime=3.28 cores=0-7 /proc/11534/task/11648/stat : 11648 (java) R 11532 11532 3200 0 -1 4202560 88 0 0 0 328 0 0 0 20 0 28 0 476664828 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430662406344 140431834905348 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11649] ppid=11532 vsize=28901464 memory=0 CPUtime=3.29 cores=0-7 /proc/11534/task/11649/stat : 11649 (java) R 11532 11532 3200 0 -1 4202560 66 0 0 0 329 0 0 0 20 0 28 0 476664829 29595099136 69831 33554432000 4194304 4196468 140735860274816 140430661352984 140431831961431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 Current children cumulated CPU time: 36.95 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 280780 KiB [startup+5.50116 s] /proc/loadavg: 8.29 8.25 8.26 12/220 11649 /proc/meminfo: memFree=11552864/32770624 swapFree=66956720/67108860 [pid=11532] ppid=11529 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11532/stat : 11532 (xcsp3-exec) S 11529 11532 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476664676 115843072 364 33554432000 4194304 5098028 140722790339728 140722790337832 139929866838652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21446656 140722790347607 140722790347866 140722790347866 140722790350790 0 /proc/11532/statm: 28282 364 305 221 0 87 0 [pid=11534] ppid=11532 vsize=28901464 memory=283012 CPUtime=37.74 cores=0-7 /proc/11534/stat : 11534 (java) S 11532 11532 3200 0 -1 1077944320 32122 0 0 0 3752 22 0 0 20 0 20 0 476664677 29595099136 70753 33554432000 4194304 4196468 140735860274816 140735860257360 140432225238775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 /proc/11534/statm: 7225366 70753 3526 1 0 7186466 0 [pid=11534/tid=11535] ppid=11532 vsize=28901464 memory=242316 CPUtime=1.12 cores=0-7 /proc/11534/task/11535/stat : 11535 (java) R 11532 11532 3200 0 -1 4202560 10142 0 0 0 108 4 0 0 20 0 20 0 476664677 29595099136 70753 33554432000 4194304 4196468 140735860274816 140432229479864 140431824392256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11536] ppid=11532 vsize=28901464 memory=1456 CPUtime=0 cores=0-7 /proc/11534/task/11536/stat : 11536 (java) S 11532 11532 3200 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 476664678 29595099136 70753 33554432000 4194304 4196468 140735860274816 140432145090960 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11537] ppid=11532 vsize=28901464 memory=238592 CPUtime=0 cores=0-7 /proc/11534/task/11537/stat : 11537 (java) S 11532 11532 3200 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 476664678 29595099136 70753 33554432000 4194304 4196468 140735860274816 140431775095056 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11538] ppid=11532 vsize=28901464 memory=34 CPUtime=0.01 cores=0-7 /proc/11534/task/11538/stat : 11538 (java) S 11532 11532 3200 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 476664678 29595099136 70753 33554432000 4194304 4196468 140735860274816 140431774042768 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11539] ppid=11532 vsize=28901464 memory=288230574492221466 CPUtime=0.01 cores=0-7 /proc/11534/task/11539/stat : 11539 (java) S 11532 11532 3200 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 476664678 29595099136 70753 33554432000 4194304 4196468 140735860274816 140431772989968 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11540] ppid=11532 vsize=28901464 memory=288230583166042426 CPUtime=0.02 cores=0-7 /proc/11534/task/11540/stat : 11540 (java) S 11532 11532 3200 0 -1 1077944384 89 0 0 0 1 1 0 0 20 0 20 0 476664678 29595099136 70753 33554432000 4194304 4196468 140735860274816 140431771937680 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11541] ppid=11532 vsize=28901464 memory=14979957709343274 CPUtime=0.01 cores=0-7 /proc/11534/task/11541/stat : 11541 (java) S 11532 11532 3200 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 476664678 29595099136 70753 33554432000 4194304 4196468 140735860274816 140431770884880 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11542] ppid=11532 vsize=28901464 memory=56 CPUtime=0 cores=0-7 /proc/11534/task/11542/stat : 11542 (java) S 11532 11532 3200 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 476664678 29595099136 70753 33554432000 4194304 4196468 140735860274816 140431769832592 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11543] ppid=11532 vsize=28901464 memory=1943562 CPUtime=0.02 cores=0-7 /proc/11534/task/11543/stat : 11543 (java) S 11532 11532 3200 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 20 0 476664678 29595099136 70753 33554432000 4194304 4196468 140735860274816 140431768779792 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11544] ppid=11532 vsize=28901464 memory=1944740 CPUtime=0.01 cores=0-7 /proc/11534/task/11544/stat : 11544 (java) S 11532 11532 3200 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 476664679 29595099136 70753 33554432000 4194304 4196468 140735860274816 140430872598640 140432225249922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11545] ppid=11532 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11545/stat : 11545 (java) S 11532 11532 3200 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 476664680 29595099136 70753 33554432000 4194304 4196468 140735860274816 140430871544672 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11546] ppid=11532 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/11534/task/11546/stat : 11546 (java) S 11532 11532 3200 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 476664680 29595099136 70753 33554432000 4194304 4196468 140735860274816 140430870492288 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11547] ppid=11532 vsize=28901464 memory=280404590583104 CPUtime=0 cores=0-7 /proc/11534/task/11547/stat : 11547 (java) S 11532 11532 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476664682 29595099136 70753 33554432000 4194304 4196468 140735860274816 140430869440592 140432225257371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11548] ppid=11532 vsize=28901464 memory=6944656592455359580 CPUtime=2.09 cores=0-7 /proc/11534/task/11548/stat : 11548 (java) S 11532 11532 3200 0 -1 1077944384 4476 0 0 0 208 1 0 0 20 0 20 0 476664682 29595099136 70753 33554432000 4194304 4196468 140735860274816 140430751689328 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11549] ppid=11532 vsize=28901464 memory=6944652177228980320 CPUtime=2.33 cores=0-7 /proc/11534/task/11549/stat : 11549 (java) S 11532 11532 3200 0 -1 1077944384 3972 0 0 0 232 1 0 0 20 0 20 0 476664683 29595099136 70753 33554432000 4194304 4196468 140735860274816 140430750636528 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11550] ppid=11532 vsize=28901464 memory=0 CPUtime=1.96 cores=0-7 /proc/11534/task/11550/stat : 11550 (java) S 11532 11532 3200 0 -1 1077944384 3611 0 0 0 195 1 0 0 20 0 20 0 476664683 29595099136 70753 33554432000 4194304 4196468 140735860274816 140430749584240 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11551] ppid=11532 vsize=28901464 memory=0 CPUtime=1.02 cores=0-7 /proc/11534/task/11551/stat : 11551 (java) S 11532 11532 3200 0 -1 1077944384 5356 0 0 0 100 2 0 0 20 0 20 0 476664683 29595099136 70753 33554432000 4194304 4196468 140735860274816 140430748531440 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11552] ppid=11532 vsize=28901464 memory=7594871549780713814 CPUtime=0 cores=0-7 /proc/11534/task/11552/stat : 11552 (java) S 11532 11532 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476664683 29595099136 70753 33554432000 4194304 4196468 140735860274816 140430747478368 140432225248981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 [pid=11534/tid=11553] ppid=11532 vsize=28901464 memory=7230645025961766505 CPUtime=0 cores=0-7 /proc/11534/task/11553/stat : 11553 (java) S 11532 11532 3200 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 476664683 29595099136 70753 33554432000 4194304 4196468 140735860274816 140430746425648 140432225249922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24969216 140735860278236 140735860278411 140735860278411 140735860281295 0 Current children cumulated CPU time: 37.74 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 284468 KiB Child status: 0 Real time (s): 5.51309 CPU time (s): 37.7582 CPU user time (s): 37.5227 CPU system time (s): 0.23554 CPU usage (%): 684.883 Max. virtual memory (cumulated for all children) (KiB): 29014592 Max. memory (cumulated for all children) (KiB): 284468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.5227 system time used= 0.23554 maximum resident set size= 285880 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33135 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5293 involuntary context switches= 1040 # summary of solver processes directly reported to runsolver: # pid: 11532 # total CPU time (s): 37.7582 # total CPU user time (s): 37.5227 # total CPU system time (s): 0.23554 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.078518 second user time and 0.094221 second system time The end
Begin job on node149 at 2019-09-20 20:30:22 IDJOB=4404888 IDBENCH=126809 IDSOLVER=2866 FILE ID=node149/4404888-1569004260 RUNJOBID= node149-1568994522-3227 PBS_JOBID= 21704727 Free space on /var/tmp= 13484 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbp-15-15-1.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-4404888-1569004260/watcher-4404888-1569004260 -o /var/tmp/evaluation-result-4404888-1569004260/solver-4404888-1569004260 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1559981847 HOME/instance-4404888-1569004260.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5e70d8b90a79902ca57f9a23b37af6a1 RANDOM SEED=1559981847 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 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.81 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.81 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.81 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: 11800496 kB MemAvailable: 31815548 kB Buffers: 165744 kB Cached: 19741508 kB SwapCached: 41664 kB Active: 9628960 kB Inactive: 10321520 kB Active(anon): 3864 kB Inactive(anon): 83688 kB Active(file): 9625096 kB Inactive(file): 10237832 kB Unevictable: 110220 kB Mlocked: 110220 kB SwapTotal: 67108860 kB SwapFree: 66956720 kB Dirty: 26232 kB Writeback: 44 kB AnonPages: 131664 kB Mapped: 51756 kB Shmem: 35688 kB Slab: 610728 kB SReclaimable: 580584 kB SUnreclaim: 30144 kB KernelStack: 3632 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507192 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13456 MiB End job on node149 at 2019-09-20 20:30:28