Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 5 | 461.889 | 58.8854 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-10-20-1.xml |
MD5SUM | 4579a6cf23fef813b27c8fe20d1b5728 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 27.9238 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 640 |
Number of constraints | 621 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":2,"count":400},{"size":5,"count":200},{"size":20,"count":20},{"size":21,"count":20}] |
Minimum variable degree | 2 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":2,"count":230},{"degree":3,"count":390},{"degree":11,"count":20}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 20 |
Distribution of constraint arities | [{"arity":2,"count":210},{"arity":3,"count":390},{"arity":11,"count":20},{"arity":20,"count":1}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 200 |
Distribution of constraint types | [{"type":"extension","count":200},{"type":"intension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"element","count":200}] |
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-4393964-1568447460.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393964-1568447460.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 3.36/1.11 c solve instance... 3.89/1.23 o 9 3.89/1.24 o 8 4.63/1.31 o 7 7.67/1.77 o 6 24.98/3.94 o 5 461.79/58.87 s OPTIMUM FOUND 461.79/58.87 v <instantiation> 461.79/58.87 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] p[15] p[16] p[17] p[18] p[19] 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[0][15] np[0][16] np[0][17] np[0][18] np[0][19] 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[1][15] np[1][16] np[1][17] np[1][18] np[1][19] 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[2][15] np[2][16] np[2][17] np[2][18] np[2][19] 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[3][15] np[3][16] np[3][17] np[3][18] np[3][19] 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[4][15] np[4][16] np[4][17] np[4][18] np[4][19] 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[5][15] np[5][16] np[5][17] np[5][18] np[5][19] 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[6][15] np[6][16] np[6][17] np[6][18] np[6][19] 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[7][15] np[7][16] np[7][17] np[7][18] np[7][19] 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[8][15] np[8][16] np[8][17] np[8][18] np[8][19] 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[9][15] np[9][16] np[9][17] np[9][18] np[9][19] 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[0][15] r[0][16] r[0][17] r[0][18] r[0][19] 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[1][15] r[1][16] r[1][17] r[1][18] r[1][19] 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[2][15] r[2][16] r[2][17] r[2][18] r[2][19] 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[3][15] r[3][16] r[3][17] r[3][18] r[3][19] 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[4][15] r[4][16] r[4][17] r[4][18] r[4][19] 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[5][15] r[5][16] r[5][17] r[5][18] r[5][19] 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[6][15] r[6][16] r[6][17] r[6][18] r[6][19] 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[7][15] r[7][16] r[7][17] r[7][18] r[7][19] 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[8][15] r[8][16] r[8][17] r[8][18] r[8][19] 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[9][15] r[9][16] r[9][17] r[9][18] r[9][19] 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[0][15] o[0][16] o[0][17] o[0][18] o[0][19] 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[1][15] o[1][16] o[1][17] o[1][18] o[1][19] 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[2][15] o[2][16] o[2][17] o[2][18] o[2][19] 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[3][15] o[3][16] o[3][17] o[3][18] o[3][19] 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[4][15] o[4][16] o[4][17] o[4][18] o[4][19] 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[5][15] o[5][16] o[5][17] o[5][18] o[5][19] 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[6][15] o[6][16] o[6][17] o[6][18] o[6][19] 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[7][15] o[7][16] o[7][17] o[7][18] o[7][19] 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[8][15] o[8][16] o[8][17] o[8][18] o[8][19] 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[9][15] o[9][16] o[9][17] o[9][18] o[9][19] 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] so[15] so[16] so[17] so[18] so[19] </list> 461.79/58.87 v <values>15 19 13 0 9 1 18 4 2 8 16 3 11 10 6 7 14 12 5 17 1 1 2 2 2 2 2 2 3 3 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 1 2 2 2 3 3 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 3 4 0 1 1 1 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 4 0 0 0 1 1 1 1 2 2 3 3 3 3 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 1 2 2 3 3 3 3 3 3 3 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 3 4 4 0 0 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 1 2 2 3 3 4 4 4 4 1 2 2 2 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 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 0 0 0 1 1 0 1 0 1 0 0 0 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 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 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 3 4 5 5 5 5 4 5 5 5 5 5 4 4 5 5 4 4 2 </values> 461.79/58.87 v </instantiation>
OK 5
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 (15125 MiB free) memory of node 1: 16384 MiB (15591 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393964-1568447460/watcher-4393964-1568447460 -o /tmp/evaluation-result-4393964-1568447460/solver-4393964-1568447460 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 557967313 HOME/instance-4393964-1568447460.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=16207, runsolver pid=16204 [startup+0.100133 s]* /proc/loadavg: 7.79 8.11 7.92 3/212 16228 /proc/meminfo: memFree=31438052/32770624 swapFree=66982588/67108860 [pid=16207] ppid=16204 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16207/stat : 16207 (xcsp3-exec) S 16204 16207 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421008660 115843072 363 33554432000 4194304 5098028 140734211801488 140734211799592 140565308150396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24924160 140734211806070 140734211806313 140734211806313 140734211809226 0 /proc/16207/statm: 28282 363 304 221 0 87 0 [pid=16209] ppid=16207 vsize=28227388 memory=29516 CPUtime=0.12 cores=0-7 /proc/16209/stat : 16209 (java) S 16207 16207 15998 0 -1 1077944320 5783 0 0 0 11 1 0 0 20 0 20 0 421008660 28904845312 7379 33554432000 4194304 4196468 140720944121520 140720944104064 139886954671863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 /proc/16209/statm: 7056847 7379 3149 1 0 7019032 0 [pid=16209/tid=16210] ppid=16207 vsize=28227388 memory=-2177352373413752899 CPUtime=0.08 cores=0-7 /proc/16209/task/16210/stat : 16210 (java) R 16207 16207 15998 0 -1 4202560 3683 0 0 0 8 0 0 0 20 0 20 0 421008660 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886958898336 139886954683798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16211] ppid=16207 vsize=28227388 memory=732369828643101669 CPUtime=0 cores=0-7 /proc/16209/task/16211/stat : 16211 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886907292688 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16212] ppid=16207 vsize=28227388 memory=139690305648256 CPUtime=0 cores=0-7 /proc/16209/task/16212/stat : 16212 (java) S 16207 16207 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886906240144 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16213] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16213/stat : 16213 (java) S 16207 16207 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886905187088 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16214] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16214/stat : 16214 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886904134544 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16215] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16215/stat : 16215 (java) S 16207 16207 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886903081488 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16216] ppid=16207 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16209/task/16216/stat : 16216 (java) S 16207 16207 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886902028944 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16217] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16217/stat : 16217 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886900975888 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16218] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16218/stat : 16218 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886899923344 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16219] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16219/stat : 16219 (java) S 16207 16207 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008663 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886070823664 139886954683010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16220] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16220/stat : 16220 (java) S 16207 16207 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421008663 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886069769888 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16221] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16221/stat : 16221 (java) S 16207 16207 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421008663 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886068716784 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16222] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16222/stat : 16222 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008666 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886067665360 139886954690459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16223] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16223/stat : 16223 (java) S 16207 16207 15998 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 421008666 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886066612464 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16224] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16224/stat : 16224 (java) S 16207 16207 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008666 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886065559920 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16225] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16225/stat : 16225 (java) S 16207 16207 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008666 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886064506864 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16226] ppid=16207 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/16209/task/16226/stat : 16226 (java) R 16207 16207 15998 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 20 0 421008666 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886063454320 139886954683798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16227] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16227/stat : 16227 (java) S 16207 16207 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008666 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886062402528 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16228] ppid=16207 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16209/task/16228/stat : 16228 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008666 28904845312 7379 33554432000 4194304 4196468 140720944121520 139886061350064 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30968 KiB [startup+0.210117 s]* /proc/loadavg: 7.79 8.11 7.92 3/212 16228 /proc/meminfo: memFree=31423620/32770624 swapFree=66982588/67108860 [pid=16207] ppid=16204 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16207/stat : 16207 (xcsp3-exec) S 16204 16207 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421008660 115843072 363 33554432000 4194304 5098028 140734211801488 140734211799592 140565308150396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24924160 140734211806070 140734211806313 140734211806313 140734211809226 0 /proc/16207/statm: 28282 363 304 221 0 87 0 [pid=16209] ppid=16207 vsize=28227388 memory=40832 CPUtime=0.33 cores=0-7 /proc/16209/stat : 16209 (java) S 16207 16207 15998 0 -1 1077944320 9500 0 0 0 30 3 0 0 20 0 20 0 421008660 28904845312 10208 33554432000 4194304 4196468 140720944121520 140720944104064 139886954671863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 /proc/16209/statm: 7056847 10208 3260 1 0 7019032 0 [pid=16209/tid=16210] ppid=16207 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7 /proc/16209/task/16210/stat : 16210 (java) R 16207 16207 15998 0 -1 4202560 6644 0 0 0 17 2 0 0 20 0 20 0 421008660 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886958903776 139886954683798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16211] ppid=16207 vsize=28227388 memory=732369828643101669 CPUtime=0 cores=0-7 /proc/16209/task/16211/stat : 16211 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886907292688 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16212] ppid=16207 vsize=28227388 memory=139690305648256 CPUtime=0 cores=0-7 /proc/16209/task/16212/stat : 16212 (java) S 16207 16207 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886906240144 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16213] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16213/stat : 16213 (java) S 16207 16207 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886905187088 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16214] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16214/stat : 16214 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886904134544 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16215] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16215/stat : 16215 (java) S 16207 16207 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886903081488 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16216] ppid=16207 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16209/task/16216/stat : 16216 (java) S 16207 16207 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886902028944 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16217] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16217/stat : 16217 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886900975888 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16218] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16218/stat : 16218 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886899923344 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16219] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16219/stat : 16219 (java) S 16207 16207 15998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421008663 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886070823664 139886954683010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16220] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16220/stat : 16220 (java) S 16207 16207 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421008663 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886069769888 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16221] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16221/stat : 16221 (java) S 16207 16207 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421008663 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886068716784 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16222] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16222/stat : 16222 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008666 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886067665360 139886954690459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16223] ppid=16207 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/16209/task/16223/stat : 16223 (java) S 16207 16207 15998 0 -1 1077944384 727 0 0 0 2 0 0 0 20 0 20 0 421008666 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886066612464 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16224] ppid=16207 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16209/task/16224/stat : 16224 (java) S 16207 16207 15998 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 421008666 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886065559920 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16225] ppid=16207 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/16209/task/16225/stat : 16225 (java) S 16207 16207 15998 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 421008666 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886064506864 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16226] ppid=16207 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/16209/task/16226/stat : 16226 (java) S 16207 16207 15998 0 -1 1077944384 721 0 0 0 7 0 0 0 20 0 20 0 421008666 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886063454320 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16227] ppid=16207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16227/stat : 16227 (java) S 16207 16207 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008666 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886062402528 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16228] ppid=16207 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/16209/task/16228/stat : 16228 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008666 28904845312 10208 33554432000 4194304 4196468 140720944121520 139886061350064 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42284 KiB [startup+0.309659 s]* /proc/loadavg: 7.25 7.99 7.89 3/212 16228 /proc/meminfo: memFree=31418160/32770624 swapFree=66982588/67108860 [pid=16207] ppid=16204 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16207/stat : 16207 (xcsp3-exec) S 16204 16207 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421008660 115843072 363 33554432000 4194304 5098028 140734211801488 140734211799592 140565308150396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24924160 140734211806070 140734211806313 140734211806313 140734211809226 0 /proc/16207/statm: 28282 363 304 221 0 87 0 [pid=16209] ppid=16207 vsize=28231644 memory=49820 CPUtime=0.52 cores=0-7 /proc/16209/stat : 16209 (java) S 16207 16207 15998 0 -1 1077944320 10823 0 0 0 48 4 0 0 20 0 20 0 421008660 28909203456 12455 33554432000 4194304 4196468 140720944121520 140720944104064 139886954671863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 /proc/16209/statm: 7057911 12455 3347 1 0 7019032 0 [pid=16209/tid=16210] ppid=16207 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/16209/task/16210/stat : 16210 (java) R 16207 16207 15998 0 -1 4202560 7738 0 0 0 27 3 0 0 20 0 20 0 421008660 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886958902976 139886934197151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16211] ppid=16207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16211/stat : 16211 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886907292688 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16212] ppid=16207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16212/stat : 16212 (java) S 16207 16207 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008661 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886906240144 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16213] ppid=16207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16213/stat : 16213 (java) S 16207 16207 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008661 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886905187088 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16214] ppid=16207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16214/stat : 16214 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886904134544 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16215] ppid=16207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16215/stat : 16215 (java) S 16207 16207 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008661 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886903081488 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16216] ppid=16207 vsize=28231644 memory=139690187516591 CPUtime=0 cores=0-7 /proc/16209/task/16216/stat : 16216 (java) S 16207 16207 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008661 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886902028944 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16217] ppid=16207 vsize=28231644 memory=139690187518896 CPUtime=0 cores=0-7 /proc/16209/task/16217/stat : 16217 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886900975888 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16218] ppid=16207 vsize=28231644 memory=139690187521200 CPUtime=0 cores=0-7 /proc/16209/task/16218/stat : 16218 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886899923344 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16219] ppid=16207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16219/stat : 16219 (java) S 16207 16207 15998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421008663 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886070823664 139886954683010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16220] ppid=16207 vsize=28231644 memory=279380375056272 CPUtime=0 cores=0-7 /proc/16209/task/16220/stat : 16220 (java) S 16207 16207 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421008663 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886069769888 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16221] ppid=16207 vsize=28231644 memory=279380375053968 CPUtime=0 cores=0-7 /proc/16209/task/16221/stat : 16221 (java) S 16207 16207 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421008663 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886068716784 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16222] ppid=16207 vsize=28231644 memory=279380375060880 CPUtime=0 cores=0-7 /proc/16209/task/16222/stat : 16222 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008666 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886067665360 139886954690459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16223] ppid=16207 vsize=28231644 memory=279380375002128 CPUtime=0.03 cores=0-7 /proc/16209/task/16223/stat : 16223 (java) R 16207 16207 15998 0 -1 4202560 806 0 0 0 3 0 0 0 20 0 20 0 421008666 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886066612464 139886938172299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16224] ppid=16207 vsize=28231644 memory=279380375074704 CPUtime=0.03 cores=0-7 /proc/16209/task/16224/stat : 16224 (java) S 16207 16207 15998 0 -1 1077944384 64 0 0 0 3 0 0 0 20 0 20 0 421008666 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886065559920 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16225] ppid=16207 vsize=28231644 memory=279380375081616 CPUtime=0.01 cores=0-7 /proc/16209/task/16225/stat : 16225 (java) S 16207 16207 15998 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 421008666 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886064506864 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16226] ppid=16207 vsize=28231644 memory=279380375079312 CPUtime=0.12 cores=0-7 /proc/16209/task/16226/stat : 16226 (java) S 16207 16207 15998 0 -1 1077944384 829 0 0 0 12 0 0 0 20 0 20 0 421008666 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886063454320 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16227] ppid=16207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16227/stat : 16227 (java) S 16207 16207 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421008666 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886062402528 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16228] ppid=16207 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/16209/task/16228/stat : 16228 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008666 28909203456 12455 33554432000 4194304 4196468 140720944121520 139886061350064 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51272 KiB [startup+0.701035 s] /proc/loadavg: 7.25 7.99 7.89 3/212 16228 /proc/meminfo: memFree=31405628/32770624 swapFree=66982588/67108860 [pid=16207] ppid=16204 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16207/stat : 16207 (xcsp3-exec) S 16204 16207 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421008660 115843072 363 33554432000 4194304 5098028 140734211801488 140734211799592 140565308150396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24924160 140734211806070 140734211806313 140734211806313 140734211809226 0 /proc/16207/statm: 28282 363 304 221 0 87 0 [pid=16209] ppid=16207 vsize=28233768 memory=83660 CPUtime=1.54 cores=0-7 /proc/16209/stat : 16209 (java) S 16207 16207 15998 0 -1 1077944320 15116 0 0 0 148 6 0 0 20 0 20 0 421008660 28911378432 20915 33554432000 4194304 4196468 140720944121520 140720944104064 139886954671863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 /proc/16209/statm: 7058442 20915 3451 1 0 7019544 0 [pid=16209/tid=16210] ppid=16207 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/16209/task/16210/stat : 16210 (java) R 16207 16207 15998 0 -1 4202560 9342 0 0 0 63 4 0 0 20 0 20 0 421008660 28911378432 20915 33554432000 4194304 4196468 140720944121520 139886958908800 139886936065597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16211] ppid=16207 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16211/stat : 16211 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421008661 28911378432 20915 33554432000 4194304 4196468 140720944121520 139886907292688 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16212] ppid=16207 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16212/stat : 16212 (java) S 16207 16207 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008661 28911378432 20915 33554432000 4194304 4196468 140720944121520 139886906240144 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16213] ppid=16207 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/16209/task/16213/stat : 16213 (java) S 16207 16207 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421008661 28911378432 20915 33554432000 4194304 4196468 140720944121520 139886905187088 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 ################ # More data... # ################ [pid=16209/tid=16226] ppid=16207 vsize=28769356 memory=1328 CPUtime=1.47 cores=0-7 /proc/16209/task/16226/stat : 16226 (java) S 16207 16207 15998 0 -1 1077944384 15747 0 0 0 143 4 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886063454320 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16227] ppid=16207 vsize=28769356 memory=780 CPUtime=0 cores=0-7 /proc/16209/task/16227/stat : 16227 (java) S 16207 16207 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886062402528 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16228] ppid=16207 vsize=28769356 memory=4160 CPUtime=0.02 cores=0-7 /proc/16209/task/16228/stat : 16228 (java) S 16207 16207 15998 0 -1 1077944384 901 0 0 0 2 0 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886061350064 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16270] ppid=16207 vsize=28769356 memory=7692 CPUtime=52.58 cores=0-7 /proc/16209/task/16270/stat : 16270 (java) R 16207 16207 15998 0 -1 4202560 1348 0 0 0 5257 1 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886045830216 139886576005221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16271] ppid=16207 vsize=28769356 memory=512 CPUtime=52.59 cores=0-7 /proc/16209/task/16271/stat : 16271 (java) R 16207 16207 15998 0 -1 4202560 1222 0 0 0 5258 1 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886042674040 139886574972781 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16272] ppid=16207 vsize=28769356 memory=1564 CPUtime=52.49 cores=0-7 /proc/16209/task/16272/stat : 16272 (java) R 16207 16207 15998 0 -1 4202560 6381 0 0 0 5243 6 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886046883912 139886576982617 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16273] ppid=16207 vsize=28769356 memory=928 CPUtime=52.23 cores=0-7 /proc/16209/task/16273/stat : 16273 (java) R 16207 16207 15998 0 -1 4202560 2175 0 0 0 5221 2 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886041620600 139886577681247 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16274] ppid=16207 vsize=28769356 memory=3772 CPUtime=52.7 cores=0-7 /proc/16209/task/16274/stat : 16274 (java) R 16207 16207 15998 0 -1 4202560 2010 0 0 0 5269 1 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886044780800 139886574432364 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16275] ppid=16207 vsize=28769356 memory=1440 CPUtime=52.51 cores=0-7 /proc/16209/task/16275/stat : 16275 (java) R 16207 16207 15998 0 -1 4202560 1306 0 0 0 5251 0 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886050041248 139886579375442 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16276] ppid=16207 vsize=28769356 memory=920 CPUtime=52.32 cores=0-7 /proc/16209/task/16276/stat : 16276 (java) R 16207 16207 15998 0 -1 4202560 3653 0 0 0 5231 1 0 0 20 0 28 0 421009056 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886043726056 139886577681191 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16277] ppid=16207 vsize=28769356 memory=1984 CPUtime=52.88 cores=0-7 /proc/16209/task/16277/stat : 16277 (java) R 16207 16207 15998 0 -1 4202560 1308 0 0 0 5287 1 0 0 20 0 28 0 421009057 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886048989848 139886574432541 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 Current children cumulated CPU time: 452.53 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 359168 KiB [startup+58.4021 s] /proc/loadavg: 7.77 8.02 7.90 10/220 16279 /proc/meminfo: memFree=31108996/32770624 swapFree=66982588/67108860 [pid=16207] ppid=16204 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16207/stat : 16207 (xcsp3-exec) S 16204 16207 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421008660 115843072 363 33554432000 4194304 5098028 140734211801488 140734211799592 140565308150396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24924160 140734211806070 140734211806313 140734211806313 140734211809226 0 /proc/16207/statm: 28282 363 304 221 0 87 0 [pid=16209] ppid=16207 vsize=28769356 memory=357716 CPUtime=458.91 cores=0-7 /proc/16209/stat : 16209 (java) S 16207 16207 15998 0 -1 1077944320 111441 0 0 0 45815 76 0 0 20 0 28 0 421008660 29459820544 89429 33554432000 4194304 4196468 140720944121520 140720944104064 139886954671863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 /proc/16209/statm: 7192339 89429 3538 1 0 7153441 0 [pid=16209/tid=16210] ppid=16207 vsize=28769356 memory=357716 CPUtime=1.12 cores=0-7 /proc/16209/task/16210/stat : 16210 (java) S 16207 16207 15998 0 -1 1077944384 10299 0 0 0 106 6 0 0 20 0 28 0 421008660 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886958912640 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16211] ppid=16207 vsize=28769356 memory=1060 CPUtime=0.28 cores=0-7 /proc/16209/task/16211/stat : 16211 (java) S 16207 16207 15998 0 -1 1077944384 1824 0 0 0 24 4 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886907292688 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16212] ppid=16207 vsize=28769356 memory=2828 CPUtime=0.26 cores=0-7 /proc/16209/task/16212/stat : 16212 (java) S 16207 16207 15998 0 -1 1077944384 1677 0 0 0 22 4 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886906240144 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16213] ppid=16207 vsize=28769356 memory=756 CPUtime=0.28 cores=0-7 /proc/16209/task/16213/stat : 16213 (java) S 16207 16207 15998 0 -1 1077944384 1293 0 0 0 24 4 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886905187088 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16214] ppid=16207 vsize=28769356 memory=1548 CPUtime=0.27 cores=0-7 /proc/16209/task/16214/stat : 16214 (java) S 16207 16207 15998 0 -1 1077944384 1771 0 0 0 23 4 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886904134544 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16215] ppid=16207 vsize=28769356 memory=7980 CPUtime=0.27 cores=0-7 /proc/16209/task/16215/stat : 16215 (java) S 16207 16207 15998 0 -1 1077944384 989 0 0 0 24 3 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886903081488 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16216] ppid=16207 vsize=28769356 memory=1164 CPUtime=0.25 cores=0-7 /proc/16209/task/16216/stat : 16216 (java) S 16207 16207 15998 0 -1 1077944384 1223 0 0 0 22 3 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886902028944 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16217] ppid=16207 vsize=28769356 memory=9580 CPUtime=0.29 cores=0-7 /proc/16209/task/16217/stat : 16217 (java) S 16207 16207 15998 0 -1 1077944384 6042 0 0 0 25 4 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886900975888 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16218] ppid=16207 vsize=28769356 memory=1452 CPUtime=0.27 cores=0-7 /proc/16209/task/16218/stat : 16218 (java) S 16207 16207 15998 0 -1 1077944384 1467 0 0 0 23 4 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886899923344 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16219] ppid=16207 vsize=28769356 memory=3620 CPUtime=0.06 cores=0-7 /proc/16209/task/16219/stat : 16219 (java) S 16207 16207 15998 0 -1 1077944384 3975 0 0 0 5 1 0 0 20 0 28 0 421008663 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886070823664 139886954683010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16220] ppid=16207 vsize=28769356 memory=22344 CPUtime=0 cores=0-7 /proc/16209/task/16220/stat : 16220 (java) S 16207 16207 15998 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 421008663 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886069769952 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16221] ppid=16207 vsize=28769356 memory=2004 CPUtime=0 cores=0-7 /proc/16209/task/16221/stat : 16221 (java) S 16207 16207 15998 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 421008663 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886068716800 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16222] ppid=16207 vsize=28769356 memory=33 CPUtime=0 cores=0-7 /proc/16209/task/16222/stat : 16222 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886067665360 139886954690459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16223] ppid=16207 vsize=28769356 memory=6655300316396806192 CPUtime=3.77 cores=0-7 /proc/16209/task/16223/stat : 16223 (java) S 16207 16207 15998 0 -1 1077944384 13479 0 0 0 374 3 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886066612464 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16224] ppid=16207 vsize=28769356 memory=8547710663883855152 CPUtime=3.85 cores=0-7 /proc/16209/task/16224/stat : 16224 (java) S 16207 16207 15998 0 -1 1077944384 14430 0 0 0 382 3 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886065559920 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16225] ppid=16207 vsize=28769356 memory=-3621219749712857549 CPUtime=3.94 cores=0-7 /proc/16209/task/16225/stat : 16225 (java) S 16207 16207 15998 0 -1 1077944384 13244 0 0 0 389 5 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886064506864 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16226] ppid=16207 vsize=28769356 memory=-3040564339240289270 CPUtime=1.47 cores=0-7 /proc/16209/task/16226/stat : 16226 (java) S 16207 16207 15998 0 -1 1077944384 15747 0 0 0 143 4 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886063454320 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16227] ppid=16207 vsize=28769356 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/16209/task/16227/stat : 16227 (java) S 16207 16207 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886062402528 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16228] ppid=16207 vsize=28769356 memory=7811044310603950144 CPUtime=0.02 cores=0-7 /proc/16209/task/16228/stat : 16228 (java) S 16207 16207 15998 0 -1 1077944384 901 0 0 0 2 0 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886061350064 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16270] ppid=16207 vsize=28769356 memory=7811044310603950144 CPUtime=53.38 cores=0-7 /proc/16209/task/16270/stat : 16270 (java) R 16207 16207 15998 0 -1 4202560 1352 0 0 0 5337 1 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886045830216 139886575792524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16271] ppid=16207 vsize=28769356 memory=7811044310603950144 CPUtime=53.39 cores=0-7 /proc/16209/task/16271/stat : 16271 (java) R 16207 16207 15998 0 -1 4202560 1227 0 0 0 5338 1 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886042674040 139886575154887 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16272] ppid=16207 vsize=28769356 memory=7811044310603950144 CPUtime=53.29 cores=0-7 /proc/16209/task/16272/stat : 16272 (java) R 16207 16207 15998 0 -1 4202560 6404 0 0 0 5323 6 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886046883912 139886577027616 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16273] ppid=16207 vsize=28769356 memory=7380671248541445222 CPUtime=53.01 cores=0-7 /proc/16209/task/16273/stat : 16273 (java) R 16207 16207 15998 0 -1 4202560 2197 0 0 0 5299 2 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886041620600 139886572772244 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16274] ppid=16207 vsize=28769356 memory=7594587674001172330 CPUtime=53.5 cores=0-7 /proc/16209/task/16274/stat : 16274 (java) R 16207 16207 15998 0 -1 4202560 2016 0 0 0 5349 1 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886044780800 139886576251072 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16275] ppid=16207 vsize=28769356 memory=7306316804797196914 CPUtime=53.31 cores=0-7 /proc/16209/task/16275/stat : 16275 (java) R 16207 16207 15998 0 -1 4202560 1341 0 0 0 5331 0 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886050041248 139886579375410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16276] ppid=16207 vsize=28769356 memory=7306316804797196914 CPUtime=53.12 cores=0-7 /proc/16209/task/16276/stat : 16276 (java) R 16207 16207 15998 0 -1 4202560 3660 0 0 0 5311 1 0 0 20 0 28 0 421009056 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886043726056 139886575792511 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16277] ppid=16207 vsize=28769356 memory=279380376650080 CPUtime=53.69 cores=0-7 /proc/16209/task/16277/stat : 16277 (java) R 16207 16207 15998 0 -1 4202560 1344 0 0 0 5368 1 0 0 20 0 28 0 421009057 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886048989848 139886574432598 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 Current children cumulated CPU time: 458.91 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 359168 KiB [startup+58.8011 s] /proc/loadavg: 7.77 8.02 7.90 10/220 16279 /proc/meminfo: memFree=31108996/32770624 swapFree=66982588/67108860 [pid=16207] ppid=16204 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16207/stat : 16207 (xcsp3-exec) S 16204 16207 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421008660 115843072 363 33554432000 4194304 5098028 140734211801488 140734211799592 140565308150396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24924160 140734211806070 140734211806313 140734211806313 140734211809226 0 /proc/16207/statm: 28282 363 304 221 0 87 0 [pid=16209] ppid=16207 vsize=28769356 memory=357716 CPUtime=461.79 cores=0-7 /proc/16209/stat : 16209 (java) S 16207 16207 15998 0 -1 1077944320 111542 0 0 0 46103 76 0 0 20 0 28 0 421008660 29459820544 89429 33554432000 4194304 4196468 140720944121520 140720944104064 139886954671863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 /proc/16209/statm: 7192339 89429 3538 1 0 7153441 0 [pid=16209/tid=16210] ppid=16207 vsize=28769356 memory=6791534058613427641 CPUtime=1.12 cores=0-7 /proc/16209/task/16210/stat : 16210 (java) S 16207 16207 15998 0 -1 1077944384 10299 0 0 0 106 6 0 0 20 0 28 0 421008660 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886958912640 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16211] ppid=16207 vsize=28769356 memory=6944656592455097440 CPUtime=0.28 cores=0-7 /proc/16209/task/16211/stat : 16211 (java) S 16207 16207 15998 0 -1 1077944384 1824 0 0 0 24 4 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886907292688 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16212] ppid=16207 vsize=28769356 memory=6944656592455360604 CPUtime=0.26 cores=0-7 /proc/16209/task/16212/stat : 16212 (java) S 16207 16207 15998 0 -1 1077944384 1677 0 0 0 22 4 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886906240144 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16213] ppid=16207 vsize=28769356 memory=6944656592387989600 CPUtime=0.28 cores=0-7 /proc/16209/task/16213/stat : 16213 (java) S 16207 16207 15998 0 -1 1077944384 1293 0 0 0 24 4 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886905187088 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16214] ppid=16207 vsize=28769356 memory=6944656592455097440 CPUtime=0.27 cores=0-7 /proc/16209/task/16214/stat : 16214 (java) S 16207 16207 15998 0 -1 1077944384 1771 0 0 0 23 4 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886904134544 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16215] ppid=16207 vsize=28769356 memory=6944656592455359580 CPUtime=0.27 cores=0-7 /proc/16209/task/16215/stat : 16215 (java) S 16207 16207 15998 0 -1 1077944384 989 0 0 0 24 3 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886903081488 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16216] ppid=16207 vsize=28769356 memory=6944656592455359580 CPUtime=0.25 cores=0-7 /proc/16209/task/16216/stat : 16216 (java) S 16207 16207 15998 0 -1 1077944384 1223 0 0 0 22 3 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886902028944 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16217] ppid=16207 vsize=28769356 memory=6943526294502006880 CPUtime=0.29 cores=0-7 /proc/16209/task/16217/stat : 16217 (java) S 16207 16207 15998 0 -1 1077944384 6042 0 0 0 25 4 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886900975888 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16218] ppid=16207 vsize=28769356 memory=6944656575208382560 CPUtime=0.27 cores=0-7 /proc/16209/task/16218/stat : 16218 (java) S 16207 16207 15998 0 -1 1077944384 1467 0 0 0 23 4 0 0 20 0 28 0 421008661 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886899923344 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16219] ppid=16207 vsize=28769356 memory=6943526294502006880 CPUtime=0.06 cores=0-7 /proc/16209/task/16219/stat : 16219 (java) S 16207 16207 15998 0 -1 1077944384 3975 0 0 0 5 1 0 0 20 0 28 0 421008663 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886070823664 139886954683010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16220] ppid=16207 vsize=28769356 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/16209/task/16220/stat : 16220 (java) S 16207 16207 15998 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 421008663 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886069769952 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16221] ppid=16207 vsize=28769356 memory=7380671248541445222 CPUtime=0 cores=0-7 /proc/16209/task/16221/stat : 16221 (java) S 16207 16207 15998 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 421008663 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886068716800 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16222] ppid=16207 vsize=28769356 memory=7594587674001172330 CPUtime=0 cores=0-7 /proc/16209/task/16222/stat : 16222 (java) S 16207 16207 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886067665360 139886954690459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16223] ppid=16207 vsize=28769356 memory=6791534058613427641 CPUtime=3.77 cores=0-7 /proc/16209/task/16223/stat : 16223 (java) S 16207 16207 15998 0 -1 1077944384 13479 0 0 0 374 3 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886066612464 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16224] ppid=16207 vsize=28769356 memory=288230617509003574 CPUtime=3.85 cores=0-7 /proc/16209/task/16224/stat : 16224 (java) S 16207 16207 15998 0 -1 1077944384 14430 0 0 0 382 3 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886065559920 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16225] ppid=16207 vsize=28769356 memory=15252640887999028 CPUtime=3.94 cores=0-7 /proc/16209/task/16225/stat : 16225 (java) S 16207 16207 15998 0 -1 1077944384 13244 0 0 0 389 5 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886064506864 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16226] ppid=16207 vsize=28769356 memory=984 CPUtime=1.47 cores=0-7 /proc/16209/task/16226/stat : 16226 (java) S 16207 16207 15998 0 -1 1077944384 15747 0 0 0 143 4 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886063454320 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16227] ppid=16207 vsize=28769356 memory=1328 CPUtime=0 cores=0-7 /proc/16209/task/16227/stat : 16227 (java) S 16207 16207 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886062402528 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16228] ppid=16207 vsize=28769356 memory=780 CPUtime=0.02 cores=0-7 /proc/16209/task/16228/stat : 16228 (java) S 16207 16207 15998 0 -1 1077944384 901 0 0 0 2 0 0 0 20 0 28 0 421008666 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886061350064 139886954683010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16270] ppid=16207 vsize=28769356 memory=14008 CPUtime=53.74 cores=0-7 /proc/16209/task/16270/stat : 16270 (java) S 16207 16207 15998 0 -1 1077944384 1372 0 0 0 5373 1 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886045834992 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16271] ppid=16207 vsize=28769356 memory=2120 CPUtime=53.74 cores=0-7 /proc/16209/task/16271/stat : 16271 (java) S 16207 16207 15998 0 -1 1077944384 1272 0 0 0 5373 1 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886042678608 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16272] ppid=16207 vsize=28769356 memory=11976 CPUtime=53.64 cores=0-7 /proc/16209/task/16272/stat : 16272 (java) S 16207 16207 15998 0 -1 1077944384 6422 0 0 0 5358 6 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886046888912 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16273] ppid=16207 vsize=28769356 memory=7692 CPUtime=53.37 cores=0-7 /proc/16209/task/16273/stat : 16273 (java) S 16207 16207 15998 0 -1 1077944384 2214 0 0 0 5335 2 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886041625680 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16274] ppid=16207 vsize=28769356 memory=512 CPUtime=53.86 cores=0-7 /proc/16209/task/16274/stat : 16274 (java) S 16207 16207 15998 0 -1 1077944384 2016 0 0 0 5385 1 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886044783312 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16275] ppid=16207 vsize=28769356 memory=1564 CPUtime=53.71 cores=0-7 /proc/16209/task/16275/stat : 16275 (java) R 16207 16207 15998 0 -1 4202560 1342 0 0 0 5371 0 0 0 20 0 28 0 421009055 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886050041248 139886579375346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16276] ppid=16207 vsize=28769356 memory=928 CPUtime=53.47 cores=0-7 /proc/16209/task/16276/stat : 16276 (java) S 16207 16207 15998 0 -1 1077944384 3660 0 0 0 5346 1 0 0 20 0 28 0 421009056 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886043731408 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 [pid=16209/tid=16277] ppid=16207 vsize=28769356 memory=3772 CPUtime=54.04 cores=0-7 /proc/16209/task/16277/stat : 16277 (java) S 16207 16207 15998 0 -1 1077944384 1344 0 0 0 5403 1 0 0 20 0 28 0 421009057 29459820544 89429 33554432000 4194304 4196468 140720944121520 139886048994896 139886954682069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21331968 140720944129002 140720944129174 140720944129174 140720944132047 0 Current children cumulated CPU time: 461.79 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 359168 KiB Child status: 0 Real time (s): 58.8854 CPU time (s): 461.889 CPU user time (s): 461.111 CPU system time (s): 0.778284 CPU usage (%): 784.386 Max. virtual memory (cumulated for all children) (KiB): 28882484 Max. memory (cumulated for all children) (KiB): 393264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 461.111 system time used= 0.778284 maximum resident set size= 400720 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 112914 page faults= 0 swaps= 0 block input operations= 0 block output operations= 208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9166 involuntary context switches= 7162 # summary of solver processes directly reported to runsolver: # pid: 16207 # total CPU time (s): 461.889 # total CPU user time (s): 461.111 # total CPU system time (s): 0.778284 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.557258 second user time and 0.650346 second system time The end
Begin job on node121 at 2019-09-14 09:50:18 IDJOB=4393964 IDBENCH=140483 IDSOLVER=2841 FILE ID=node121/4393964-1568447460 RUNJOBID= node121-1568447413-16025 PBS_JOBID= 21702353 Free space on /tmp= 61412 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-10-20-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-4393964-1568447460/watcher-4393964-1568447460 -o /tmp/evaluation-result-4393964-1568447460/solver-4393964-1568447460 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 557967313 HOME/instance-4393964-1568447460.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4579a6cf23fef813b27c8fe20d1b5728 RANDOM SEED=557967313 node121.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: 31454588 kB MemAvailable: 31912236 kB Buffers: 179696 kB Cached: 572936 kB SwapCached: 18184 kB Active: 416012 kB Inactive: 357784 kB Active(anon): 7216 kB Inactive(anon): 45776 kB Active(file): 408796 kB Inactive(file): 312008 kB Unevictable: 109108 kB Mlocked: 109108 kB SwapTotal: 67108860 kB SwapFree: 66982588 kB Dirty: 26268 kB Writeback: 0 kB AnonPages: 122496 kB Mapped: 35472 kB Shmem: 23012 kB Slab: 134228 kB SReclaimable: 105356 kB SUnreclaim: 28872 kB KernelStack: 3728 kB PageTables: 5216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498020 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61388 MiB End job on node121 at 2019-09-14 09:51:17