Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 4 | 30.7551 | 4.77154 |
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 | 13.8983 |
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-4393828-1568427365.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393828-1568427365.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 3.39/1.14 c solve instance... 3.87/1.23 o 14 3.87/1.26 o 13 4.43/1.30 o 12 4.43/1.31 o 11 4.43/1.32 o 10 4.43/1.33 o 9 4.43/1.37 o 8 4.43/1.39 o 7 5.10/1.40 o 6 5.10/1.43 o 5 5.84/1.57 o 4 29.95/4.68 s OPTIMUM FOUND 29.95/4.68 v <instantiation> 29.95/4.68 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> 29.95/4.68 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> 29.95/4.68 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 (14580 MiB free) memory of node 1: 16384 MiB (15647 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393828-1568427365/watcher-4393828-1568427365 -o /tmp/evaluation-result-4393828-1568427365/solver-4393828-1568427365 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 331479986 HOME/instance-4393828-1568427365.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=17242, runsolver pid=17239 Current StackSize limit: 8192 KiB [startup+0.100156 s]* /proc/loadavg: 6.78 6.94 6.89 2/211 17263 /proc/meminfo: memFree=30935356/32770624 swapFree=66947516/67108860 [pid=17242] ppid=17239 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17242/stat : 17242 (xcsp3-exec) S 17239 17242 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418678394 115843072 363 33554432000 4194304 5098028 140733104487136 140733104485240 139867115917948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11620352 140733104493430 140733104493673 140733104493673 140733104496586 0 /proc/17242/statm: 28282 363 305 221 0 87 0 [pid=17244] ppid=17242 vsize=28227388 memory=30484 CPUtime=0.13 cores=0-7 /proc/17244/stat : 17244 (java) S 17242 17242 15751 0 -1 1077944320 5508 0 0 0 11 2 0 0 20 0 20 0 418678394 28904845312 7621 33554432000 4194304 4196468 140727299341728 140727299324272 139687408389879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 /proc/17244/statm: 7056847 7621 3158 1 0 7019032 0 [pid=17244/tid=17245] ppid=17242 vsize=28227388 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/17244/task/17245/stat : 17245 (java) R 17242 17242 15751 0 -1 4202560 3430 0 0 0 8 1 0 0 20 0 20 0 418678394 28904845312 7621 33554432000 4194304 4196468 140727299341728 139687412616352 139687408401814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17246] ppid=17242 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17244/task/17246/stat : 17246 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686959815312 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17247] ppid=17242 vsize=28227388 memory=140221180630656 CPUtime=0 cores=0-7 /proc/17244/task/17247/stat : 17247 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686958762512 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17248] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17248/stat : 17248 (java) S 17242 17242 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686957709712 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17249] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17249/stat : 17249 (java) S 17242 17242 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686956656912 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17250] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17250/stat : 17250 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686955605136 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17251] ppid=17242 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17244/task/17251/stat : 17251 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686954552336 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17252] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17252/stat : 17252 (java) S 17242 17242 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686953499536 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17253] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17253/stat : 17253 (java) S 17242 17242 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686952446736 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17254] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17254/stat : 17254 (java) S 17242 17242 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418678397 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686658980208 139687408401026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17255] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17255/stat : 17255 (java) S 17242 17242 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418678397 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686657926176 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17256] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17256/stat : 17256 (java) S 17242 17242 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418678397 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686656873328 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17257] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17257/stat : 17257 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678400 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686655821648 139687408408475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17258] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17258/stat : 17258 (java) S 17242 17242 15751 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 418678400 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686654770032 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17259] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17259/stat : 17259 (java) S 17242 17242 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418678400 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686653717232 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17260] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17260/stat : 17260 (java) S 17242 17242 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418678400 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686652664432 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17261] ppid=17242 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/17244/task/17261/stat : 17261 (java) S 17242 17242 15751 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 20 0 418678400 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686651611632 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17262] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17262/stat : 17262 (java) S 17242 17242 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418678400 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686650559072 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17263] ppid=17242 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17244/task/17263/stat : 17263 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678400 28904845312 7621 33554432000 4194304 4196468 140727299341728 139686649506352 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31936 KiB [startup+0.210584 s]* /proc/loadavg: 6.78 6.94 6.89 3/211 17263 /proc/meminfo: memFree=30922732/32770624 swapFree=66947516/67108860 [pid=17242] ppid=17239 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17242/stat : 17242 (xcsp3-exec) S 17239 17242 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418678394 115843072 363 33554432000 4194304 5098028 140733104487136 140733104485240 139867115917948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11620352 140733104493430 140733104493673 140733104493673 140733104496586 0 /proc/17242/statm: 28282 363 305 221 0 87 0 [pid=17244] ppid=17242 vsize=28227388 memory=41468 CPUtime=0.34 cores=0-7 /proc/17244/stat : 17244 (java) S 17242 17242 15751 0 -1 1077944320 9072 0 0 0 30 4 0 0 20 0 20 0 418678394 28904845312 10367 33554432000 4194304 4196468 140727299341728 140727299324272 139687408389879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 /proc/17244/statm: 7056847 10367 3295 1 0 7019032 0 [pid=17244/tid=17245] ppid=17242 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17244/task/17245/stat : 17245 (java) R 17242 17242 15751 0 -1 4202560 6244 0 0 0 17 3 0 0 20 0 20 0 418678394 28904845312 10367 33554432000 4194304 4196468 140727299341728 139687412628192 139687408401814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17246] ppid=17242 vsize=28227388 memory=328 CPUtime=0 cores=0-7 /proc/17244/task/17246/stat : 17246 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686959815312 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17247] ppid=17242 vsize=28227388 memory=140221183721803 CPUtime=0 cores=0-7 /proc/17244/task/17247/stat : 17247 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686958762512 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17248] ppid=17242 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17244/task/17248/stat : 17248 (java) S 17242 17242 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686957709712 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17249] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17249/stat : 17249 (java) S 17242 17242 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686956656912 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17250] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17250/stat : 17250 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686955605136 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17251] ppid=17242 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17244/task/17251/stat : 17251 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686954552336 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17252] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17252/stat : 17252 (java) S 17242 17242 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686953499536 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17253] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17253/stat : 17253 (java) S 17242 17242 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418678395 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686952446736 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17254] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17254/stat : 17254 (java) S 17242 17242 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418678397 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686658980208 139687408401026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17255] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17255/stat : 17255 (java) S 17242 17242 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418678397 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686657926176 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17256] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17256/stat : 17256 (java) S 17242 17242 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418678397 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686656873328 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17257] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17257/stat : 17257 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678400 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686655821648 139687408408475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17258] ppid=17242 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/17244/task/17258/stat : 17258 (java) S 17242 17242 15751 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 20 0 418678400 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686654770032 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17259] ppid=17242 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/17244/task/17259/stat : 17259 (java) S 17242 17242 15751 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 20 0 418678400 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686653717232 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17260] ppid=17242 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17244/task/17260/stat : 17260 (java) S 17242 17242 15751 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 418678400 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686652664432 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17261] ppid=17242 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/17244/task/17261/stat : 17261 (java) R 17242 17242 15751 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 418678400 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686651611440 139687388358561 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17262] ppid=17242 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17262/stat : 17262 (java) S 17242 17242 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418678400 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686650559072 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17263] ppid=17242 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17244/task/17263/stat : 17263 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678400 28904845312 10367 33554432000 4194304 4196468 140727299341728 139686649506352 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42920 KiB [startup+0.310798 s]* /proc/loadavg: 6.78 6.94 6.89 4/211 17263 /proc/meminfo: memFree=30916080/32770624 swapFree=66947516/67108860 [pid=17242] ppid=17239 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17242/stat : 17242 (xcsp3-exec) S 17239 17242 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418678394 115843072 363 33554432000 4194304 5098028 140733104487136 140733104485240 139867115917948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11620352 140733104493430 140733104493673 140733104493673 140733104496586 0 /proc/17242/statm: 28282 363 305 221 0 87 0 [pid=17244] ppid=17242 vsize=28231644 memory=50016 CPUtime=0.52 cores=0-7 /proc/17244/stat : 17244 (java) S 17242 17242 15751 0 -1 1077944320 10410 0 0 0 47 5 0 0 20 0 20 0 418678394 28909203456 12504 33554432000 4194304 4196468 140727299341728 140727299324272 139687408389879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 /proc/17244/statm: 7057911 12504 3340 1 0 7019032 0 [pid=17244/tid=17245] ppid=17242 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/17244/task/17245/stat : 17245 (java) R 17242 17242 15751 0 -1 4202560 7377 0 0 0 26 3 0 0 20 0 20 0 418678394 28909203456 12504 33554432000 4194304 4196468 140727299341728 139687412620992 139687408411805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17246] ppid=17242 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17246/stat : 17246 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28909203456 12504 33554432000 4194304 4196468 140727299341728 139686959815312 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17247] ppid=17242 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17247/stat : 17247 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28909203456 12504 33554432000 4194304 4196468 140727299341728 139686958762512 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17248] ppid=17242 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17248/stat : 17248 (java) S 17242 17242 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418678395 28909203456 12504 33554432000 4194304 4196468 140727299341728 139686957709712 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17249] ppid=17242 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17249/stat : 17249 (java) S 17242 17242 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418678395 28909203456 12504 33554432000 4194304 4196468 140727299341728 139686956656912 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17250] ppid=17242 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17250/stat : 17250 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28909203456 12504 33554432000 4194304 4196468 140727299341728 139686955605136 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17251] ppid=17242 vsize=28231644 memory=140221018630831 CPUtime=0 cores=0-7 /proc/17244/task/17251/stat : 17251 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28909203456 12504 33554432000 4194304 4196468 140727299341728 139686954552336 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17252] ppid=17242 vsize=28231644 memory=140221018633136 CPUtime=0 cores=0-7 /proc/17244/task/17252/stat : 17252 (java) S 17242 17242 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418678395 28909203456 12504 33554432000 4194304 4196468 140727299341728 139686953499536 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17253] ppid=17242 vsize=28231644 memory=140221018635440 CPUtime=0 cores=0-7 /proc/17244/task/17253/stat : 17253 (java) S 17242 17242 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418678395 28909203456 12504 33554432000 4194304 4196468 140727299341728 139686952446736 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17254] ppid=17242 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17254/stat : 17254 (java) S 17242 17242 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418678397 28909203456 12504 33554432000 4194304 4196468 140727299341728 139686658980208 139687408401026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17255] ppid=17242 vsize=28231644 memory=280442037284752 CPUtime=0 cores=0-7 /proc/17244/task/17255/stat : 17255 (java) S 17242 17242 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418678397 28909203456 12504 33554432000 4194304 4196468 140727299341728 139686657926176 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17256] ppid=17242 vsize=28231644 memory=280442037282448 CPUtime=0 cores=0-7 /proc/17244/task/17256/stat : 17256 (java) S 17242 17242 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418678397 28909203456 12504 33554432000 4194304 4196468 140727299341728 139686656873328 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17257] ppid=17242 vsize=28231644 memory=280442037289360 CPUtime=0 cores=0-7 /proc/17244/task/17257/stat : 17257 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678400 28909203456 12569 33554432000 4194304 4196468 140727299341728 139686655821648 139687408408475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17258] ppid=17242 vsize=28231644 memory=280442037230640 CPUtime=0.04 cores=0-7 /proc/17244/task/17258/stat : 17258 (java) R 17242 17242 15751 0 -1 4202560 614 0 0 0 4 0 0 0 20 0 20 0 418678400 28909203456 12569 33554432000 4194304 4196468 140727299341728 139686654751048 139687408411226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17259] ppid=17242 vsize=28231644 memory=280442037303184 CPUtime=0.02 cores=0-7 /proc/17244/task/17259/stat : 17259 (java) S 17242 17242 15751 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 20 0 418678400 28909203456 12569 33554432000 4194304 4196468 140727299341728 139686653717232 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17260] ppid=17242 vsize=28231644 memory=280442037310096 CPUtime=0.01 cores=0-7 /proc/17244/task/17260/stat : 17260 (java) S 17242 17242 15751 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 418678400 28909203456 12569 33554432000 4194304 4196468 140727299341728 139686652664432 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17261] ppid=17242 vsize=28231644 memory=280442037307792 CPUtime=0.12 cores=0-7 /proc/17244/task/17261/stat : 17261 (java) S 17242 17242 15751 0 -1 1077944384 829 0 0 0 12 0 0 0 20 0 20 0 418678400 28909203456 12569 33554432000 4194304 4196468 140727299341728 139686651611632 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17262] ppid=17242 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17262/stat : 17262 (java) S 17242 17242 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418678400 28909203456 12569 33554432000 4194304 4196468 140727299341728 139686650559072 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17263] ppid=17242 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/17244/task/17263/stat : 17263 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678400 28909203456 12569 33554432000 4194304 4196468 140727299341728 139686649506352 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51468 KiB [startup+0.700978 s] /proc/loadavg: 6.78 6.94 6.89 2/211 17263 /proc/meminfo: memFree=30903404/32770624 swapFree=66947516/67108860 [pid=17242] ppid=17239 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17242/stat : 17242 (xcsp3-exec) S 17239 17242 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418678394 115843072 363 33554432000 4194304 5098028 140733104487136 140733104485240 139867115917948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11620352 140733104493430 140733104493673 140733104493673 140733104496586 0 /proc/17242/statm: 28282 363 305 221 0 87 0 [pid=17244] ppid=17242 vsize=28233768 memory=81168 CPUtime=1.54 cores=0-7 /proc/17244/stat : 17244 (java) S 17242 17242 15751 0 -1 1077944320 13480 0 0 0 146 8 0 0 20 0 20 0 418678394 28911378432 20292 33554432000 4194304 4196468 140727299341728 140727299324272 139687408389879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 /proc/17244/statm: 7058442 20292 3451 1 0 7019544 0 [pid=17244/tid=17245] ppid=17242 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/17244/task/17245/stat : 17245 (java) R 17242 17242 15751 0 -1 4202560 8799 0 0 0 63 4 0 0 20 0 20 0 418678394 28911378432 20292 33554432000 4194304 4196468 140727299341728 139687412620288 139687392470396 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17246] ppid=17242 vsize=28233768 memory=140221018841968 CPUtime=0 cores=0-7 /proc/17244/task/17246/stat : 17246 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28911378432 20292 33554432000 4194304 4196468 140727299341728 139686959815312 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17247] ppid=17242 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17247/stat : 17247 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418678395 28911378432 20292 33554432000 4194304 4196468 140727299341728 139686958762512 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17248] ppid=17242 vsize=28233768 memory=1200 CPUtime=0 cores=0-7 /proc/17244/task/17248/stat : 17248 (java) S 17242 17242 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418678395 28911378432 20292 33554432000 4194304 4196468 140727299341728 139686957709712 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 ################ # More data... # ################ [pid=17244/tid=17252] ppid=17242 vsize=28770280 memory=6525018278055875452 CPUtime=0.01 cores=0-7 /proc/17244/task/17252/stat : 17252 (java) S 17242 17242 15751 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 28 0 418678395 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686953499536 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17253] ppid=17242 vsize=28770280 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/17244/task/17253/stat : 17253 (java) S 17242 17242 15751 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 418678395 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686952446736 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17254] ppid=17242 vsize=28770280 memory=0 CPUtime=0.01 cores=0-7 /proc/17244/task/17254/stat : 17254 (java) S 17242 17242 15751 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 28 0 418678397 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686658980208 139687408401026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17255] ppid=17242 vsize=28770280 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17255/stat : 17255 (java) S 17242 17242 15751 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 418678397 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686657926240 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17256] ppid=17242 vsize=28770280 memory=140221019190482 CPUtime=0 cores=0-7 /proc/17244/task/17256/stat : 17256 (java) S 17242 17242 15751 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 418678397 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686656873344 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17257] ppid=17242 vsize=28770280 memory=7306916055891837008 CPUtime=0 cores=0-7 /proc/17244/task/17257/stat : 17257 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418678400 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686655821648 139687408408475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17258] ppid=17242 vsize=28770280 memory=17368 CPUtime=2.72 cores=0-7 /proc/17244/task/17258/stat : 17258 (java) R 17242 17242 15751 0 -1 4202560 5853 0 0 0 270 2 0 0 20 0 28 0 418678400 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686654763224 139687392678894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17259] ppid=17242 vsize=28770280 memory=0 CPUtime=2.63 cores=0-7 /proc/17244/task/17259/stat : 17259 (java) R 17242 17242 15751 0 -1 4202560 5190 0 0 0 259 4 0 0 20 0 28 0 418678400 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686653702368 139687388076554 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17260] ppid=17242 vsize=28770280 memory=0 CPUtime=2.85 cores=0-7 /proc/17244/task/17260/stat : 17260 (java) R 17242 17242 15751 0 -1 4202560 4960 0 0 0 284 1 0 0 20 0 28 0 418678400 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686652649392 139687391777567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17261] ppid=17242 vsize=28770280 memory=0 CPUtime=1.29 cores=0-7 /proc/17244/task/17261/stat : 17261 (java) S 17242 17242 15751 0 -1 1077944384 7022 0 0 0 126 3 0 0 20 0 28 0 418678400 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686651611632 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17262] ppid=17242 vsize=28770280 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17262/stat : 17262 (java) S 17242 17242 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418678400 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686650559072 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17263] ppid=17242 vsize=28770280 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17263/stat : 17263 (java) S 17242 17242 15751 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 418678400 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686649506352 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17353] ppid=17242 vsize=28770280 memory=0 CPUtime=2.19 cores=0-7 /proc/17244/task/17353/stat : 17353 (java) R 17242 17242 15751 0 -1 4202560 112 0 0 0 219 0 0 0 20 0 28 0 418678551 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686636091888 139687053153730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17354] ppid=17242 vsize=28770280 memory=1452 CPUtime=2.05 cores=0-7 /proc/17244/task/17354/stat : 17354 (java) R 17242 17242 15751 0 -1 4202560 79 0 0 0 205 0 0 0 20 0 28 0 418678551 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686633988632 139687053663008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17355] ppid=17242 vsize=28770280 memory=251112 CPUtime=1.84 cores=0-7 /proc/17244/task/17355/stat : 17355 (java) R 17242 17242 15751 0 -1 4202560 483 0 0 0 184 0 0 0 20 0 28 0 418678551 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686638199224 139687057106222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17356] ppid=17242 vsize=28770280 memory=140222092281316 CPUtime=1.69 cores=0-7 /proc/17244/task/17356/stat : 17356 (java) R 17242 17242 15751 0 -1 4202560 82 0 0 0 169 0 0 0 20 0 28 0 418678551 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686631885192 139687053663875 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17357] ppid=17242 vsize=28770280 memory=140222092281317 CPUtime=1.89 cores=0-7 /proc/17244/task/17357/stat : 17357 (java) R 17242 17242 15751 0 -1 4202560 131 0 0 0 189 0 0 0 20 0 28 0 418678551 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686429316072 139687056017823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17358] ppid=17242 vsize=28770280 memory=140222092281387 CPUtime=2.06 cores=0-7 /proc/17244/task/17358/stat : 17358 (java) R 17242 17242 15751 0 -1 4202560 76 0 0 0 206 0 0 0 20 0 28 0 418678551 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686632935576 139687056192404 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17360] ppid=17242 vsize=28770280 memory=140222092281501 CPUtime=2.21 cores=0-7 /proc/17244/task/17360/stat : 17360 (java) R 17242 17242 15751 0 -1 4202560 68 0 0 0 221 0 0 0 20 0 28 0 418678551 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686635040584 139687053663869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17361] ppid=17242 vsize=28770280 memory=140222092281989 CPUtime=2.01 cores=0-7 /proc/17244/task/17361/stat : 17361 (java) R 17242 17242 15751 0 -1 4202560 162 0 0 0 201 0 0 0 20 0 28 0 418678551 29460766720 76057 33554432000 4194304 4196468 140727299341728 139686637146632 139687056151173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 Current children cumulated CPU time: 28.36 s Current children cumulated vsize: 28883408 KiB Current children cumulated memory: 305680 KiB [startup+4.60144 s] /proc/loadavg: 6.95 6.98 6.90 12/219 17361 /proc/meminfo: memFree=30699732/32770624 swapFree=66947516/67108860 [pid=17242] ppid=17239 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17242/stat : 17242 (xcsp3-exec) S 17239 17242 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418678394 115843072 363 33554432000 4194304 5098028 140733104487136 140733104485240 139867115917948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11620352 140733104493430 140733104493673 140733104493673 140733104496586 0 /proc/17242/statm: 28282 363 305 221 0 87 0 [pid=17244] ppid=17242 vsize=28770672 memory=335960 CPUtime=29.95 cores=0-7 /proc/17244/stat : 17244 (java) S 17242 17242 15751 0 -1 1077944320 41738 0 0 0 2966 29 0 0 20 0 28 0 418678394 29461168128 83990 33554432000 4194304 4196468 140727299341728 140727299324272 139687408389879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 /proc/17244/statm: 7192668 83990 3530 1 0 7153770 0 [pid=17244/tid=17245] ppid=17242 vsize=28770672 memory=1399051139730258233 CPUtime=1.14 cores=0-7 /proc/17244/task/17245/stat : 17245 (java) S 17242 17242 15751 0 -1 1077944384 10373 0 0 0 108 6 0 0 20 0 28 0 418678394 29461168128 83990 33554432000 4194304 4196468 140727299341728 139687412630656 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17246] ppid=17242 vsize=28770672 memory=8245425219584999747 CPUtime=0.01 cores=0-7 /proc/17244/task/17246/stat : 17246 (java) S 17242 17242 15751 0 -1 1077944384 26 0 0 0 0 1 0 0 20 0 28 0 418678395 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686959815312 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17247] ppid=17242 vsize=28770672 memory=7727122998907471891 CPUtime=0 cores=0-7 /proc/17244/task/17247/stat : 17247 (java) S 17242 17242 15751 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 418678395 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686958762512 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17248] ppid=17242 vsize=28770672 memory=7668954370464627011 CPUtime=0.01 cores=0-7 /proc/17244/task/17248/stat : 17248 (java) S 17242 17242 15751 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 28 0 418678395 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686957709712 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17249] ppid=17242 vsize=28770672 memory=-8895323862916359527 CPUtime=0.02 cores=0-7 /proc/17244/task/17249/stat : 17249 (java) S 17242 17242 15751 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 28 0 418678395 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686956656912 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17250] ppid=17242 vsize=28770672 memory=4627829660337606006 CPUtime=0 cores=0-7 /proc/17244/task/17250/stat : 17250 (java) S 17242 17242 15751 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 418678395 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686955605136 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17251] ppid=17242 vsize=28770672 memory=3047711604724501878 CPUtime=0.01 cores=0-7 /proc/17244/task/17251/stat : 17251 (java) S 17242 17242 15751 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 28 0 418678395 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686954552336 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17252] ppid=17242 vsize=28770672 memory=-5504941851400766256 CPUtime=0.01 cores=0-7 /proc/17244/task/17252/stat : 17252 (java) S 17242 17242 15751 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 28 0 418678395 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686953499536 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17253] ppid=17242 vsize=28770672 memory=-8023550165965901656 CPUtime=0 cores=0-7 /proc/17244/task/17253/stat : 17253 (java) S 17242 17242 15751 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 418678395 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686952446736 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17254] ppid=17242 vsize=28770672 memory=7016952788452204857 CPUtime=0.01 cores=0-7 /proc/17244/task/17254/stat : 17254 (java) S 17242 17242 15751 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 28 0 418678397 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686658980208 139687408401026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17255] ppid=17242 vsize=28770672 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/17244/task/17255/stat : 17255 (java) S 17242 17242 15751 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 418678397 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686657926240 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17256] ppid=17242 vsize=28770672 memory=-3622645143214314312 CPUtime=0 cores=0-7 /proc/17244/task/17256/stat : 17256 (java) S 17242 17242 15751 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 418678397 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686656873344 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17257] ppid=17242 vsize=28770672 memory=280442037258368 CPUtime=0 cores=0-7 /proc/17244/task/17257/stat : 17257 (java) S 17242 17242 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418678400 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686655821648 139687408408475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17258] ppid=17242 vsize=28770672 memory=0 CPUtime=2.81 cores=0-7 /proc/17244/task/17258/stat : 17258 (java) R 17242 17242 15751 0 -1 4202560 6319 0 0 0 279 2 0 0 20 0 28 0 418678400 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686654756216 139687387647466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17259] ppid=17242 vsize=28770672 memory=57 CPUtime=2.77 cores=0-7 /proc/17244/task/17259/stat : 17259 (java) R 17242 17242 15751 0 -1 4202560 7124 0 0 0 273 4 0 0 20 0 28 0 418678400 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686653703256 139687391777488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17260] ppid=17242 vsize=28770672 memory=8978591356805939607 CPUtime=2.96 cores=0-7 /proc/17244/task/17260/stat : 17260 (java) R 17242 17242 15751 0 -1 4202560 5991 0 0 0 295 1 0 0 20 0 28 0 418678400 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686652657064 139687392779952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17261] ppid=17242 vsize=28770672 memory=-6512121203743348833 CPUtime=1.29 cores=0-7 /proc/17244/task/17261/stat : 17261 (java) S 17242 17242 15751 0 -1 1077944384 7023 0 0 0 126 3 0 0 20 0 28 0 418678400 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686651611632 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17262] ppid=17242 vsize=28770672 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17262/stat : 17262 (java) S 17242 17242 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418678400 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686650559072 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17263] ppid=17242 vsize=28770672 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17263/stat : 17263 (java) S 17242 17242 15751 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 418678400 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686649506352 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17353] ppid=17242 vsize=28770672 memory=0 CPUtime=2.29 cores=0-7 /proc/17244/task/17353/stat : 17353 (java) R 17242 17242 15751 0 -1 4202560 112 0 0 0 229 0 0 0 20 0 28 0 418678551 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686636092104 139687053153179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17354] ppid=17242 vsize=28770672 memory=0 CPUtime=2.2 cores=0-7 /proc/17244/task/17354/stat : 17354 (java) R 17242 17242 15751 0 -1 4202560 79 0 0 0 220 0 0 0 20 0 28 0 418678551 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686633987784 139687053634677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17355] ppid=17242 vsize=28770672 memory=0 CPUtime=1.99 cores=0-7 /proc/17244/task/17355/stat : 17355 (java) R 17242 17242 15751 0 -1 4202560 498 0 0 0 199 0 0 0 20 0 28 0 418678551 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686638199304 139687057765368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17356] ppid=17242 vsize=28770672 memory=0 CPUtime=1.86 cores=0-7 /proc/17244/task/17356/stat : 17356 (java) R 17242 17242 15751 0 -1 4202560 86 0 0 0 186 0 0 0 20 0 28 0 418678551 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686631884008 139687054119963 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17357] ppid=17242 vsize=28770672 memory=0 CPUtime=2.02 cores=0-7 /proc/17244/task/17357/stat : 17357 (java) R 17242 17242 15751 0 -1 4202560 131 0 0 0 202 0 0 0 20 0 28 0 418678551 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686429316072 139687055285561 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17358] ppid=17242 vsize=28770672 memory=0 CPUtime=2.26 cores=0-7 /proc/17244/task/17358/stat : 17358 (java) R 17242 17242 15751 0 -1 4202560 76 0 0 0 226 0 0 0 20 0 28 0 418678551 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686632935328 139687053153490 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17360] ppid=17242 vsize=28770672 memory=0 CPUtime=2.34 cores=0-7 /proc/17244/task/17360/stat : 17360 (java) R 17242 17242 15751 0 -1 4202560 68 0 0 0 234 0 0 0 20 0 28 0 418678551 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686635040584 139687056017916 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17361] ppid=17242 vsize=28770672 memory=0 CPUtime=2.21 cores=0-7 /proc/17244/task/17361/stat : 17361 (java) R 17242 17242 15751 0 -1 4202560 166 0 0 0 221 0 0 0 20 0 28 0 418678551 29461168128 83990 33554432000 4194304 4196468 140727299341728 139686637146632 139687058842927 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 Current children cumulated CPU time: 29.95 s Current children cumulated vsize: 28883800 KiB Current children cumulated memory: 337412 KiB [startup+4.7012 s] /proc/loadavg: 6.95 6.98 6.90 12/219 17361 /proc/meminfo: memFree=30699732/32770624 swapFree=66947516/67108860 [pid=17242] ppid=17239 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17242/stat : 17242 (xcsp3-exec) S 17239 17242 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418678394 115843072 363 33554432000 4194304 5098028 140733104487136 140733104485240 139867115917948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11620352 140733104493430 140733104493673 140733104493673 140733104496586 0 /proc/17242/statm: 28282 363 305 221 0 87 0 [pid=17244] ppid=17242 vsize=28770672 memory=357964 CPUtime=30.66 cores=0-7 /proc/17244/stat : 17244 (java) S 17242 17242 15751 0 -1 1077944320 44913 0 0 0 3037 29 0 0 20 0 19 0 418678394 29461168128 89491 33554432000 4194304 4196468 140727299341728 140727299324272 139687408389879 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 /proc/17244/statm: 7192668 89491 3530 1 0 7153770 0 [pid=17244/tid=17245] ppid=17242 vsize=28770672 memory=0 CPUtime=1.14 cores=0-7 /proc/17244/task/17245/stat : 17245 (java) S 17242 17242 15751 0 -1 1077944384 10460 0 0 0 108 6 0 0 20 0 19 0 418678394 29461168128 89491 33554432000 4194304 4196468 140727299341728 139687412632720 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17246] ppid=17242 vsize=28770672 memory=1452 CPUtime=0.01 cores=0-7 /proc/17244/task/17246/stat : 17246 (java) S 17242 17242 15751 0 -1 1077944384 26 0 0 0 0 1 0 0 20 0 19 0 418678395 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686959815312 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17247] ppid=17242 vsize=28770672 memory=325428 CPUtime=0 cores=0-7 /proc/17244/task/17247/stat : 17247 (java) S 17242 17242 15751 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 418678395 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686958762512 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17248] ppid=17242 vsize=28770672 memory=7954892343578339915 CPUtime=0.01 cores=0-7 /proc/17244/task/17248/stat : 17248 (java) S 17242 17242 15751 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 19 0 418678395 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686957709712 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17249] ppid=17242 vsize=28770672 memory=56 CPUtime=0.02 cores=0-7 /proc/17244/task/17249/stat : 17249 (java) S 17242 17242 15751 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 19 0 418678395 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686956656912 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17250] ppid=17242 vsize=28770672 memory=13877 CPUtime=0 cores=0-7 /proc/17244/task/17250/stat : 17250 (java) S 17242 17242 15751 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 418678395 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686955605136 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17251] ppid=17242 vsize=28770672 memory=26820 CPUtime=0.01 cores=0-7 /proc/17244/task/17251/stat : 17251 (java) S 17242 17242 15751 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 19 0 418678395 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686954552336 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17252] ppid=17242 vsize=28770672 memory=0 CPUtime=0.01 cores=0-7 /proc/17244/task/17252/stat : 17252 (java) S 17242 17242 15751 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 418678395 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686953499536 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17253] ppid=17242 vsize=28770672 memory=0 CPUtime=0 cores=0-7 /proc/17244/task/17253/stat : 17253 (java) S 17242 17242 15751 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 418678395 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686952446736 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17254] ppid=17242 vsize=28770672 memory=576460758266962493 CPUtime=0.01 cores=0-7 /proc/17244/task/17254/stat : 17254 (java) S 17242 17242 15751 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 19 0 418678397 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686658980416 139687408401026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17255] ppid=17242 vsize=28770672 memory=288291069207265230 CPUtime=0 cores=0-7 /proc/17244/task/17255/stat : 17255 (java) S 17242 17242 15751 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 418678397 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686657926240 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17256] ppid=17242 vsize=28770672 memory=4410491025064460320 CPUtime=0 cores=0-7 /proc/17244/task/17256/stat : 17256 (java) S 17242 17242 15751 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 418678397 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686656873344 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17257] ppid=17242 vsize=28770672 memory=1 CPUtime=0 cores=0-7 /proc/17244/task/17257/stat : 17257 (java) S 17242 17242 15751 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 418678400 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686655821296 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17258] ppid=17242 vsize=28770672 memory=0 CPUtime=2.86 cores=0-7 /proc/17244/task/17258/stat : 17258 (java) R 17242 17242 15751 0 -1 4202560 8737 0 0 0 283 3 0 0 20 0 19 0 418678400 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686654755704 139687394545166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17259] ppid=17242 vsize=28770672 memory=0 CPUtime=2.84 cores=0-7 /proc/17244/task/17259/stat : 17259 (java) R 17242 17242 15751 0 -1 4202560 7143 0 0 0 280 4 0 0 20 0 19 0 418678400 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686653703256 139687393311632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17260] ppid=17242 vsize=28770672 memory=0 CPUtime=3.01 cores=0-7 /proc/17244/task/17260/stat : 17260 (java) S 17242 17242 15751 0 -1 1077944384 6617 0 0 0 300 1 0 0 20 0 19 0 418678400 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686652644848 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17261] ppid=17242 vsize=28770672 memory=277 CPUtime=1.3 cores=0-7 /proc/17244/task/17261/stat : 17261 (java) S 17242 17242 15751 0 -1 1077944384 7026 0 0 0 127 3 0 0 20 0 19 0 418678400 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686651611632 139687408401026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 [pid=17244/tid=17262] ppid=17242 vsize=28770672 memory=149086904813462 CPUtime=0 cores=0-7 /proc/17244/task/17262/stat : 17262 (java) S 17242 17242 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 418678400 29461168128 89491 33554432000 4194304 4196468 140727299341728 139686650559072 139687408400085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140727299347434 140727299347606 140727299347606 140727299350479 0 Current children cumulated CPU time: 30.66 s Current children cumulated vsize: 28883800 KiB Current children cumulated memory: 359416 KiB Child status: 0 Real time (s): 4.77154 CPU time (s): 30.7551 CPU user time (s): 30.4452 CPU system time (s): 0.309869 CPU usage (%): 644.553 Max. virtual memory (cumulated for all children) (KiB): 28883800 Max. memory (cumulated for all children) (KiB): 359416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 30.4452 system time used= 0.309869 maximum resident set size= 358688 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45999 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5550 involuntary context switches= 1028 # summary of solver processes directly reported to runsolver: # pid: 17242 # total CPU time (s): 30.7551 # total CPU user time (s): 30.4452 # total CPU system time (s): 0.309869 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.050847 second user time and 0.103814 second system time The end
Begin job on node117 at 2019-09-14 04:15:22 IDJOB=4393828 IDBENCH=126809 IDSOLVER=2841 FILE ID=node117/4393828-1568427365 RUNJOBID= node117-1568427144-15778 PBS_JOBID= 21702295 Free space on /tmp= 61184 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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 /tmp/evaluation-result-4393828-1568427365/watcher-4393828-1568427365 -o /tmp/evaluation-result-4393828-1568427365/solver-4393828-1568427365 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 331479986 HOME/instance-4393828-1568427365.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5e70d8b90a79902ca57f9a23b37af6a1 RANDOM SEED=331479986 node117.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.75 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.75 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.75 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.75 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: 30953976 kB MemAvailable: 31867192 kB Buffers: 138452 kB Cached: 1043640 kB SwapCached: 51464 kB Active: 768900 kB Inactive: 466448 kB Active(anon): 18704 kB Inactive(anon): 58832 kB Active(file): 750196 kB Inactive(file): 407616 kB Unevictable: 110108 kB Mlocked: 110108 kB SwapTotal: 67108860 kB SwapFree: 66947516 kB Dirty: 26336 kB Writeback: 8 kB AnonPages: 113272 kB Mapped: 33448 kB Shmem: 15436 kB Slab: 171408 kB SReclaimable: 142476 kB SUnreclaim: 28932 kB KernelStack: 3376 kB PageTables: 5264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497836 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61160 MiB End job on node117 at 2019-09-14 04:15:27