Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 4 | 33.2456 | 4.99989 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbp-15-15-1.xml |
MD5SUM | a951848c4e631b36882baf30b58f4449 |
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.6511 |
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-4393835-1568447487.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393835-1568447487.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 3.42/1.15 c solve instance... 3.88/1.24 o 14 3.88/1.25 o 13 3.88/1.27 o 12 3.88/1.28 o 11 3.88/1.29 o 10 3.88/1.29 o 9 4.60/1.31 o 8 4.60/1.32 o 7 4.60/1.36 o 6 4.60/1.39 o 5 5.12/1.44 o 4 32.86/4.94 s OPTIMUM FOUND 32.86/4.94 v <instantiation> 32.86/4.94 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> 32.86/4.95 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> 32.86/4.95 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 (14732 MiB free) memory of node 1: 16384 MiB (15166 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393835-1568447487/watcher-4393835-1568447487 -o /tmp/evaluation-result-4393835-1568447487/solver-4393835-1568447487 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568441213-25033 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1692368414 HOME/instance-4393835-1568447487.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=25765, runsolver pid=25762 [startup+0.100139 s]* /proc/loadavg: 7.42 7.94 8.07 2/211 25786 /proc/meminfo: memFree=30599868/32770624 swapFree=66997844/67108860 [pid=25765] ppid=25762 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 25006 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 421003338 115843072 364 33554432000 4194304 5098028 140734728103376 140734728101480 139990779060860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21700608 140734728106869 140734728107113 140734728107113 140734728110026 0 /proc/25765/statm: 28282 364 305 221 0 87 0 [pid=25767] ppid=25765 vsize=28227388 memory=28884 CPUtime=0.12 cores=0-7 /proc/25767/stat : 25767 (java) S 25765 25765 25006 0 -1 1077944320 5695 0 0 0 11 1 0 0 20 0 20 0 421003338 28904845312 7221 33554432000 4194304 4196468 140730802701232 140730802683776 140259540098807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 /proc/25767/statm: 7056847 7221 3122 1 0 7019032 0 [pid=25767/tid=25768] ppid=25765 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/25767/task/25768/stat : 25768 (java) R 25765 25765 25006 0 -1 4202560 3592 0 0 0 8 0 0 0 20 0 20 0 421003339 28904845312 7221 33554432000 4194304 4196468 140730802701232 140259544335072 140259540120154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25769] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25769/stat : 25769 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 7221 33554432000 4194304 4196468 140730802701232 140259492718864 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25770] ppid=25765 vsize=28227388 memory=140359968396568 CPUtime=0 cores=0-7 /proc/25767/task/25770/stat : 25770 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 7221 33554432000 4194304 4196468 140730802701232 140259491666320 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25771] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25771/stat : 25771 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 7221 33554432000 4194304 4196468 140730802701232 140259490613776 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25772] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25772/stat : 25772 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 7221 33554432000 4194304 4196468 140730802701232 140259489561232 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25773] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25773/stat : 25773 (java) S 25765 25765 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 7221 33554432000 4194304 4196468 140730802701232 140259488508688 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25774] ppid=25765 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/25767/task/25774/stat : 25774 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 7221 33554432000 4194304 4196468 140730802701232 140259487456144 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25775] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25775/stat : 25775 (java) S 25765 25765 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 7221 33554432000 4194304 4196468 140730802701232 140259486403600 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25776] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25776/stat : 25776 (java) S 25765 25765 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 7221 33554432000 4194304 4196468 140730802701232 140259485351056 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25777] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25777/stat : 25777 (java) S 25765 25765 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003341 28904845312 7221 33554432000 4194304 4196468 140730802701232 140258521860080 140259540109954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25778] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25778/stat : 25778 (java) S 25765 25765 25006 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421003342 28904845312 7221 33554432000 4194304 4196468 140730802701232 140258520806304 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25779] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25779/stat : 25779 (java) S 25765 25765 25006 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421003342 28904845312 7221 33554432000 4194304 4196468 140730802701232 140258519753712 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25780] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25780/stat : 25780 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003344 28904845312 7221 33554432000 4194304 4196468 140730802701232 140258518702288 140259540117403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25781] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25781/stat : 25781 (java) S 25765 25765 25006 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 421003344 28904845312 7221 33554432000 4194304 4196468 140730802701232 140258517649904 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25782] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25782/stat : 25782 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003344 28904845312 7221 33554432000 4194304 4196468 140730802701232 140258516597360 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25783] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25783/stat : 25783 (java) S 25765 25765 25006 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 421003344 28904845312 7221 33554432000 4194304 4196468 140730802701232 140258515544816 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25784] ppid=25765 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/25767/task/25784/stat : 25784 (java) R 25765 25765 25006 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 20 0 421003344 28904845312 7221 33554432000 4194304 4196468 140730802701232 140258514492272 140259519033968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25785] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25785/stat : 25785 (java) S 25765 25765 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003344 28904845312 7221 33554432000 4194304 4196468 140730802701232 140258513438944 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25786] ppid=25765 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/25767/task/25786/stat : 25786 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003345 28904845312 7221 33554432000 4194304 4196468 140730802701232 140258512386480 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30340 KiB [startup+0.210125 s]* /proc/loadavg: 7.42 7.94 8.07 2/211 25786 /proc/meminfo: memFree=30586476/32770624 swapFree=66997844/67108860 [pid=25765] ppid=25762 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 25006 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 421003338 115843072 364 33554432000 4194304 5098028 140734728103376 140734728101480 139990779060860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21700608 140734728106869 140734728107113 140734728107113 140734728110026 0 /proc/25765/statm: 28282 364 305 221 0 87 0 [pid=25767] ppid=25765 vsize=28227388 memory=40756 CPUtime=0.33 cores=0-7 /proc/25767/stat : 25767 (java) S 25765 25765 25006 0 -1 1077944320 9371 0 0 0 30 3 0 0 20 0 20 0 421003338 28904845312 10189 33554432000 4194304 4196468 140730802701232 140730802683776 140259540098807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 /proc/25767/statm: 7056847 10189 3314 1 0 7019032 0 [pid=25767/tid=25768] ppid=25765 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/25767/task/25768/stat : 25768 (java) R 25765 25765 25006 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 20 0 421003339 28904845312 10189 33554432000 4194304 4196468 140730802701232 140259544328528 140259540110742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25769] ppid=25765 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7 /proc/25767/task/25769/stat : 25769 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 10189 33554432000 4194304 4196468 140730802701232 140259492718864 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25770] ppid=25765 vsize=28227388 memory=3619120434804758176 CPUtime=0 cores=0-7 /proc/25767/task/25770/stat : 25770 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 10189 33554432000 4194304 4196468 140730802701232 140259491666320 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25771] ppid=25765 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/25767/task/25771/stat : 25771 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 10189 33554432000 4194304 4196468 140730802701232 140259490613776 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25772] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25772/stat : 25772 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 10189 33554432000 4194304 4196468 140730802701232 140259489561232 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25773] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25773/stat : 25773 (java) S 25765 25765 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 10189 33554432000 4194304 4196468 140730802701232 140259488508688 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25774] ppid=25765 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/25767/task/25774/stat : 25774 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 10189 33554432000 4194304 4196468 140730802701232 140259487456144 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25775] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25775/stat : 25775 (java) S 25765 25765 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 10189 33554432000 4194304 4196468 140730802701232 140259486403600 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25776] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25776/stat : 25776 (java) S 25765 25765 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003340 28904845312 10189 33554432000 4194304 4196468 140730802701232 140259485351056 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25777] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25777/stat : 25777 (java) S 25765 25765 25006 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 421003341 28904845312 10189 33554432000 4194304 4196468 140730802701232 140258521860080 140259540109954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25778] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25778/stat : 25778 (java) S 25765 25765 25006 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421003342 28904845312 10189 33554432000 4194304 4196468 140730802701232 140258520806304 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25779] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25779/stat : 25779 (java) S 25765 25765 25006 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421003342 28904845312 10189 33554432000 4194304 4196468 140730802701232 140258519753712 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25780] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25780/stat : 25780 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003344 28904845312 10189 33554432000 4194304 4196468 140730802701232 140258518702288 140259540117403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25781] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25781/stat : 25781 (java) S 25765 25765 25006 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 20 0 421003344 28904845312 10189 33554432000 4194304 4196468 140730802701232 140258517649904 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25782] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25782/stat : 25782 (java) S 25765 25765 25006 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 421003344 28904845312 10189 33554432000 4194304 4196468 140730802701232 140258516597360 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25783] ppid=25765 vsize=28227388 memory=-1 CPUtime=0.03 cores=0-7 /proc/25767/task/25783/stat : 25783 (java) S 25765 25765 25006 0 -1 1077944384 296 0 0 0 3 0 0 0 20 0 20 0 421003344 28904845312 10189 33554432000 4194304 4196468 140730802701232 140258515544816 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25784] ppid=25765 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/25767/task/25784/stat : 25784 (java) R 25765 25765 25006 0 -1 4202560 802 0 0 0 7 0 0 0 20 0 20 0 421003344 28904845312 10189 33554432000 4194304 4196468 140730802701232 140258514492272 140259518618909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25785] ppid=25765 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25785/stat : 25785 (java) S 25765 25765 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003344 28904845312 10189 33554432000 4194304 4196468 140730802701232 140258513438944 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25786] ppid=25765 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/25767/task/25786/stat : 25786 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003345 28904845312 10189 33554432000 4194304 4196468 140730802701232 140258512386480 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42212 KiB [startup+0.309458 s]* /proc/loadavg: 7.42 7.94 8.07 5/211 25786 /proc/meminfo: memFree=30579424/32770624 swapFree=66997844/67108860 [pid=25765] ppid=25762 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 25006 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 421003338 115843072 364 33554432000 4194304 5098028 140734728103376 140734728101480 139990779060860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21700608 140734728106869 140734728107113 140734728107113 140734728110026 0 /proc/25765/statm: 28282 364 305 221 0 87 0 [pid=25767] ppid=25765 vsize=28231644 memory=50060 CPUtime=0.53 cores=0-7 /proc/25767/stat : 25767 (java) S 25765 25765 25006 0 -1 1077944320 10845 0 0 0 49 4 0 0 20 0 20 0 421003338 28909203456 12515 33554432000 4194304 4196468 140730802701232 140730802683776 140259540098807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 /proc/25767/statm: 7057911 12515 3357 1 0 7019032 0 [pid=25767/tid=25768] ppid=25765 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/25767/task/25768/stat : 25768 (java) R 25765 25765 25006 0 -1 4202560 7750 0 0 0 27 2 0 0 20 0 20 0 421003339 28909203456 12515 33554432000 4194304 4196468 140730802701232 140259544329920 140259524179294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25769] ppid=25765 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25769/stat : 25769 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28909203456 12515 33554432000 4194304 4196468 140730802701232 140259492718864 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25770] ppid=25765 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25770/stat : 25770 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28909203456 12515 33554432000 4194304 4196468 140730802701232 140259491666320 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25771] ppid=25765 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25771/stat : 25771 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28909203456 12515 33554432000 4194304 4196468 140730802701232 140259490613776 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25772] ppid=25765 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25772/stat : 25772 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28909203456 12515 33554432000 4194304 4196468 140730802701232 140259489561232 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25773] ppid=25765 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25773/stat : 25773 (java) S 25765 25765 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003340 28909203456 12515 33554432000 4194304 4196468 140730802701232 140259488508688 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25774] ppid=25765 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25774/stat : 25774 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28909203456 12515 33554432000 4194304 4196468 140730802701232 140259487456144 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25775] ppid=25765 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25775/stat : 25775 (java) S 25765 25765 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003340 28909203456 12515 33554432000 4194304 4196468 140730802701232 140259486403600 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25776] ppid=25765 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25776/stat : 25776 (java) S 25765 25765 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003340 28909203456 12515 33554432000 4194304 4196468 140730802701232 140259485351056 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25777] ppid=25765 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25777/stat : 25777 (java) S 25765 25765 25006 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 421003341 28909203456 12515 33554432000 4194304 4196468 140730802701232 140258521860080 140259540109954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25778] ppid=25765 vsize=28231644 memory=280719733759360 CPUtime=0 cores=0-7 /proc/25767/task/25778/stat : 25778 (java) S 25765 25765 25006 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421003342 28909203456 12515 33554432000 4194304 4196468 140730802701232 140258520806304 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25779] ppid=25765 vsize=28231644 memory=280719733763968 CPUtime=0 cores=0-7 /proc/25767/task/25779/stat : 25779 (java) S 25765 25765 25006 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421003342 28909203456 12515 33554432000 4194304 4196468 140730802701232 140258519753712 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25780] ppid=25765 vsize=28231644 memory=280719733768576 CPUtime=0 cores=0-7 /proc/25767/task/25780/stat : 25780 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003344 28909203456 12515 33554432000 4194304 4196468 140730802701232 140258518702288 140259540117403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25781] ppid=25765 vsize=28231644 memory=280719733773184 CPUtime=0.01 cores=0-7 /proc/25767/task/25781/stat : 25781 (java) S 25765 25765 25006 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 20 0 421003344 28909203456 12515 33554432000 4194304 4196468 140730802701232 140258517649904 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25782] ppid=25765 vsize=28231644 memory=280719733777792 CPUtime=0.01 cores=0-7 /proc/25767/task/25782/stat : 25782 (java) S 25765 25765 25006 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 421003344 28909203456 12515 33554432000 4194304 4196468 140730802701232 140258516597360 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25783] ppid=25765 vsize=28231644 memory=280719733782400 CPUtime=0.05 cores=0-7 /proc/25767/task/25783/stat : 25783 (java) R 25765 25765 25006 0 -1 4202560 403 0 0 0 5 0 0 0 20 0 20 0 421003344 28909203456 12515 33554432000 4194304 4196468 140730802701232 140258515543216 140259521621031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25784] ppid=25765 vsize=28231644 memory=280719733787008 CPUtime=0.12 cores=0-7 /proc/25767/task/25784/stat : 25784 (java) S 25765 25765 25006 0 -1 1077944384 952 0 0 0 12 0 0 0 20 0 20 0 421003344 28909203456 12515 33554432000 4194304 4196468 140730802701232 140258514492272 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25785] ppid=25765 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25785/stat : 25785 (java) S 25765 25765 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003344 28909203456 12515 33554432000 4194304 4196468 140730802701232 140258513438944 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25786] ppid=25765 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/25767/task/25786/stat : 25786 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003345 28909203456 12515 33554432000 4194304 4196468 140730802701232 140258512386480 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51516 KiB [startup+0.700922 s] /proc/loadavg: 7.42 7.94 8.07 3/211 25786 /proc/meminfo: memFree=30567300/32770624 swapFree=66997844/67108860 [pid=25765] ppid=25762 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 25006 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 421003338 115843072 364 33554432000 4194304 5098028 140734728103376 140734728101480 139990779060860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21700608 140734728106869 140734728107113 140734728107113 140734728110026 0 /proc/25765/statm: 28282 364 305 221 0 87 0 [pid=25767] ppid=25765 vsize=28233768 memory=85844 CPUtime=1.56 cores=0-7 /proc/25767/stat : 25767 (java) S 25765 25765 25006 0 -1 1077944320 15137 0 0 0 150 6 0 0 20 0 20 0 421003338 28911378432 21461 33554432000 4194304 4196468 140730802701232 140730802683776 140259540098807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 /proc/25767/statm: 7058442 21461 3451 1 0 7019544 0 [pid=25767/tid=25768] ppid=25765 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7 /proc/25767/task/25768/stat : 25768 (java) R 25765 25765 25006 0 -1 4202560 9311 0 0 0 64 3 0 0 20 0 20 0 421003339 28911378432 21461 33554432000 4194304 4196468 140730802701232 140259544337728 140259532335934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25769] ppid=25765 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25769/stat : 25769 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28911378432 21461 33554432000 4194304 4196468 140730802701232 140259492718864 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25770] ppid=25765 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25770/stat : 25770 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28911378432 21461 33554432000 4194304 4196468 140730802701232 140259491666320 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25771] ppid=25765 vsize=28233768 memory=4008 CPUtime=0 cores=0-7 /proc/25767/task/25771/stat : 25771 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003340 28911378432 21461 33554432000 4194304 4196468 140730802701232 140259490613776 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 ################ # More data... # ################ [pid=25767/tid=25784] ppid=25765 vsize=28769356 memory=0 CPUtime=1.28 cores=0-7 /proc/25767/task/25784/stat : 25784 (java) S 25765 25765 25006 0 -1 1077944384 7078 0 0 0 126 2 0 0 20 0 28 0 421003344 29459820544 77028 33554432000 4194304 4196468 140730802701232 140258514492272 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25785] ppid=25765 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25785/stat : 25785 (java) S 25765 25765 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421003344 29459820544 77028 33554432000 4194304 4196468 140730802701232 140258513438944 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25786] ppid=25765 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25786/stat : 25786 (java) S 25765 25765 25006 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 421003345 29459820544 77028 33554432000 4194304 4196468 140730802701232 140258512386480 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25875] ppid=25765 vsize=28769356 memory=0 CPUtime=2.44 cores=0-7 /proc/25767/task/25875/stat : 25875 (java) R 25765 25765 25006 0 -1 4202560 168 0 0 0 244 0 0 0 20 0 28 0 421003483 29459820544 77028 33554432000 4194304 4196468 140730802701232 140258496052456 140259163081987 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25876] ppid=25765 vsize=28769356 memory=0 CPUtime=2.13 cores=0-7 /proc/25767/task/25876/stat : 25876 (java) R 25765 25765 25006 0 -1 4202560 33 0 0 0 213 0 0 0 20 0 28 0 421003483 29459820544 77540 33554432000 4194304 4196468 140730802701232 140258493947736 140259161243517 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25877] ppid=25765 vsize=28769356 memory=0 CPUtime=2.04 cores=0-7 /proc/25767/task/25877/stat : 25877 (java) R 25765 25765 25006 0 -1 4202560 584 0 0 0 203 1 0 0 20 0 28 0 421003483 29459820544 77540 33554432000 4194304 4196468 140730802701232 140258499211400 140259166921232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25878] ppid=25765 vsize=28769356 memory=280719733555440 CPUtime=2.09 cores=0-7 /proc/25767/task/25878/stat : 25878 (java) R 25765 25765 25006 0 -1 4202560 102 0 0 0 209 0 0 0 20 0 28 0 421003483 29459820544 77540 33554432000 4194304 4196468 140730802701232 140258500264360 140259160928957 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25879] ppid=25765 vsize=28769356 memory=7307209556782960752 CPUtime=1.89 cores=0-7 /proc/25767/task/25879/stat : 25879 (java) R 25765 25765 25006 0 -1 4202560 86 0 0 0 189 0 0 0 20 0 28 0 421003483 29459820544 77540 33554432000 4194304 4196468 140730802701232 140258492897816 140259163081258 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25880] ppid=25765 vsize=28769356 memory=1456 CPUtime=1.98 cores=0-7 /proc/25767/task/25880/stat : 25880 (java) R 25765 25765 25006 0 -1 4202560 117 0 0 0 198 0 0 0 20 0 28 0 421003483 29459820544 77540 33554432000 4194304 4196468 140730802701232 140258498158200 140259163081029 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25881] ppid=25765 vsize=28769356 memory=250848 CPUtime=2.08 cores=0-7 /proc/25767/task/25881/stat : 25881 (java) R 25765 25765 25006 0 -1 4202560 174 0 0 0 208 0 0 0 20 0 28 0 421003484 29459820544 77540 33554432000 4194304 4196468 140730802701232 140258495000120 140259154303932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25882] ppid=25765 vsize=28769356 memory=222290327423530 CPUtime=2.1 cores=0-7 /proc/25767/task/25882/stat : 25882 (java) R 25765 25765 25006 0 -1 4202560 28 0 0 0 210 0 0 0 20 0 28 0 421003485 29459820544 77540 33554432000 4194304 4196468 140730802701232 140258501315408 140259163081334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 Current children cumulated CPU time: 28.92 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 309568 KiB [startup+4.8015 s] /proc/loadavg: 7.15 7.87 8.05 13/219 25883 /proc/meminfo: memFree=30363052/32770624 swapFree=66997844/67108860 [pid=25765] ppid=25762 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 25006 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 421003338 115843072 364 33554432000 4194304 5098028 140734728103376 140734728101480 139990779060860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21700608 140734728106869 140734728107113 140734728107113 140734728110026 0 /proc/25765/statm: 28282 364 305 221 0 87 0 [pid=25767] ppid=25765 vsize=28769356 memory=351888 CPUtime=32.05 cores=0-7 /proc/25767/stat : 25767 (java) S 25765 25765 25006 0 -1 1077944320 41209 0 0 0 3185 20 0 0 20 0 28 0 421003338 29459820544 87972 33554432000 4194304 4196468 140730802701232 140730802683776 140259540098807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 /proc/25767/statm: 7192339 87972 3530 1 0 7153441 0 [pid=25767/tid=25768] ppid=25765 vsize=28769356 memory=7957689449132282197 CPUtime=1.15 cores=0-7 /proc/25767/task/25768/stat : 25768 (java) S 25765 25765 25006 0 -1 1077944384 10395 0 0 0 110 5 0 0 20 0 28 0 421003339 29459820544 87972 33554432000 4194304 4196468 140730802701232 140259544339584 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25769] ppid=25765 vsize=28769356 memory=6791534058613427641 CPUtime=0.02 cores=0-7 /proc/25767/task/25769/stat : 25769 (java) S 25765 25765 25006 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 28 0 421003340 29459820544 87972 33554432000 4194304 4196468 140730802701232 140259492718864 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25770] ppid=25765 vsize=28769356 memory=111632 CPUtime=0.01 cores=0-7 /proc/25767/task/25770/stat : 25770 (java) S 25765 25765 25006 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 421003340 29459820544 87972 33554432000 4194304 4196468 140730802701232 140259491666320 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25771] ppid=25765 vsize=28769356 memory=800 CPUtime=0.01 cores=0-7 /proc/25767/task/25771/stat : 25771 (java) S 25765 25765 25006 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 421003340 29459820544 87972 33554432000 4194304 4196468 140730802701232 140259490613776 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25772] ppid=25765 vsize=28769356 memory=1808 CPUtime=0.02 cores=0-7 /proc/25767/task/25772/stat : 25772 (java) S 25765 25765 25006 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 28 0 421003340 29459820544 87972 33554432000 4194304 4196468 140730802701232 140259489561232 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25773] ppid=25765 vsize=28769356 memory=920 CPUtime=0.01 cores=0-7 /proc/25767/task/25773/stat : 25773 (java) S 25765 25765 25006 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 421003340 29459820544 87972 33554432000 4194304 4196468 140730802701232 140259488508688 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25774] ppid=25765 vsize=28769356 memory=4760 CPUtime=0.01 cores=0-7 /proc/25767/task/25774/stat : 25774 (java) S 25765 25765 25006 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 28 0 421003340 29459820544 87972 33554432000 4194304 4196468 140730802701232 140259487456144 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25775] ppid=25765 vsize=28769356 memory=4096 CPUtime=0 cores=0-7 /proc/25767/task/25775/stat : 25775 (java) S 25765 25765 25006 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 421003340 29459820544 87972 33554432000 4194304 4196468 140730802701232 140259486403600 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25776] ppid=25765 vsize=28769356 memory=1412 CPUtime=0.02 cores=0-7 /proc/25767/task/25776/stat : 25776 (java) S 25765 25765 25006 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 28 0 421003340 29459820544 87972 33554432000 4194304 4196468 140730802701232 140259485351056 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25777] ppid=25765 vsize=28769356 memory=2580 CPUtime=0.01 cores=0-7 /proc/25767/task/25777/stat : 25777 (java) S 25765 25765 25006 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 28 0 421003341 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258521860080 140259540109954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25778] ppid=25765 vsize=28769356 memory=1456 CPUtime=0 cores=0-7 /proc/25767/task/25778/stat : 25778 (java) S 25765 25765 25006 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 421003342 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258520806368 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25779] ppid=25765 vsize=28769356 memory=247308 CPUtime=0 cores=0-7 /proc/25767/task/25779/stat : 25779 (java) S 25765 25765 25006 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 421003342 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258519753728 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25780] ppid=25765 vsize=28769356 memory=1164 CPUtime=0 cores=0-7 /proc/25767/task/25780/stat : 25780 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421003344 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258518702288 140259540117403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25781] ppid=25765 vsize=28769356 memory=6791534058613427641 CPUtime=3.41 cores=0-7 /proc/25767/task/25781/stat : 25781 (java) R 25765 25765 25006 0 -1 4202560 7176 0 0 0 339 2 0 0 20 0 28 0 421003344 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258517636352 140259517693969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25782] ppid=25765 vsize=28769356 memory=288230617509003574 CPUtime=2.86 cores=0-7 /proc/25767/task/25782/stat : 25782 (java) S 25765 25765 25006 0 -1 1077944384 6561 0 0 0 284 2 0 0 20 0 28 0 421003344 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258516597360 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25783] ppid=25765 vsize=28769356 memory=15252636593031516 CPUtime=3.03 cores=0-7 /proc/25767/task/25783/stat : 25783 (java) R 25765 25765 25006 0 -1 4202560 4996 0 0 0 302 1 0 0 20 0 28 0 421003344 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258515530864 140259523485792 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25784] ppid=25765 vsize=28769356 memory=0 CPUtime=1.3 cores=0-7 /proc/25767/task/25784/stat : 25784 (java) S 25765 25765 25006 0 -1 1077944384 7099 0 0 0 128 2 0 0 20 0 28 0 421003344 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258514492272 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25785] ppid=25765 vsize=28769356 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/25767/task/25785/stat : 25785 (java) S 25765 25765 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421003344 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258513438944 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25786] ppid=25765 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25786/stat : 25786 (java) R 25765 25765 25006 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 421003345 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258512386480 140259540109954 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25875] ppid=25765 vsize=28769356 memory=0 CPUtime=2.75 cores=0-7 /proc/25767/task/25875/stat : 25875 (java) R 25765 25765 25006 0 -1 4202560 169 0 0 0 275 0 0 0 20 0 28 0 421003483 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258496052792 140259161098102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25876] ppid=25765 vsize=28769356 memory=0 CPUtime=2.4 cores=0-7 /proc/25767/task/25876/stat : 25876 (java) R 25765 25765 25006 0 -1 4202560 34 0 0 0 240 0 0 0 20 0 28 0 421003483 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258493947736 140259161243029 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25877] ppid=25765 vsize=28769356 memory=0 CPUtime=2.37 cores=0-7 /proc/25767/task/25877/stat : 25877 (java) R 25765 25765 25006 0 -1 4202560 615 0 0 0 236 1 0 0 20 0 28 0 421003483 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258499211688 140259165237918 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25878] ppid=25765 vsize=28769356 memory=0 CPUtime=2.33 cores=0-7 /proc/25767/task/25878/stat : 25878 (java) R 25765 25765 25006 0 -1 4202560 103 0 0 0 233 0 0 0 20 0 28 0 421003483 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258500265064 140259167273440 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25879] ppid=25765 vsize=28769356 memory=0 CPUtime=2.15 cores=0-7 /proc/25767/task/25879/stat : 25879 (java) R 25765 25765 25006 0 -1 4202560 87 0 0 0 215 0 0 0 20 0 28 0 421003483 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258492897816 140259163081295 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25880] ppid=25765 vsize=28769356 memory=0 CPUtime=2.33 cores=0-7 /proc/25767/task/25880/stat : 25880 (java) R 25765 25765 25006 0 -1 4202560 119 0 0 0 233 0 0 0 20 0 28 0 421003483 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258498160056 140259161448572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25881] ppid=25765 vsize=28769356 memory=0 CPUtime=2.34 cores=0-7 /proc/25767/task/25881/stat : 25881 (java) R 25765 25765 25006 0 -1 4202560 189 0 0 0 234 0 0 0 20 0 28 0 421003484 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258495000040 140259163423134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25882] ppid=25765 vsize=28769356 memory=0 CPUtime=2.46 cores=0-7 /proc/25767/task/25882/stat : 25882 (java) R 25765 25765 25006 0 -1 4202560 29 0 0 0 246 0 0 0 20 0 28 0 421003485 29459820544 87972 33554432000 4194304 4196468 140730802701232 140258501316728 140259161127167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 Current children cumulated CPU time: 32.05 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 353344 KiB [startup+4.9015 s] /proc/loadavg: 7.15 7.87 8.05 13/219 25883 /proc/meminfo: memFree=30363052/32770624 swapFree=66997844/67108860 [pid=25765] ppid=25762 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/25765/stat : 25765 (xcsp3-exec) S 25762 25765 25006 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 421003338 115843072 364 33554432000 4194304 5098028 140734728103376 140734728101480 139990779060860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21700608 140734728106869 140734728107113 140734728107113 140734728110026 0 /proc/25765/statm: 28282 364 305 221 0 87 0 [pid=25767] ppid=25765 vsize=28769356 memory=359344 CPUtime=32.86 cores=0-7 /proc/25767/stat : 25767 (java) S 25765 25765 25006 0 -1 1077944320 41258 0 0 0 3265 21 0 0 20 0 28 0 421003338 29459820544 89836 33554432000 4194304 4196468 140730802701232 140730802683776 140259540098807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 /proc/25767/statm: 7192339 89836 3530 1 0 7153441 0 [pid=25767/tid=25768] ppid=25765 vsize=28769356 memory=317656 CPUtime=1.15 cores=0-7 /proc/25767/task/25768/stat : 25768 (java) S 25765 25765 25006 0 -1 1077944384 10395 0 0 0 110 5 0 0 20 0 28 0 421003339 29459820544 89836 33554432000 4194304 4196468 140730802701232 140259544339584 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25769] ppid=25765 vsize=28769356 memory=0 CPUtime=0.02 cores=0-7 /proc/25767/task/25769/stat : 25769 (java) S 25765 25765 25006 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 28 0 421003340 29459820544 89836 33554432000 4194304 4196468 140730802701232 140259492718864 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25770] ppid=25765 vsize=28769356 memory=1808 CPUtime=0.01 cores=0-7 /proc/25767/task/25770/stat : 25770 (java) S 25765 25765 25006 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 421003340 29459820544 89836 33554432000 4194304 4196468 140730802701232 140259491666320 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25771] ppid=25765 vsize=28769356 memory=920 CPUtime=0.01 cores=0-7 /proc/25767/task/25771/stat : 25771 (java) S 25765 25765 25006 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 421003340 29459820544 89836 33554432000 4194304 4196468 140730802701232 140259490613776 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25772] ppid=25765 vsize=28769356 memory=259064 CPUtime=0.02 cores=0-7 /proc/25767/task/25772/stat : 25772 (java) S 25765 25765 25006 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 28 0 421003340 29459820544 89836 33554432000 4194304 4196468 140730802701232 140259489561232 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25773] ppid=25765 vsize=28769356 memory=2670038 CPUtime=0.01 cores=0-7 /proc/25767/task/25773/stat : 25773 (java) S 25765 25765 25006 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 421003340 29459820544 89836 33554432000 4194304 4196468 140730802701232 140259488508688 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25774] ppid=25765 vsize=28769356 memory=2671448 CPUtime=0.01 cores=0-7 /proc/25767/task/25774/stat : 25774 (java) S 25765 25765 25006 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 28 0 421003340 29459820544 89836 33554432000 4194304 4196468 140730802701232 140259487456144 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25775] ppid=25765 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25775/stat : 25775 (java) S 25765 25765 25006 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 421003340 29459820544 89836 33554432000 4194304 4196468 140730802701232 140259486403600 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25776] ppid=25765 vsize=28769356 memory=-9062862659931694204 CPUtime=0.02 cores=0-7 /proc/25767/task/25776/stat : 25776 (java) S 25765 25765 25006 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 28 0 421003340 29459820544 89836 33554432000 4194304 4196468 140730802701232 140259485351056 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25777] ppid=25765 vsize=28769356 memory=4498404016631593313 CPUtime=0.01 cores=0-7 /proc/25767/task/25777/stat : 25777 (java) S 25765 25765 25006 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 28 0 421003341 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258521860080 140259540109954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25778] ppid=25765 vsize=28769356 memory=-8458152057954561420 CPUtime=0 cores=0-7 /proc/25767/task/25778/stat : 25778 (java) S 25765 25765 25006 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 421003342 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258520806368 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25779] ppid=25765 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25779/stat : 25779 (java) S 25765 25765 25006 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 421003342 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258519753728 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25780] ppid=25765 vsize=28769356 memory=-6876588461455810464 CPUtime=0 cores=0-7 /proc/25767/task/25780/stat : 25780 (java) S 25765 25765 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421003344 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258518702288 140259540117403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25781] ppid=25765 vsize=28769356 memory=7682475212697334586 CPUtime=3.47 cores=0-7 /proc/25767/task/25781/stat : 25781 (java) R 25765 25765 25006 0 -1 1077944384 7205 0 0 0 344 3 0 0 20 0 28 0 421003344 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258517649904 140259540109954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25782] ppid=25765 vsize=28769356 memory=1399103955520229747 CPUtime=2.89 cores=0-7 /proc/25767/task/25782/stat : 25782 (java) S 25765 25765 25006 0 -1 1077944384 6561 0 0 0 287 2 0 0 20 0 28 0 421003344 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258516597360 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25783] ppid=25765 vsize=28769356 memory=202 CPUtime=3.04 cores=0-7 /proc/25767/task/25783/stat : 25783 (java) S 25765 25765 25006 0 -1 1077944384 5003 0 0 0 303 1 0 0 20 0 28 0 421003344 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258515544816 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25784] ppid=25765 vsize=28769356 memory=77 CPUtime=1.3 cores=0-7 /proc/25767/task/25784/stat : 25784 (java) S 25765 25765 25006 0 -1 1077944384 7100 0 0 0 128 2 0 0 20 0 28 0 421003344 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258514492272 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25785] ppid=25765 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25785/stat : 25785 (java) S 25765 25765 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421003344 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258513438944 140259540109013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25786] ppid=25765 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/25767/task/25786/stat : 25786 (java) S 25765 25765 25006 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 421003345 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258512386480 140259540109954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25875] ppid=25765 vsize=28769356 memory=0 CPUtime=2.82 cores=0-7 /proc/25767/task/25875/stat : 25875 (java) R 25765 25765 25006 0 -1 4202560 169 0 0 0 282 0 0 0 20 0 28 0 421003483 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258496052424 140259156800356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25876] ppid=25765 vsize=28769356 memory=0 CPUtime=2.47 cores=0-7 /proc/25767/task/25876/stat : 25876 (java) R 25765 25765 25006 0 -1 4202560 34 0 0 0 247 0 0 0 20 0 28 0 421003483 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258493947736 140259163081474 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25877] ppid=25765 vsize=28769356 memory=279998668749249 CPUtime=2.44 cores=0-7 /proc/25767/task/25877/stat : 25877 (java) R 25765 25765 25006 0 -1 4202560 621 0 0 0 243 1 0 0 20 0 28 0 421003483 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258499212040 140259165326754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25878] ppid=25765 vsize=28769356 memory=280719733631296 CPUtime=2.41 cores=0-7 /proc/25767/task/25878/stat : 25878 (java) R 25765 25765 25006 0 -1 4202560 103 0 0 0 241 0 0 0 20 0 28 0 421003483 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258500265064 140259160928813 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25879] ppid=25765 vsize=28769356 memory=280719733631360 CPUtime=2.25 cores=0-7 /proc/25767/task/25879/stat : 25879 (java) R 25765 25765 25006 0 -1 4202560 89 0 0 0 225 0 0 0 20 0 28 0 421003483 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258492897816 140259160764536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25880] ppid=25765 vsize=28769356 memory=280719733631424 CPUtime=2.43 cores=0-7 /proc/25767/task/25880/stat : 25880 (java) R 25765 25765 25006 0 -1 4202560 119 0 0 0 243 0 0 0 20 0 28 0 421003483 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258498160056 140259161126477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25881] ppid=25765 vsize=28769356 memory=280719733631488 CPUtime=2.43 cores=0-7 /proc/25767/task/25881/stat : 25881 (java) R 25765 25765 25006 0 -1 4202560 191 0 0 0 243 0 0 0 20 0 28 0 421003484 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258494999864 140259166088175 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 [pid=25767/tid=25882] ppid=25765 vsize=28769356 memory=280719733631552 CPUtime=2.56 cores=0-7 /proc/25767/task/25882/stat : 25882 (java) R 25765 25765 25006 0 -1 4202560 29 0 0 0 256 0 0 0 20 0 28 0 421003485 29459820544 89836 33554432000 4194304 4196468 140730802701232 140258501316728 140259163081474 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31780864 140730802705386 140730802705558 140730802705558 140730802708431 0 Current children cumulated CPU time: 32.86 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 360800 KiB Child status: 0 Real time (s): 4.99989 CPU time (s): 33.2456 CPU user time (s): 33.0203 CPU system time (s): 0.225237 CPU usage (%): 664.926 Max. virtual memory (cumulated for all children) (KiB): 28882484 Max. memory (cumulated for all children) (KiB): 360800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.0203 system time used= 0.225237 maximum resident set size= 370116 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42081 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5345 involuntary context switches= 1179 # summary of solver processes directly reported to runsolver: # pid: 25765 # total CPU time (s): 33.2456 # total CPU user time (s): 33.0203 # total CPU system time (s): 0.225237 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.05861 second user time and 0.095476 second system time The end
Begin job on node106 at 2019-09-14 08:50:10 IDJOB=4393835 IDBENCH=140495 IDSOLVER=2841 FILE ID=node106/4393835-1568447487 RUNJOBID= node106-1568441213-25033 PBS_JOBID= 21702349 Free space on /tmp= 59112 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-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 /tmp/evaluation-result-4393835-1568447487/watcher-4393835-1568447487 -o /tmp/evaluation-result-4393835-1568447487/solver-4393835-1568447487 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568441213-25033 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1692368414 HOME/instance-4393835-1568447487.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a951848c4e631b36882baf30b58f4449 RANDOM SEED=1692368414 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30617012 kB MemAvailable: 31900796 kB Buffers: 191692 kB Cached: 1373148 kB SwapCached: 9256 kB Active: 492656 kB Inactive: 1087364 kB Active(anon): 15032 kB Inactive(anon): 34212 kB Active(file): 477624 kB Inactive(file): 1053152 kB Unevictable: 107536 kB Mlocked: 107536 kB SwapTotal: 67108860 kB SwapFree: 66997844 kB Dirty: 26220 kB Writeback: 0 kB AnonPages: 142248 kB Mapped: 38816 kB Shmem: 25448 kB Slab: 167200 kB SReclaimable: 137688 kB SUnreclaim: 29512 kB KernelStack: 3712 kB PageTables: 5256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 490320 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 98304 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59088 MiB End job on node106 at 2019-09-14 08:50:15