Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 5 | 407.476 | 51.8961 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-10-20-1.xml |
MD5SUM | 81c67383229f275c0057c3a1b360ed12 |
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 | 26.4726 |
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-4407120-1569349010.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407120-1569349010.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.91/1.10 c solve instance... 3.95/1.21 o 9 3.95/1.24 o 8 4.68/1.33 o 7 6.17/1.53 o 6 14.96/2.69 o 5 406.81/51.88 s OPTIMUM FOUND 406.81/51.88 v <instantiation> 406.81/51.88 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> 406.81/51.88 v <values>0 1 9 10 13 4 15 16 18 19 2 3 8 5 6 7 11 12 14 17 0 0 0 0 1 1 2 3 3 3 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 1 1 2 3 3 3 3 3 3 3 3 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 4 0 0 1 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 4 1 1 1 2 2 3 3 3 3 3 3 3 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 1 2 3 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 3 4 4 4 1 2 3 3 4 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 1 1 2 2 3 3 4 4 0 1 1 1 1 1 2 2 3 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 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 0 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 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 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 1 1 1 0 1 0 0 1 1 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 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 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 1 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 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 1 1 1 1 1 0 0 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 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 2 3 4 4 5 5 5 5 5 5 5 5 5 5 4 5 5 4 3 2 </values> 406.81/51.88 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 (10875 MiB free) memory of node 1: 16384 MiB (14338 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407120-1569349010/watcher-4407120-1569349010 -o /tmp/evaluation-result-4407120-1569349010/solver-4407120-1569349010 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569348851-19484 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 752493584 HOME/instance-4407120-1569349010.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=20216, runsolver pid=20213 Current StackSize limit: 8192 KiB [startup+0.100134 s]* /proc/loadavg: 6.47 7.74 8.07 3/212 20237 /proc/meminfo: memFree=25802788/32770624 swapFree=66999808/67108860 [pid=20216] ppid=20213 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20216/stat : 20216 (xcsp3-exec) S 20213 20216 19457 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511165795 115843072 364 33554432000 4194304 5098028 140722526357440 140722526355544 139671968154236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140722526364534 140722526364777 140722526364777 140722526367690 0 /proc/20216/statm: 28282 364 305 221 0 87 0 [pid=20218] ppid=20216 vsize=28227396 memory=29112 CPUtime=0.12 cores=0-7 /proc/20218/stat : 20218 (java) S 20216 20216 19457 0 -1 1077944320 5753 0 0 0 11 1 0 0 20 0 20 0 511165795 28904853504 7278 33554432000 4194304 4196468 140736486926112 140736486908656 140525324766967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 /proc/20218/statm: 7056849 7278 3123 1 0 7019032 0 [pid=20218/tid=20219] ppid=20216 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/20218/task/20219/stat : 20219 (java) R 20216 20216 19457 0 -1 4202560 3650 0 0 0 8 0 0 0 20 0 20 0 511165795 28904853504 7278 33554432000 4194304 4196468 140736486926112 140525329003392 140525308847454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20220] ppid=20216 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/20218/task/20220/stat : 20220 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524876667792 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20221] ppid=20216 vsize=28227396 memory=139928079062656 CPUtime=0 cores=0-7 /proc/20218/task/20221/stat : 20221 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524875614992 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20222] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20222/stat : 20222 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524874562704 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20223] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20223/stat : 20223 (java) S 20216 20216 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524873509904 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20224] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20224/stat : 20224 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524872456592 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20225] ppid=20216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20218/task/20225/stat : 20225 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524871403792 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20226] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20226/stat : 20226 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524870351504 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20227] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20227/stat : 20227 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524869298704 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20228] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20228/stat : 20228 (java) S 20216 20216 19457 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 511165797 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524825877104 140525324778114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20229] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20229/stat : 20229 (java) S 20216 20216 19457 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511165798 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524824823072 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20230] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20230/stat : 20230 (java) S 20216 20216 19457 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511165798 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524823770736 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20231] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20231/stat : 20231 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165801 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524822719056 140525324785563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20232] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20232/stat : 20232 (java) S 20216 20216 19457 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 511165801 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524821665904 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20233] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20233/stat : 20233 (java) S 20216 20216 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511165801 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524704098288 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20234] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20234/stat : 20234 (java) S 20216 20216 19457 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511165801 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524703046000 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20235] ppid=20216 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/20218/task/20235/stat : 20235 (java) S 20216 20216 19457 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 20 0 511165801 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524701993200 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20236] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20236/stat : 20236 (java) S 20216 20216 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511165801 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524700941152 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20237] ppid=20216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20218/task/20237/stat : 20237 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165801 28904853504 7278 33554432000 4194304 4196468 140736486926112 140524699888432 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30568 KiB [startup+0.210718 s]* /proc/loadavg: 6.47 7.74 8.07 2/212 20237 /proc/meminfo: memFree=25789528/32770624 swapFree=66999808/67108860 [pid=20216] ppid=20213 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20216/stat : 20216 (xcsp3-exec) S 20213 20216 19457 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511165795 115843072 364 33554432000 4194304 5098028 140722526357440 140722526355544 139671968154236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140722526364534 140722526364777 140722526364777 140722526367690 0 /proc/20216/statm: 28282 364 305 221 0 87 0 [pid=20218] ppid=20216 vsize=28227396 memory=40772 CPUtime=0.33 cores=0-7 /proc/20218/stat : 20218 (java) S 20216 20216 19457 0 -1 1077944320 9425 0 0 0 30 3 0 0 20 0 20 0 511165795 28904853504 10193 33554432000 4194304 4196468 140736486926112 140736486908656 140525324766967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 /proc/20218/statm: 7056849 10193 3285 1 0 7019032 0 [pid=20218/tid=20219] ppid=20216 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/20218/task/20219/stat : 20219 (java) R 20216 20216 19457 0 -1 4202560 6636 0 0 0 18 2 0 0 20 0 20 0 511165795 28904853504 10193 33554432000 4194304 4196468 140736486926112 140525328996688 140525324778902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20220] ppid=20216 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/20218/task/20220/stat : 20220 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524876667792 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20221] ppid=20216 vsize=28227396 memory=288370304230774400 CPUtime=0 cores=0-7 /proc/20218/task/20221/stat : 20221 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524875614992 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20222] ppid=20216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20218/task/20222/stat : 20222 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524874562704 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20223] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20223/stat : 20223 (java) S 20216 20216 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524873509904 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20224] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20224/stat : 20224 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524872456592 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20225] ppid=20216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20218/task/20225/stat : 20225 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524871403792 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20226] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20226/stat : 20226 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524870351504 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20227] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20227/stat : 20227 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524869298704 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20228] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20228/stat : 20228 (java) S 20216 20216 19457 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 511165797 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524825877104 140525324778114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20229] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20229/stat : 20229 (java) S 20216 20216 19457 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511165798 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524824823072 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20230] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20230/stat : 20230 (java) S 20216 20216 19457 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511165798 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524823770736 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20231] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20231/stat : 20231 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165801 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524822719056 140525324785563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20232] ppid=20216 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/20218/task/20232/stat : 20232 (java) S 20216 20216 19457 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 20 0 511165801 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524821665904 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20233] ppid=20216 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/20218/task/20233/stat : 20233 (java) S 20216 20216 19457 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 511165801 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524704098288 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20234] ppid=20216 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/20218/task/20234/stat : 20234 (java) S 20216 20216 19457 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 511165801 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524703046000 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20235] ppid=20216 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/20218/task/20235/stat : 20235 (java) R 20216 20216 19457 0 -1 4202560 812 0 0 0 7 0 0 0 20 0 20 0 511165801 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524701993200 140525324778902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20236] ppid=20216 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20236/stat : 20236 (java) S 20216 20216 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511165801 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524700941152 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20237] ppid=20216 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20218/task/20237/stat : 20237 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165801 28904853504 10193 33554432000 4194304 4196468 140736486926112 140524699888432 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42228 KiB [startup+0.310503 s]* /proc/loadavg: 6.47 7.74 8.07 3/212 20237 /proc/meminfo: memFree=25782248/32770624 swapFree=66999808/67108860 [pid=20216] ppid=20213 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20216/stat : 20216 (xcsp3-exec) S 20213 20216 19457 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511165795 115843072 364 33554432000 4194304 5098028 140722526357440 140722526355544 139671968154236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140722526364534 140722526364777 140722526364777 140722526367690 0 /proc/20216/statm: 28282 364 305 221 0 87 0 [pid=20218] ppid=20216 vsize=28231652 memory=49484 CPUtime=0.52 cores=0-7 /proc/20218/stat : 20218 (java) S 20216 20216 19457 0 -1 1077944320 10728 0 0 0 48 4 0 0 20 0 20 0 511165795 28909211648 12371 33554432000 4194304 4196468 140736486926112 140736486908656 140525324766967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 /proc/20218/statm: 7057913 12371 3347 1 0 7019032 0 [pid=20218/tid=20219] ppid=20216 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/20218/task/20219/stat : 20219 (java) R 20216 20216 19457 0 -1 4202560 7744 0 0 0 27 2 0 0 20 0 20 0 511165795 28909211648 12437 33554432000 4194304 4196468 140736486926112 140525329004128 140525308847454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20220] ppid=20216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20220/stat : 20220 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524876667792 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20221] ppid=20216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20221/stat : 20221 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524875614992 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20222] ppid=20216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20222/stat : 20222 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524874562704 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20223] ppid=20216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20223/stat : 20223 (java) S 20216 20216 19457 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511165796 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524873509904 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20224] ppid=20216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20224/stat : 20224 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524872456592 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20225] ppid=20216 vsize=28231652 memory=139927954221743 CPUtime=0 cores=0-7 /proc/20218/task/20225/stat : 20225 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524871403792 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20226] ppid=20216 vsize=28231652 memory=139927954224048 CPUtime=0 cores=0-7 /proc/20218/task/20226/stat : 20226 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524870351504 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20227] ppid=20216 vsize=28231652 memory=139927954226352 CPUtime=0 cores=0-7 /proc/20218/task/20227/stat : 20227 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524869298704 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20228] ppid=20216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20228/stat : 20228 (java) S 20216 20216 19457 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 511165797 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524825877104 140525324778114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20229] ppid=20216 vsize=28231652 memory=279855908466576 CPUtime=0 cores=0-7 /proc/20218/task/20229/stat : 20229 (java) S 20216 20216 19457 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511165798 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524824823072 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20230] ppid=20216 vsize=28231652 memory=279855908464272 CPUtime=0 cores=0-7 /proc/20218/task/20230/stat : 20230 (java) S 20216 20216 19457 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511165798 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524823770736 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20231] ppid=20216 vsize=28231652 memory=279855908471184 CPUtime=0 cores=0-7 /proc/20218/task/20231/stat : 20231 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165801 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524822719056 140525324785563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20232] ppid=20216 vsize=28231652 memory=279855908412464 CPUtime=0.01 cores=0-7 /proc/20218/task/20232/stat : 20232 (java) S 20216 20216 19457 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 20 0 511165801 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524821665904 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20233] ppid=20216 vsize=28231652 memory=279855908485008 CPUtime=0.03 cores=0-7 /proc/20218/task/20233/stat : 20233 (java) R 20216 20216 19457 0 -1 4202560 174 0 0 0 3 0 0 0 20 0 20 0 511165801 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524704088672 140525305467264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20234] ppid=20216 vsize=28231652 memory=279855908491920 CPUtime=0.02 cores=0-7 /proc/20218/task/20234/stat : 20234 (java) S 20216 20216 19457 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 20 0 511165801 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524703046000 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20235] ppid=20216 vsize=28231652 memory=279855908489616 CPUtime=0.12 cores=0-7 /proc/20218/task/20235/stat : 20235 (java) S 20216 20216 19457 0 -1 1077944384 939 0 0 0 12 0 0 0 20 0 20 0 511165801 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524701993200 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20236] ppid=20216 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20236/stat : 20236 (java) S 20216 20216 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511165801 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524700941152 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20237] ppid=20216 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/20218/task/20237/stat : 20237 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165801 28909211648 12437 33554432000 4194304 4196468 140736486926112 140524699888432 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50940 KiB [startup+0.70957 s] /proc/loadavg: 6.47 7.74 8.07 3/212 20237 /proc/meminfo: memFree=25771764/32770624 swapFree=66999808/67108860 [pid=20216] ppid=20213 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20216/stat : 20216 (xcsp3-exec) S 20213 20216 19457 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511165795 115843072 364 33554432000 4194304 5098028 140722526357440 140722526355544 139671968154236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140722526364534 140722526364777 140722526364777 140722526367690 0 /proc/20216/statm: 28282 364 305 221 0 87 0 [pid=20218] ppid=20216 vsize=28233776 memory=83892 CPUtime=1.56 cores=0-7 /proc/20218/stat : 20218 (java) S 20216 20216 19457 0 -1 1077944320 15197 0 0 0 149 7 0 0 20 0 20 0 511165795 28911386624 20973 33554432000 4194304 4196468 140736486926112 140736486908656 140525324766967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 /proc/20218/statm: 7058444 20973 3451 1 0 7019544 0 [pid=20218/tid=20219] ppid=20216 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/20218/task/20219/stat : 20219 (java) R 20216 20216 19457 0 -1 4202560 9413 0 0 0 64 4 0 0 20 0 20 0 511165795 28911386624 20973 33554432000 4194304 4196468 140736486926112 140525329002968 140524962679825 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20220] ppid=20216 vsize=28233776 memory=139927954432880 CPUtime=0 cores=0-7 /proc/20218/task/20220/stat : 20220 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28911386624 20973 33554432000 4194304 4196468 140736486926112 140524876667792 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20221] ppid=20216 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20221/stat : 20221 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28911386624 20973 33554432000 4194304 4196468 140736486926112 140524875614992 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20222] ppid=20216 vsize=28233776 memory=776 CPUtime=0 cores=0-7 /proc/20218/task/20222/stat : 20222 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511165796 28911386624 20973 33554432000 4194304 4196468 140736486926112 140524874562704 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 ################ # More data... # ################ [pid=20218/tid=20235] ppid=20216 vsize=28769364 memory=89011116837610 CPUtime=1.06 cores=0-7 /proc/20218/task/20235/stat : 20235 (java) S 20216 20216 19457 0 -1 1077944384 11249 0 0 0 104 2 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524701993200 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20236] ppid=20216 vsize=28769364 memory=89011116837354 CPUtime=0 cores=0-7 /proc/20218/task/20236/stat : 20236 (java) S 20216 20216 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524700941152 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20237] ppid=20216 vsize=28769364 memory=89011116837354 CPUtime=0 cores=0-7 /proc/20218/task/20237/stat : 20237 (java) S 20216 20216 19457 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524699888432 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20278] ppid=20216 vsize=28769364 memory=89011116837098 CPUtime=47.79 cores=0-7 /proc/20218/task/20278/stat : 20278 (java) R 20216 20216 19457 0 -1 4202560 620 0 0 0 4779 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524548759480 140524973153324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20279] ppid=20216 vsize=28769364 memory=139927954999454 CPUtime=48 cores=0-7 /proc/20218/task/20279/stat : 20279 (java) R 20216 20216 19457 0 -1 4202560 552 0 0 0 4798 2 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524549812792 140524970258713 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20280] ppid=20216 vsize=28769364 memory=-3253322038155611931 CPUtime=48.03 cores=0-7 /proc/20218/task/20280/stat : 20280 (java) R 20216 20216 19457 0 -1 4202560 701 0 0 0 4803 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524545601560 140524970668582 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20281] ppid=20216 vsize=28769364 memory=288287762082441722 CPUtime=47.91 cores=0-7 /proc/20218/task/20281/stat : 20281 (java) R 20216 20216 19457 0 -1 4202560 1783 0 0 0 4790 1 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524550864384 140524970053371 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20282] ppid=20216 vsize=28769364 memory=3616727158334181398 CPUtime=47.61 cores=0-7 /proc/20218/task/20282/stat : 20282 (java) R 20216 20216 19457 0 -1 4202560 1601 0 0 0 4761 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524688811952 140524970053245 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20283] ppid=20216 vsize=28769364 memory=-3253322038155611931 CPUtime=47.87 cores=0-7 /proc/20218/task/20283/stat : 20283 (java) R 20216 20216 19457 0 -1 4202560 1145 0 0 0 4787 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524687757160 140524971190092 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20284] ppid=20216 vsize=28769364 memory=-3967418655009478193 CPUtime=47.77 cores=0-7 /proc/20218/task/20284/stat : 20284 (java) R 20216 20216 19457 0 -1 4202560 3017 0 0 0 4777 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524547707432 140524970256064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20285] ppid=20216 vsize=28769364 memory=1456 CPUtime=47.9 cores=0-7 /proc/20218/task/20285/stat : 20285 (java) R 20216 20216 19457 0 -1 4202560 874 0 0 0 4790 0 0 0 20 0 28 0 511166066 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524551917624 140524971207751 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 Current children cumulated CPU time: 402.02 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 256532 KiB [startup+51.6015 s] /proc/loadavg: 7.62 7.87 8.10 9/219 20288 /proc/meminfo: memFree=25577712/32770624 swapFree=66999808/67108860 [pid=20216] ppid=20213 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20216/stat : 20216 (xcsp3-exec) S 20213 20216 19457 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511165795 115843072 364 33554432000 4194304 5098028 140722526357440 140722526355544 139671968154236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140722526364534 140722526364777 140722526364777 140722526367690 0 /proc/20216/statm: 28282 364 305 221 0 87 0 [pid=20218] ppid=20216 vsize=28769364 memory=255076 CPUtime=405.21 cores=0-7 /proc/20218/stat : 20218 (java) S 20216 20216 19457 0 -1 1077944320 76332 0 0 0 40474 47 0 0 20 0 28 0 511165795 29459828736 63769 33554432000 4194304 4196468 140736486926112 140736486908656 140525324766967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 /proc/20218/statm: 7192341 63769 3535 1 0 7153441 0 [pid=20218/tid=20219] ppid=20216 vsize=28769364 memory=6944656592455359580 CPUtime=1.1 cores=0-7 /proc/20218/task/20219/stat : 20219 (java) S 20216 20216 19457 0 -1 1077944384 10169 0 0 0 105 5 0 0 20 0 28 0 511165795 29459828736 63769 33554432000 4194304 4196468 140736486926112 140525329007744 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20220] ppid=20216 vsize=28769364 memory=7594597771697979466 CPUtime=0.06 cores=0-7 /proc/20218/task/20220/stat : 20220 (java) S 20216 20216 19457 0 -1 1077944384 2046 0 0 0 4 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524876667792 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20221] ppid=20216 vsize=28769364 memory=288289956827497253 CPUtime=0.07 cores=0-7 /proc/20218/task/20221/stat : 20221 (java) S 20216 20216 19457 0 -1 1077944384 419 0 0 0 5 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524875614992 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20222] ppid=20216 vsize=28769364 memory=1540 CPUtime=0.07 cores=0-7 /proc/20218/task/20222/stat : 20222 (java) S 20216 20216 19457 0 -1 1077944384 1030 0 0 0 5 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524874562704 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20223] ppid=20216 vsize=28769364 memory=641 CPUtime=0.06 cores=0-7 /proc/20218/task/20223/stat : 20223 (java) S 20216 20216 19457 0 -1 1077944384 681 0 0 0 4 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524873509904 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20224] ppid=20216 vsize=28769364 memory=15 CPUtime=0.07 cores=0-7 /proc/20218/task/20224/stat : 20224 (java) S 20216 20216 19457 0 -1 1077944384 986 0 0 0 5 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524872456592 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20225] ppid=20216 vsize=28769364 memory=178 CPUtime=0.07 cores=0-7 /proc/20218/task/20225/stat : 20225 (java) S 20216 20216 19457 0 -1 1077944384 3079 0 0 0 5 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524871403792 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20226] ppid=20216 vsize=28769364 memory=5059 CPUtime=0.06 cores=0-7 /proc/20218/task/20226/stat : 20226 (java) S 20216 20216 19457 0 -1 1077944384 724 0 0 0 4 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524870351504 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20227] ppid=20216 vsize=28769364 memory=417 CPUtime=0.07 cores=0-7 /proc/20218/task/20227/stat : 20227 (java) S 20216 20216 19457 0 -1 1077944384 3039 0 0 0 5 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524869298704 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20228] ppid=20216 vsize=28769364 memory=340 CPUtime=0.03 cores=0-7 /proc/20218/task/20228/stat : 20228 (java) S 20216 20216 19457 0 -1 1077944384 2454 0 0 0 3 0 0 0 20 0 28 0 511165797 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524825877104 140525324778114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20229] ppid=20216 vsize=28769364 memory=1203 CPUtime=0 cores=0-7 /proc/20218/task/20229/stat : 20229 (java) S 20216 20216 19457 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 511165798 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524824823136 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20230] ppid=20216 vsize=28769364 memory=1544 CPUtime=0 cores=0-7 /proc/20218/task/20230/stat : 20230 (java) S 20216 20216 19457 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 511165798 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524823770752 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20231] ppid=20216 vsize=28769364 memory=776 CPUtime=0 cores=0-7 /proc/20218/task/20231/stat : 20231 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524822719056 140525324785563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20232] ppid=20216 vsize=28769364 memory=1056 CPUtime=2.53 cores=0-7 /proc/20218/task/20232/stat : 20232 (java) S 20216 20216 19457 0 -1 1077944384 8447 0 0 0 250 3 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524821665904 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20233] ppid=20216 vsize=28769364 memory=14012 CPUtime=2.75 cores=0-7 /proc/20218/task/20233/stat : 20233 (java) S 20216 20216 19457 0 -1 1077944384 9624 0 0 0 273 2 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524704098288 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20234] ppid=20216 vsize=28769364 memory=34044 CPUtime=2.49 cores=0-7 /proc/20218/task/20234/stat : 20234 (java) S 20216 20216 19457 0 -1 1077944384 9253 0 0 0 247 2 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524703046000 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20235] ppid=20216 vsize=28769364 memory=12024 CPUtime=1.06 cores=0-7 /proc/20218/task/20235/stat : 20235 (java) S 20216 20216 19457 0 -1 1077944384 11249 0 0 0 104 2 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524701993200 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20236] ppid=20216 vsize=28769364 memory=2120 CPUtime=0 cores=0-7 /proc/20218/task/20236/stat : 20236 (java) S 20216 20216 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524700941152 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20237] ppid=20216 vsize=28769364 memory=496 CPUtime=0 cores=0-7 /proc/20218/task/20237/stat : 20237 (java) S 20216 20216 19457 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524699888432 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20278] ppid=20216 vsize=28769364 memory=1560 CPUtime=48.19 cores=0-7 /proc/20218/task/20278/stat : 20278 (java) R 20216 20216 19457 0 -1 4202560 620 0 0 0 4819 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524548759480 140524972326465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20279] ppid=20216 vsize=28769364 memory=4872558044660077418 CPUtime=48.4 cores=0-7 /proc/20218/task/20279/stat : 20279 (java) R 20216 20216 19457 0 -1 4202560 552 0 0 0 4838 2 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524549812792 140524970053371 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20280] ppid=20216 vsize=28769364 memory=254124 CPUtime=48.43 cores=0-7 /proc/20218/task/20280/stat : 20280 (java) R 20216 20216 19457 0 -1 4202560 701 0 0 0 4843 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524545601560 140524971400352 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20281] ppid=20216 vsize=28769364 memory=3580 CPUtime=48.31 cores=0-7 /proc/20218/task/20281/stat : 20281 (java) R 20216 20216 19457 0 -1 4202560 1783 0 0 0 4830 1 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524550864384 140524970668790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20282] ppid=20216 vsize=28769364 memory=1456 CPUtime=48.01 cores=0-7 /proc/20218/task/20282/stat : 20282 (java) R 20216 20216 19457 0 -1 4202560 1601 0 0 0 4801 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524688811952 140524971963235 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20283] ppid=20216 vsize=28769364 memory=257164 CPUtime=48.27 cores=0-7 /proc/20218/task/20283/stat : 20283 (java) R 20216 20216 19457 0 -1 4202560 1145 0 0 0 4827 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524687757160 140524970074859 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20284] ppid=20216 vsize=28769364 memory=1544 CPUtime=48.17 cores=0-7 /proc/20218/task/20284/stat : 20284 (java) R 20216 20216 19457 0 -1 4202560 3017 0 0 0 4817 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524547707432 140524970257362 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20285] ppid=20216 vsize=28769364 memory=776 CPUtime=48.3 cores=0-7 /proc/20218/task/20285/stat : 20285 (java) R 20216 20216 19457 0 -1 4202560 874 0 0 0 4830 0 0 0 20 0 28 0 511166066 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524551917624 140524970053526 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 Current children cumulated CPU time: 405.21 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 256532 KiB [startup+51.8015 s] /proc/loadavg: 7.62 7.87 8.10 9/219 20288 /proc/meminfo: memFree=25577712/32770624 swapFree=66999808/67108860 [pid=20216] ppid=20213 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/20216/stat : 20216 (xcsp3-exec) S 20213 20216 19457 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511165795 115843072 364 33554432000 4194304 5098028 140722526357440 140722526355544 139671968154236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36556800 140722526364534 140722526364777 140722526364777 140722526367690 0 /proc/20216/statm: 28282 364 305 221 0 87 0 [pid=20218] ppid=20216 vsize=28769364 memory=255076 CPUtime=406.81 cores=0-7 /proc/20218/stat : 20218 (java) S 20216 20216 19457 0 -1 1077944320 76711 0 0 0 40634 47 0 0 20 0 28 0 511165795 29459828736 63769 33554432000 4194304 4196468 140736486926112 140736486908656 140525324766967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 /proc/20218/statm: 7192341 63769 3535 1 0 7153441 0 [pid=20218/tid=20219] ppid=20216 vsize=28769364 memory=6791534058613427641 CPUtime=1.1 cores=0-7 /proc/20218/task/20219/stat : 20219 (java) S 20216 20216 19457 0 -1 1077944384 10169 0 0 0 105 5 0 0 20 0 28 0 511165795 29459828736 63769 33554432000 4194304 4196468 140736486926112 140525329007744 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20220] ppid=20216 vsize=28769364 memory=4 CPUtime=0.06 cores=0-7 /proc/20218/task/20220/stat : 20220 (java) S 20216 20216 19457 0 -1 1077944384 2046 0 0 0 4 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524876667792 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20221] ppid=20216 vsize=28769364 memory=0 CPUtime=0.07 cores=0-7 /proc/20218/task/20221/stat : 20221 (java) S 20216 20216 19457 0 -1 1077944384 419 0 0 0 5 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524875614992 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20222] ppid=20216 vsize=28769364 memory=85042 CPUtime=0.07 cores=0-7 /proc/20218/task/20222/stat : 20222 (java) S 20216 20216 19457 0 -1 1077944384 1030 0 0 0 5 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524874562704 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20223] ppid=20216 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/20218/task/20223/stat : 20223 (java) S 20216 20216 19457 0 -1 1077944384 681 0 0 0 4 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524873509904 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20224] ppid=20216 vsize=28769364 memory=0 CPUtime=0.07 cores=0-7 /proc/20218/task/20224/stat : 20224 (java) S 20216 20216 19457 0 -1 1077944384 986 0 0 0 5 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524872456592 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20225] ppid=20216 vsize=28769364 memory=0 CPUtime=0.07 cores=0-7 /proc/20218/task/20225/stat : 20225 (java) S 20216 20216 19457 0 -1 1077944384 3079 0 0 0 5 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524871403792 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20226] ppid=20216 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/20218/task/20226/stat : 20226 (java) S 20216 20216 19457 0 -1 1077944384 724 0 0 0 4 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524870351504 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20227] ppid=20216 vsize=28769364 memory=0 CPUtime=0.07 cores=0-7 /proc/20218/task/20227/stat : 20227 (java) S 20216 20216 19457 0 -1 1077944384 3039 0 0 0 5 2 0 0 20 0 28 0 511165796 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524869298704 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20228] ppid=20216 vsize=28769364 memory=1398722017469774279 CPUtime=0.03 cores=0-7 /proc/20218/task/20228/stat : 20228 (java) S 20216 20216 19457 0 -1 1077944384 2454 0 0 0 3 0 0 0 20 0 28 0 511165797 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524825877104 140525324778114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20229] ppid=20216 vsize=28769364 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/20218/task/20229/stat : 20229 (java) S 20216 20216 19457 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 511165798 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524824823136 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20230] ppid=20216 vsize=28769364 memory=3172 CPUtime=0 cores=0-7 /proc/20218/task/20230/stat : 20230 (java) S 20216 20216 19457 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 511165798 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524823770752 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20231] ppid=20216 vsize=28769364 memory=1456 CPUtime=0 cores=0-7 /proc/20218/task/20231/stat : 20231 (java) S 20216 20216 19457 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524822719056 140525324785563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20232] ppid=20216 vsize=28769364 memory=265316 CPUtime=2.53 cores=0-7 /proc/20218/task/20232/stat : 20232 (java) S 20216 20216 19457 0 -1 1077944384 8447 0 0 0 250 3 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524821665904 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20233] ppid=20216 vsize=28769364 memory=1660 CPUtime=2.75 cores=0-7 /proc/20218/task/20233/stat : 20233 (java) S 20216 20216 19457 0 -1 1077944384 9624 0 0 0 273 2 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524704098288 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20234] ppid=20216 vsize=28769364 memory=1398722017469774279 CPUtime=2.49 cores=0-7 /proc/20218/task/20234/stat : 20234 (java) S 20216 20216 19457 0 -1 1077944384 9253 0 0 0 247 2 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524703046000 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20235] ppid=20216 vsize=28769364 memory=0 CPUtime=1.06 cores=0-7 /proc/20218/task/20235/stat : 20235 (java) S 20216 20216 19457 0 -1 1077944384 11609 0 0 0 104 2 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524701993200 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20236] ppid=20216 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/20218/task/20236/stat : 20236 (java) S 20216 20216 19457 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524700941152 140525324777173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20237] ppid=20216 vsize=28769364 memory=1808 CPUtime=0 cores=0-7 /proc/20218/task/20237/stat : 20237 (java) S 20216 20216 19457 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 28 0 511165801 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524699888432 140525324778114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20278] ppid=20216 vsize=28769364 memory=924 CPUtime=48.39 cores=0-7 /proc/20218/task/20278/stat : 20278 (java) R 20216 20216 19457 0 -1 4202560 620 0 0 0 4839 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524548759480 140524970540912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20279] ppid=20216 vsize=28769364 memory=4324 CPUtime=48.6 cores=0-7 /proc/20218/task/20279/stat : 20279 (java) R 20216 20216 19457 0 -1 4202560 552 0 0 0 4858 2 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524549812792 140524970053507 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20280] ppid=20216 vsize=28769364 memory=1412 CPUtime=48.63 cores=0-7 /proc/20218/task/20280/stat : 20280 (java) R 20216 20216 19457 0 -1 4202560 701 0 0 0 4863 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524545601560 140524970256301 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20281] ppid=20216 vsize=28769364 memory=2804 CPUtime=48.51 cores=0-7 /proc/20218/task/20281/stat : 20281 (java) R 20216 20216 19457 0 -1 4202560 1783 0 0 0 4850 1 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524550864384 140524971963059 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20282] ppid=20216 vsize=28769364 memory=1456 CPUtime=48.21 cores=0-7 /proc/20218/task/20282/stat : 20282 (java) R 20216 20216 19457 0 -1 4202560 1620 0 0 0 4821 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524688810440 140524971918335 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20283] ppid=20216 vsize=28769364 memory=249068 CPUtime=48.47 cores=0-7 /proc/20218/task/20283/stat : 20283 (java) R 20216 20216 19457 0 -1 4202560 1145 0 0 0 4847 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524687757160 140524970053258 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20284] ppid=20216 vsize=28769364 memory=1660 CPUtime=48.37 cores=0-7 /proc/20218/task/20284/stat : 20284 (java) R 20216 20216 19457 0 -1 4202560 3017 0 0 0 4837 0 0 0 20 0 28 0 511166065 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524547707432 140524970468230 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 [pid=20218/tid=20285] ppid=20216 vsize=28769364 memory=0 CPUtime=48.5 cores=0-7 /proc/20218/task/20285/stat : 20285 (java) R 20216 20216 19457 0 -1 4202560 874 0 0 0 4850 0 0 0 20 0 28 0 511166066 29459828736 63769 33554432000 4194304 4196468 140736486926112 140524551917624 140524970053069 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28409856 140736486929386 140736486929558 140736486929558 140736486932431 0 Current children cumulated CPU time: 406.81 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 256532 KiB Child status: 0 Real time (s): 51.8961 CPU time (s): 407.476 CPU user time (s): 406.983 CPU system time (s): 0.492834 CPU usage (%): 785.177 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 280576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 406.983 system time used= 0.492834 maximum resident set size= 279120 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78358 page faults= 0 swaps= 0 block input operations= 0 block output operations= 200 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7294 involuntary context switches= 5530 # summary of solver processes directly reported to runsolver: # pid: 20216 # total CPU time (s): 407.476 # total CPU user time (s): 406.983 # total CPU system time (s): 0.492834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.552851 second user time and 0.528223 second system time The end
Begin job on node123 at 2019-09-24 20:16:10 IDJOB=4407120 IDBENCH=126806 IDSOLVER=2871 FILE ID=node123/4407120-1569349010 RUNJOBID= node123-1569348851-19484 PBS_JOBID= 21705084 Free space on /tmp= 25920 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-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-4407120-1569349010/watcher-4407120-1569349010 -o /tmp/evaluation-result-4407120-1569349010/solver-4407120-1569349010 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569348851-19484 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 752493584 HOME/instance-4407120-1569349010.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 81c67383229f275c0057c3a1b360ed12 RANDOM SEED=752493584 node123.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.49 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.49 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.49 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.49 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: 25819404 kB MemAvailable: 31836208 kB Buffers: 93452 kB Cached: 6084100 kB SwapCached: 6616 kB Active: 3219656 kB Inactive: 2968592 kB Active(anon): 3944 kB Inactive(anon): 63892 kB Active(file): 3215712 kB Inactive(file): 2904700 kB Unevictable: 107956 kB Mlocked: 107956 kB SwapTotal: 67108860 kB SwapFree: 66999808 kB Dirty: 26652 kB Writeback: 4 kB AnonPages: 113120 kB Mapped: 56960 kB Shmem: 47940 kB Slab: 354964 kB SReclaimable: 324852 kB SUnreclaim: 30112 kB KernelStack: 3408 kB PageTables: 5040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514364 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: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 25896 MiB End job on node123 at 2019-09-24 20:17:02