Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | OPT | 644 | 17.9482 | 2.9291601 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml |
MD5SUM | dbb927e38b62f74060b1eb924850c2da |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 644 |
Best CPU time to get the best result obtained on this benchmark | 1.32248 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 223 |
Number of constraints | 218 |
Number of domains | 23 |
Minimum domain size | 21 |
Maximum domain size | 22 |
Distribution of domain sizes | [{"size":21,"count":28},{"size":22,"count":195}] |
Minimum variable degree | 2 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":2,"count":217},{"degree":32,"count":6}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":2,"count":186},{"arity":6,"count":1},{"arity":7,"count":31}] |
Number of extensional constraints | 186 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":186},{"type":"ordered","count":1},{"type":"minimum","count":31}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271517-1502646726.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271517-1502646726.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 3.16/0.99 c solve instance... 5.28/1.23 o 4110 5.28/1.23 o 3796 5.28/1.24 o 3499 5.28/1.25 o 3229 5.28/1.25 o 3180 5.28/1.26 o 2726 5.28/1.26 o 2700 5.28/1.27 o 2438 5.28/1.27 o 2360 7.32/1.57 o 1258 7.32/1.57 o 1214 7.32/1.58 o 1147 8.05/1.61 o 1146 8.05/1.62 o 1112 8.05/1.63 o 1093 8.05/1.63 o 1087 8.05/1.63 o 1079 8.05/1.64 o 1060 8.05/1.65 o 1058 8.05/1.65 o 1026 8.05/1.66 o 1020 8.05/1.67 o 1012 8.67/1.70 o 1011 8.67/1.71 o 837 8.67/1.76 o 805 8.67/1.77 o 791 9.35/1.83 o 761 9.35/1.85 o 739 9.35/1.90 o 717 14.81/2.53 o 709 16.41/2.77 o 685 16.41/2.78 o 681 17.17/2.80 o 660 17.17/2.83 o 644 17.89/2.90 s OPTIMUM FOUND 17.89/2.90 v <instantiation> 17.89/2.90 v <list>x[0] x[1] x[2] x[3] x[4] x[5] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] </list> 17.89/2.90 v <values>76 426 511 604 687 761 459 109 24 69 152 226 718 368 283 190 107 33 579 229 144 51 32 106 310 40 125 218 301 375 466 116 31 62 145 219 685 335 250 157 74 0 528 178 93 0 83 157 528 178 93 0 83 157 559 209 124 31 52 126 44 394 479 572 655 729 44 394 479 572 655 729 366 16 69 162 245 319 0 350 435 528 611 685 0 350 435 528 611 685 435 85 0 93 176 250 435 85 0 93 176 250 504 154 69 24 107 181 506 156 71 22 105 179 644 294 209 116 33 41 644 294 209 116 33 41 27 323 408 501 584 658 27 323 408 501 584 658 350 0 85 178 261 335 350 0 85 178 261 335 611 261 176 83 0 74 611 261 176 83 0 74 301 49 134 227 310 384 674 324 239 146 63 11 386 36 49 142 225 299 386 36 49 142 225 299 736 386 301 208 125 51 24 33 32 40 31 0 0 0 31 44 44 16 0 0 0 0 24 22 33 33 27 27 0 0 0 0 49 11 36 36 51 </values> 17.89/2.90 v </instantiation>
OK 644
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 (15259 MiB free) memory of node 1: 16384 MiB (15577 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271517-1502646726/watcher-4271517-1502646726 -o /tmp/evaluation-result-4271517-1502646726/solver-4271517-1502646726 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1490795487 HOME/instance-4271517-1502646726.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=30773, runsolver pid=30770 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 3.77 3.22 4.70 2/199 30794 /proc/meminfo: memFree=31560920/32770624 swapFree=67108860/67108860 [pid=30773] ppid=30770 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/30773/stat : 30773 (xcsp3-exec) S 30770 30773 8644 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97760243 9740288 345 33554432000 4194304 5098028 140727012413408 140727012411512 140430354965116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8228864 140727012414570 140727012414780 140727012414780 140727012417515 0 /proc/30773/statm: 2378 345 289 221 0 87 0 [pid=30775] ppid=30773 vsize=25999808 memory=26932 CPUtime=0.12 cores=0-7 /proc/30775/stat : 30775 (java) S 30773 30773 8644 0 -1 1077944320 5609 0 0 0 11 1 0 0 20 0 20 0 97760243 26623803392 6733 33554432000 4194304 4196468 140736283256960 140736283239504 139639438962423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 /proc/30775/statm: 6499952 6733 2865 1 0 6488269 0 [pid=30775/tid=30776] ppid=30773 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/30775/task/30776/stat : 30776 (java) R 30773 30773 8644 0 -1 4202560 3611 0 0 0 8 0 0 0 20 0 20 0 97760244 26623803392 6733 33554432000 4194304 4196468 140736283256960 139639443189024 139639067383980 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30777] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30777/stat : 30777 (java) S 30773 30773 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760245 26623803392 6733 33554432000 4194304 4196468 140736283256960 139639391582480 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30778] ppid=30773 vsize=25999808 memory=140493986780800 CPUtime=0 cores=0-7 /proc/30775/task/30778/stat : 30778 (java) S 30773 30773 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760245 26623803392 6733 33554432000 4194304 4196468 140736283256960 139639390529936 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30779] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30779/stat : 30779 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26623803392 6733 33554432000 4194304 4196468 140736283256960 139639389477392 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30780] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30780/stat : 30780 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26623803392 6733 33554432000 4194304 4196468 140736283256960 139639388424848 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30781] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30781/stat : 30781 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26623803392 6733 33554432000 4194304 4196468 140736283256960 139639387372304 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30782] ppid=30773 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/30775/task/30782/stat : 30782 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760245 26623803392 6733 33554432000 4194304 4196468 140736283256960 139638992141200 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30783] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30783/stat : 30783 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26623803392 6733 33554432000 4194304 4196468 140736283256960 139638991088656 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30784] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30784/stat : 30784 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26623803392 6733 33554432000 4194304 4196468 140736283256960 139638990036112 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30785] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30785/stat : 30785 (java) S 30773 30773 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760246 26623803392 6733 33554432000 4194304 4196468 140736283256960 139637711120368 139639438973570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30786] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30786/stat : 30786 (java) S 30773 30773 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97760247 26623803392 6733 33554432000 4194304 4196468 140736283256960 139637710066592 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30787] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30787/stat : 30787 (java) S 30773 30773 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97760247 26623803392 6733 33554432000 4194304 4196468 140736283256960 139637506958320 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30788] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30788/stat : 30788 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760249 26623803392 6733 33554432000 4194304 4196468 140736283256960 139637505906896 139639438981019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30789] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30789/stat : 30789 (java) S 30773 30773 8644 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 97760249 26623803392 6733 33554432000 4194304 4196468 140736283256960 139637504854512 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30790] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30790/stat : 30790 (java) S 30773 30773 8644 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 97760249 26623803392 6733 33554432000 4194304 4196468 140736283256960 139637503801968 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30791] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30791/stat : 30791 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760249 26623803392 6733 33554432000 4194304 4196468 140736283256960 139637502749424 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30792] ppid=30773 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/30775/task/30792/stat : 30792 (java) R 30773 30773 8644 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 20 0 97760249 26623803392 6733 33554432000 4194304 4196468 140736283256960 139637501696880 139639420199984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30793] ppid=30773 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30793/stat : 30793 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760249 26623803392 6733 33554432000 4194304 4196468 140736283256960 139637500643552 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30794] ppid=30773 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/30775/task/30794/stat : 30794 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760250 26623803392 6733 33554432000 4194304 4196468 140736283256960 139637499591088 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28312 KiB [startup+0.210534 s]* /proc/loadavg: 3.77 3.22 4.70 2/199 30794 /proc/meminfo: memFree=31549864/32770624 swapFree=67108860/67108860 [pid=30773] ppid=30770 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/30773/stat : 30773 (xcsp3-exec) S 30770 30773 8644 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97760243 9740288 345 33554432000 4194304 5098028 140727012413408 140727012411512 140430354965116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8228864 140727012414570 140727012414780 140727012414780 140727012417515 0 /proc/30773/statm: 2378 345 289 221 0 87 0 [pid=30775] ppid=30773 vsize=26004064 memory=39020 CPUtime=0.33 cores=0-7 /proc/30775/stat : 30775 (java) S 30773 30773 8644 0 -1 1077944320 8308 0 0 0 31 2 0 0 20 0 20 0 97760243 26628161536 9755 33554432000 4194304 4196468 140736283256960 140736283239504 139639438962423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 /proc/30775/statm: 6501016 9755 3064 1 0 6488269 0 [pid=30775/tid=30776] ppid=30773 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30775/task/30776/stat : 30776 (java) R 30773 30773 8644 0 -1 1077944384 5430 0 0 0 18 1 0 0 20 0 20 0 97760244 26628161536 9755 33554432000 4194304 4196468 140736283256960 139639443164144 139639431641645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30777] ppid=30773 vsize=26004064 memory=328 CPUtime=0 cores=0-7 /proc/30775/task/30777/stat : 30777 (java) S 30773 30773 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 9755 33554432000 4194304 4196468 140736283256960 139639391582480 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30778] ppid=30773 vsize=26004096 memory=140493987187140 CPUtime=0 cores=0-7 /proc/30775/task/30778/stat : 30778 (java) S 30773 30773 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760245 26628194304 9755 33554432000 4194304 4196468 140736283256960 139639390529936 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30779] ppid=30773 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/30775/task/30779/stat : 30779 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26628194304 9755 33554432000 4194304 4196468 140736283256960 139639389477392 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30780] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30780/stat : 30780 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 9755 33554432000 4194304 4196468 140736283256960 139639388424848 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30781] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30781/stat : 30781 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 9755 33554432000 4194304 4196468 140736283256960 139639387372304 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30782] ppid=30773 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30775/task/30782/stat : 30782 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 9755 33554432000 4194304 4196468 140736283256960 139638992141200 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30783] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30783/stat : 30783 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 9755 33554432000 4194304 4196468 140736283256960 139638991088656 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30784] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30784/stat : 30784 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 9755 33554432000 4194304 4196468 140736283256960 139638990036112 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30785] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30785/stat : 30785 (java) S 30773 30773 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760246 26628161536 9755 33554432000 4194304 4196468 140736283256960 139637711120368 139639438973570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30786] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30786/stat : 30786 (java) S 30773 30773 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97760247 26628161536 9755 33554432000 4194304 4196468 140736283256960 139637710066592 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30787] ppid=30773 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30787/stat : 30787 (java) S 30773 30773 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97760247 26628194304 9755 33554432000 4194304 4196468 140736283256960 139637506958320 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30788] ppid=30773 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30788/stat : 30788 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760249 26628194304 9755 33554432000 4194304 4196468 140736283256960 139637505906896 139639438981019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30789] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30789/stat : 30789 (java) S 30773 30773 8644 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 97760249 26628161536 9755 33554432000 4194304 4196468 140736283256960 139637504854512 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30790] ppid=30773 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/30775/task/30790/stat : 30790 (java) S 30773 30773 8644 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 20 0 97760249 26628161536 9755 33554432000 4194304 4196468 140736283256960 139637503801968 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30791] ppid=30773 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/30775/task/30791/stat : 30791 (java) S 30773 30773 8644 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 20 0 97760249 26628161536 9755 33554432000 4194304 4196468 140736283256960 139637502749424 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30792] ppid=30773 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/30775/task/30792/stat : 30792 (java) S 30773 30773 8644 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 20 0 97760249 26628161536 9755 33554432000 4194304 4196468 140736283256960 139637501696880 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30793] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30793/stat : 30793 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760249 26628161536 9755 33554432000 4194304 4196468 140736283256960 139637500643552 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30794] ppid=30773 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30775/task/30794/stat : 30794 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760250 26628161536 9755 33554432000 4194304 4196468 140736283256960 139637499591088 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40400 KiB [startup+0.315638 s]* /proc/loadavg: 3.77 3.22 4.70 4/199 30794 /proc/meminfo: memFree=31541828/32770624 swapFree=67108860/67108860 [pid=30773] ppid=30770 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/30773/stat : 30773 (xcsp3-exec) S 30770 30773 8644 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97760243 9740288 345 33554432000 4194304 5098028 140727012413408 140727012411512 140430354965116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8228864 140727012414570 140727012414780 140727012414780 140727012417515 0 /proc/30773/statm: 2378 345 289 221 0 87 0 [pid=30775] ppid=30773 vsize=26004064 memory=45920 CPUtime=0.52 cores=0-7 /proc/30775/stat : 30775 (java) S 30773 30773 8644 0 -1 1077944320 9214 0 0 0 49 3 0 0 20 0 20 0 97760243 26628161536 11480 33554432000 4194304 4196468 140736283256960 140736283239504 139639438962423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 /proc/30775/statm: 6501016 11480 3081 1 0 6488269 0 [pid=30775/tid=30776] ppid=30773 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/30775/task/30776/stat : 30776 (java) R 30773 30773 8644 0 -1 4202560 6133 0 0 0 28 2 0 0 20 0 20 0 97760244 26628161536 11480 33554432000 4194304 4196468 140736283256960 139639443191744 139639438984349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30777] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30777/stat : 30777 (java) S 30773 30773 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 11480 33554432000 4194304 4196468 140736283256960 139639391582480 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30778] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30778/stat : 30778 (java) S 30773 30773 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 11480 33554432000 4194304 4196468 140736283256960 139639390529936 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30779] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30779/stat : 30779 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 11480 33554432000 4194304 4196468 140736283256960 139639389477392 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30780] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30780/stat : 30780 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 11480 33554432000 4194304 4196468 140736283256960 139639388424848 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30781] ppid=30773 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/30775/task/30781/stat : 30781 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 11480 33554432000 4194304 4196468 140736283256960 139639387372304 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30782] ppid=30773 vsize=26004064 memory=140493883274159 CPUtime=0 cores=0-7 /proc/30775/task/30782/stat : 30782 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 11480 33554432000 4194304 4196468 140736283256960 139638992141200 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30783] ppid=30773 vsize=26004064 memory=140493883276464 CPUtime=0 cores=0-7 /proc/30775/task/30783/stat : 30783 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 11480 33554432000 4194304 4196468 140736283256960 139638991088656 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30784] ppid=30773 vsize=26004064 memory=140493883278768 CPUtime=0 cores=0-7 /proc/30775/task/30784/stat : 30784 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760245 26628161536 11480 33554432000 4194304 4196468 140736283256960 139638990036112 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30785] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30785/stat : 30785 (java) S 30773 30773 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97760246 26628161536 11480 33554432000 4194304 4196468 140736283256960 139637711120368 139639438973570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30786] ppid=30773 vsize=26004064 memory=280987766564496 CPUtime=0 cores=0-7 /proc/30775/task/30786/stat : 30786 (java) S 30773 30773 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97760247 26628161536 11480 33554432000 4194304 4196468 140736283256960 139637710066592 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30787] ppid=30773 vsize=26004064 memory=280987766571408 CPUtime=0 cores=0-7 /proc/30775/task/30787/stat : 30787 (java) S 30773 30773 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97760247 26628161536 11480 33554432000 4194304 4196468 140736283256960 139637506958320 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30788] ppid=30773 vsize=26004064 memory=280987766512688 CPUtime=0 cores=0-7 /proc/30775/task/30788/stat : 30788 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97760249 26628161536 11480 33554432000 4194304 4196468 140736283256960 139637505906896 139639438981019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30789] ppid=30773 vsize=26004064 memory=280987766585232 CPUtime=0.01 cores=0-7 /proc/30775/task/30789/stat : 30789 (java) R 30773 30773 8644 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 20 0 97760249 26628161536 11480 33554432000 4194304 4196468 140736283256960 139637504844624 139639420507787 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30790] ppid=30773 vsize=26004064 memory=280987766592144 CPUtime=0.03 cores=0-7 /proc/30775/task/30790/stat : 30790 (java) S 30773 30773 8644 0 -1 1077944384 381 0 0 0 3 0 0 0 20 0 20 0 97760249 26628161536 11480 33554432000 4194304 4196468 140736283256960 139637503801968 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30791] ppid=30773 vsize=26004064 memory=280987766589840 CPUtime=0.02 cores=0-7 /proc/30775/task/30791/stat : 30791 (java) S 30773 30773 8644 0 -1 1077944384 186 0 0 0 2 0 0 0 20 0 20 0 97760249 26628161536 11480 33554432000 4194304 4196468 140736283256960 139637502749424 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30792] ppid=30773 vsize=26004064 memory=280987766606000 CPUtime=0.13 cores=0-7 /proc/30775/task/30792/stat : 30792 (java) S 30773 30773 8644 0 -1 1077944384 863 0 0 0 13 0 0 0 20 0 20 0 97760249 26628161536 11480 33554432000 4194304 4196468 140736283256960 139637501696880 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30793] ppid=30773 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30793/stat : 30793 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760249 26628161536 11480 33554432000 4194304 4196468 140736283256960 139637500643552 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30794] ppid=30773 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30775/task/30794/stat : 30794 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97760250 26628161536 11480 33554432000 4194304 4196468 140736283256960 139637499591088 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47300 KiB [startup+0.701634 s] /proc/loadavg: 3.77 3.22 4.70 6/199 30794 /proc/meminfo: memFree=31495960/32770624 swapFree=67108860/67108860 [pid=30773] ppid=30770 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/30773/stat : 30773 (xcsp3-exec) S 30770 30773 8644 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97760243 9740288 345 33554432000 4194304 5098028 140727012413408 140727012411512 140430354965116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8228864 140727012414570 140727012414780 140727012414780 140727012417515 0 /proc/30773/statm: 2378 345 289 221 0 87 0 [pid=30775] ppid=30773 vsize=26006188 memory=227052 CPUtime=1.96 cores=0-7 /proc/30775/stat : 30775 (java) S 30773 30773 8644 0 -1 1077944320 13773 0 0 0 177 19 0 0 20 0 20 0 97760243 26630336512 56763 33554432000 4194304 4196468 140736283256960 140736283239504 139639438962423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 /proc/30775/statm: 6501547 56763 3205 1 0 6488781 0 [pid=30775/tid=30776] ppid=30773 vsize=26006188 memory=280987766963888 CPUtime=0.64 cores=0-7 /proc/30775/task/30776/stat : 30776 (java) S 30773 30773 8644 0 -1 1077944384 6846 0 0 0 60 4 0 0 20 0 20 0 97760244 26630336512 56763 33554432000 4194304 4196468 140736283256960 139639443199536 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30777] ppid=30773 vsize=26006188 memory=140493883482992 CPUtime=0.02 cores=0-7 /proc/30775/task/30777/stat : 30777 (java) R 30773 30773 8644 0 -1 4202560 33 0 0 0 1 1 0 0 20 0 20 0 97760245 26630336512 56763 33554432000 4194304 4196468 140736283256960 139639391582480 139639423980128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30778] ppid=30773 vsize=26006188 memory=0 CPUtime=0.02 cores=0-7 /proc/30775/task/30778/stat : 30778 (java) R 30773 30773 8644 0 -1 4202560 24 0 0 0 1 1 0 0 20 0 20 0 97760245 26630336512 56763 33554432000 4194304 4196468 140736283256960 139639390530136 139639423989842 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30779] ppid=30773 vsize=26006188 memory=4612 CPUtime=0.02 cores=0-7 /proc/30775/task/30779/stat : 30779 (java) R 30773 30773 8644 0 -1 4202560 29 0 0 0 1 1 0 0 20 0 20 0 97760245 26630336512 56763 33554432000 4194304 4196468 140736283256960 139639389477392 139639432066035 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 ################ # More data... # ################ [pid=30775/tid=30776] ppid=30773 vsize=26605264 memory=5792284886344295780 CPUtime=0.82 cores=0-7 /proc/30775/task/30776/stat : 30776 (java) S 30773 30773 8644 0 -1 1077944384 6913 0 0 0 78 4 0 0 20 0 28 0 97760244 27243790336 167154 33554432000 4194304 4196468 140736283256960 139639443203200 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30777] ppid=30773 vsize=26605264 memory=303430223234596890 CPUtime=0.42 cores=0-7 /proc/30775/task/30777/stat : 30777 (java) S 30773 30773 8644 0 -1 1077944384 503 0 0 0 31 11 0 0 20 0 28 0 97760245 27243790336 167154 33554432000 4194304 4196468 140736283256960 139639391582480 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30778] ppid=30773 vsize=26605264 memory=6944656592455097440 CPUtime=0.41 cores=0-7 /proc/30775/task/30778/stat : 30778 (java) S 30773 30773 8644 0 -1 1077944384 220 0 0 0 32 9 0 0 20 0 28 0 97760245 27243790336 167154 33554432000 4194304 4196468 140736283256960 139639390529936 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30779] ppid=30773 vsize=26605264 memory=7594851719983952210 CPUtime=0.43 cores=0-7 /proc/30775/task/30779/stat : 30779 (java) S 30773 30773 8644 0 -1 1077944384 217 0 0 0 32 11 0 0 20 0 28 0 97760245 27243790336 167154 33554432000 4194304 4196468 140736283256960 139639389477392 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30780] ppid=30773 vsize=26605264 memory=1 CPUtime=0.4 cores=0-7 /proc/30775/task/30780/stat : 30780 (java) S 30773 30773 8644 0 -1 1077944384 181 0 0 0 30 10 0 0 20 0 28 0 97760245 27243790336 167154 33554432000 4194304 4196468 140736283256960 139639388424848 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30781] ppid=30773 vsize=26605264 memory=0 CPUtime=0.4 cores=0-7 /proc/30775/task/30781/stat : 30781 (java) S 30773 30773 8644 0 -1 1077944384 171 0 0 0 31 9 0 0 20 0 28 0 97760245 27243790336 167154 33554432000 4194304 4196468 140736283256960 139639387372304 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30782] ppid=30773 vsize=26605264 memory=0 CPUtime=0.41 cores=0-7 /proc/30775/task/30782/stat : 30782 (java) S 30773 30773 8644 0 -1 1077944384 380 0 0 0 32 9 0 0 20 0 28 0 97760245 27243790336 167154 33554432000 4194304 4196468 140736283256960 139638992141200 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30783] ppid=30773 vsize=26605264 memory=421 CPUtime=0.43 cores=0-7 /proc/30775/task/30783/stat : 30783 (java) S 30773 30773 8644 0 -1 1077944384 334 0 0 0 32 11 0 0 20 0 28 0 97760245 27243790336 167154 33554432000 4194304 4196468 140736283256960 139638991088656 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30784] ppid=30773 vsize=26605264 memory=2327 CPUtime=0.37 cores=0-7 /proc/30775/task/30784/stat : 30784 (java) S 30773 30773 8644 0 -1 1077944384 201 0 0 0 29 8 0 0 20 0 28 0 97760245 27243790336 167154 33554432000 4194304 4196468 140736283256960 139638990036112 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30785] ppid=30773 vsize=26605264 memory=0 CPUtime=0.02 cores=0-7 /proc/30775/task/30785/stat : 30785 (java) S 30773 30773 8644 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 28 0 97760246 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637711120368 139639438973570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30786] ppid=30773 vsize=26605264 memory=127 CPUtime=0 cores=0-7 /proc/30775/task/30786/stat : 30786 (java) S 30773 30773 8644 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97760247 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637710066656 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30787] ppid=30773 vsize=26605264 memory=247 CPUtime=0 cores=0-7 /proc/30775/task/30787/stat : 30787 (java) S 30773 30773 8644 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97760247 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637506958336 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30788] ppid=30773 vsize=26605264 memory=50 CPUtime=0 cores=0-7 /proc/30775/task/30788/stat : 30788 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97760249 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637505906896 139639438981019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30789] ppid=30773 vsize=26605264 memory=56 CPUtime=1.12 cores=0-7 /proc/30775/task/30789/stat : 30789 (java) R 30773 30773 8644 0 -1 4202560 1975 0 0 0 112 0 0 0 20 0 28 0 97760249 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637504840608 139639418209176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30790] ppid=30773 vsize=26605264 memory=7044 CPUtime=1.29 cores=0-7 /proc/30775/task/30790/stat : 30790 (java) R 30773 30773 8644 0 -1 1077944384 2641 0 0 0 129 0 0 0 20 0 28 0 97760249 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637503789648 139639438972629 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30791] ppid=30773 vsize=26605264 memory=0 CPUtime=1.24 cores=0-7 /proc/30775/task/30791/stat : 30791 (java) R 30773 30773 8644 0 -1 4202560 2768 0 0 0 123 1 0 0 20 0 28 0 97760249 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637502742448 139639420485196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30792] ppid=30773 vsize=26605264 memory=0 CPUtime=0.71 cores=0-7 /proc/30775/task/30792/stat : 30792 (java) R 30773 30773 8644 0 -1 1077944384 3319 0 0 0 69 2 0 0 20 0 28 0 97760249 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637501696880 139639438973570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30793] ppid=30773 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30793/stat : 30793 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97760249 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637500643552 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30794] ppid=30773 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30794/stat : 30794 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97760250 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637499591088 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=31027] ppid=30773 vsize=26605264 memory=288285580272600208 CPUtime=0.26 cores=0-7 /proc/30775/task/31027/stat : 31027 (java) R 30773 30773 8644 0 -1 4202560 51 0 0 0 25 1 0 0 20 0 28 0 97760433 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637487864256 139639073157957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=31028] ppid=30773 vsize=26605264 memory=0 CPUtime=0.23 cores=0-7 /proc/30775/task/31028/stat : 31028 (java) R 30773 30773 8644 0 -1 4202560 30 0 0 0 23 0 0 0 20 0 28 0 97760433 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637484707720 139639074593689 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=31029] ppid=30773 vsize=26605264 memory=0 CPUtime=0.4 cores=0-7 /proc/30775/task/31029/stat : 31029 (java) R 30773 30773 8644 0 -1 4202560 39 0 0 0 40 0 0 0 20 0 28 0 97760433 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637491023064 139639073158631 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=31030] ppid=30773 vsize=26605264 memory=0 CPUtime=0.35 cores=0-7 /proc/30775/task/31030/stat : 31030 (java) R 30773 30773 8644 0 -1 4202560 32 0 0 0 34 1 0 0 20 0 28 0 97760433 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637488919200 139639074105265 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=31031] ppid=30773 vsize=26605264 memory=0 CPUtime=0.29 cores=0-7 /proc/30775/task/31031/stat : 31031 (java) R 30773 30773 8644 0 -1 4202560 60 0 0 0 29 0 0 0 20 0 28 0 97760433 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637486815832 139639073158398 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=31032] ppid=30773 vsize=26605264 memory=0 CPUtime=0.36 cores=0-7 /proc/30775/task/31032/stat : 31032 (java) R 30773 30773 8644 0 -1 4202560 38 0 0 0 36 0 0 0 20 0 28 0 97760433 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637483654288 139639075217603 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=31033] ppid=30773 vsize=26605264 memory=0 CPUtime=0.44 cores=0-7 /proc/30775/task/31033/stat : 31033 (java) R 30773 30773 8644 0 -1 4202560 32 0 0 0 44 0 0 0 20 0 28 0 97760434 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637485760056 139639073158175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=31034] ppid=30773 vsize=26605264 memory=0 CPUtime=0.36 cores=0-7 /proc/30775/task/31034/stat : 31034 (java) R 30773 30773 8644 0 -1 4202560 28 0 0 0 36 0 0 0 20 0 28 0 97760434 27243790336 167154 33554432000 4194304 4196468 140736283256960 139637492075400 139639075326392 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 Current children cumulated CPU time: 14.09 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 669996 KiB [startup+2.80163 s] /proc/loadavg: 3.77 3.22 4.70 13/207 31034 /proc/meminfo: memFree=30914528/32770624 swapFree=67108860/67108860 [pid=30773] ppid=30770 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/30773/stat : 30773 (xcsp3-exec) S 30770 30773 8644 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97760243 9740288 345 33554432000 4194304 5098028 140727012413408 140727012411512 140430354965116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8228864 140727012414570 140727012414780 140727012414780 140727012417515 0 /proc/30773/statm: 2378 345 289 221 0 87 0 [pid=30775] ppid=30773 vsize=26605264 memory=671240 CPUtime=17.17 cores=0-7 /proc/30775/stat : 30775 (java) S 30773 30773 8644 0 -1 1077944320 27161 0 0 0 1616 101 0 0 20 0 28 0 97760243 27243790336 167810 33554432000 4194304 4196468 140736283256960 140736283239504 139639438962423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 /proc/30775/statm: 6651316 167810 3290 1 0 6638550 0 [pid=30775/tid=30776] ppid=30773 vsize=26605264 memory=6791534058613427641 CPUtime=0.82 cores=0-7 /proc/30775/task/30776/stat : 30776 (java) S 30773 30773 8644 0 -1 1077944384 6914 0 0 0 78 4 0 0 20 0 28 0 97760244 27243790336 167810 33554432000 4194304 4196468 140736283256960 139639443203200 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30777] ppid=30773 vsize=26605264 memory=0 CPUtime=0.42 cores=0-7 /proc/30775/task/30777/stat : 30777 (java) S 30773 30773 8644 0 -1 1077944384 503 0 0 0 31 11 0 0 20 0 28 0 97760245 27243790336 167810 33554432000 4194304 4196468 140736283256960 139639391582480 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30778] ppid=30773 vsize=26605264 memory=0 CPUtime=0.41 cores=0-7 /proc/30775/task/30778/stat : 30778 (java) S 30773 30773 8644 0 -1 1077944384 220 0 0 0 32 9 0 0 20 0 28 0 97760245 27243790336 167810 33554432000 4194304 4196468 140736283256960 139639390529936 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30779] ppid=30773 vsize=26605264 memory=35 CPUtime=0.43 cores=0-7 /proc/30775/task/30779/stat : 30779 (java) S 30773 30773 8644 0 -1 1077944384 217 0 0 0 32 11 0 0 20 0 28 0 97760245 27243790336 167810 33554432000 4194304 4196468 140736283256960 139639389477392 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30780] ppid=30773 vsize=26605264 memory=30 CPUtime=0.4 cores=0-7 /proc/30775/task/30780/stat : 30780 (java) S 30773 30773 8644 0 -1 1077944384 181 0 0 0 30 10 0 0 20 0 28 0 97760245 27243790336 167810 33554432000 4194304 4196468 140736283256960 139639388424848 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30781] ppid=30773 vsize=26605264 memory=0 CPUtime=0.4 cores=0-7 /proc/30775/task/30781/stat : 30781 (java) S 30773 30773 8644 0 -1 1077944384 171 0 0 0 31 9 0 0 20 0 28 0 97760245 27243790336 167810 33554432000 4194304 4196468 140736283256960 139639387372304 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30782] ppid=30773 vsize=26605264 memory=7589561496502576581 CPUtime=0.41 cores=0-7 /proc/30775/task/30782/stat : 30782 (java) S 30773 30773 8644 0 -1 1077944384 380 0 0 0 32 9 0 0 20 0 28 0 97760245 27243790336 167810 33554432000 4194304 4196468 140736283256960 139638992141200 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30783] ppid=30773 vsize=26605264 memory=280987767405504 CPUtime=0.43 cores=0-7 /proc/30775/task/30783/stat : 30783 (java) S 30773 30773 8644 0 -1 1077944384 334 0 0 0 32 11 0 0 20 0 28 0 97760245 27243790336 167810 33554432000 4194304 4196468 140736283256960 139638991088656 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30784] ppid=30773 vsize=26605264 memory=1329904169539632281 CPUtime=0.37 cores=0-7 /proc/30775/task/30784/stat : 30784 (java) S 30773 30773 8644 0 -1 1077944384 201 0 0 0 29 8 0 0 20 0 28 0 97760245 27243790336 167810 33554432000 4194304 4196468 140736283256960 139638990036112 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30785] ppid=30773 vsize=26605264 memory=1329904169539632281 CPUtime=0.02 cores=0-7 /proc/30775/task/30785/stat : 30785 (java) S 30773 30773 8644 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 28 0 97760246 27243790336 167810 33554432000 4194304 4196468 140736283256960 139637711120368 139639438973570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30786] ppid=30773 vsize=26605264 memory=4196912344889787449 CPUtime=0 cores=0-7 /proc/30775/task/30786/stat : 30786 (java) S 30773 30773 8644 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97760247 27243790336 167810 33554432000 4194304 4196468 140736283256960 139637710066656 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30787] ppid=30773 vsize=26605264 memory=-8458152057954233740 CPUtime=0 cores=0-7 /proc/30775/task/30787/stat : 30787 (java) S 30773 30773 8644 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97760247 27243790336 167810 33554432000 4194304 4196468 140736283256960 139637506958336 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30788] ppid=30773 vsize=26605264 memory=-7240599211820661557 CPUtime=0 cores=0-7 /proc/30775/task/30788/stat : 30788 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97760249 27243790336 167810 33554432000 4194304 4196468 140736283256960 139637505906896 139639438981019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30789] ppid=30773 vsize=26605264 memory=0 CPUtime=1.35 cores=0-7 /proc/30775/task/30789/stat : 30789 (java) R 30773 30773 8644 0 -1 4202560 2323 0 0 0 135 0 0 0 20 0 28 0 97760249 27243790336 167810 33554432000 4194304 4196468 140736283256960 139637504840896 139639416186576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30790] ppid=30773 vsize=26605264 memory=1380 CPUtime=1.55 cores=0-7 /proc/30775/task/30790/stat : 30790 (java) R 30773 30773 8644 0 -1 4202560 2673 0 0 0 155 0 0 0 20 0 28 0 97760249 27243790336 167810 33554432000 4194304 4196468 140736283256960 139637503788512 139639422929724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30791] ppid=30773 vsize=26605264 memory=644104 CPUtime=1.46 cores=0-7 /proc/30775/task/30791/stat : 30791 (java) R 30773 30773 8644 0 -1 4202560 2949 0 0 0 145 1 0 0 20 0 28 0 97760249 27243790336 167810 33554432000 4194304 4196468 140736283256960 139637502736240 139639418224528 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30792] ppid=30773 vsize=26605264 memory=0 CPUtime=0.74 cores=0-7 /proc/30775/task/30792/stat : 30792 (java) S 30773 30773 8644 0 -1 1077944384 3388 0 0 0 72 2 0 0 20 0 28 0 97760249 27243790336 167810 33554432000 4194304 4196468 140736283256960 139637501696880 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30793] ppid=30773 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30793/stat : 30793 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97760249 27243790336 167810 33554432000 4194304 4196468 140736283256960 139637500643552 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30794] ppid=30773 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30794/stat : 30794 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97760250 27243790336 167810 33554432000 4194304 4196468 140736283256960 139637499591088 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 Current children cumulated CPU time: 17.17 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 672620 KiB [startup+2.90124 s] /proc/loadavg: 3.77 3.22 4.70 13/207 31034 /proc/meminfo: memFree=30914528/32770624 swapFree=67108860/67108860 [pid=30773] ppid=30770 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/30773/stat : 30773 (xcsp3-exec) S 30770 30773 8644 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97760243 9740288 345 33554432000 4194304 5098028 140727012413408 140727012411512 140430354965116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8228864 140727012414570 140727012414780 140727012414780 140727012417515 0 /proc/30773/statm: 2378 345 289 221 0 87 0 [pid=30775] ppid=30773 vsize=26605264 memory=683800 CPUtime=17.89 cores=0-7 /proc/30775/stat : 30775 (java) S 30773 30773 8644 0 -1 1077944320 27500 0 0 0 1688 101 0 0 20 0 28 0 97760243 27243790336 170950 33554432000 4194304 4196468 140736283256960 140736283239504 139639438962423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 /proc/30775/statm: 6651316 170950 3290 1 0 6638550 0 [pid=30775/tid=30776] ppid=30773 vsize=26605264 memory=0 CPUtime=0.82 cores=0-7 /proc/30775/task/30776/stat : 30776 (java) S 30773 30773 8644 0 -1 1077944384 6914 0 0 0 78 4 0 0 20 0 28 0 97760244 27243790336 170950 33554432000 4194304 4196468 140736283256960 139639443203200 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30777] ppid=30773 vsize=26605264 memory=669316 CPUtime=0.42 cores=0-7 /proc/30775/task/30777/stat : 30777 (java) S 30773 30773 8644 0 -1 1077944384 503 0 0 0 31 11 0 0 20 0 28 0 97760245 27243790336 170950 33554432000 4194304 4196468 140736283256960 139639391582480 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30778] ppid=30773 vsize=26605264 memory=668820 CPUtime=0.41 cores=0-7 /proc/30775/task/30778/stat : 30778 (java) S 30773 30773 8644 0 -1 1077944384 220 0 0 0 32 9 0 0 20 0 28 0 97760245 27243790336 170950 33554432000 4194304 4196468 140736283256960 139639390529936 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30779] ppid=30773 vsize=26605264 memory=1380 CPUtime=0.43 cores=0-7 /proc/30775/task/30779/stat : 30779 (java) S 30773 30773 8644 0 -1 1077944384 217 0 0 0 32 11 0 0 20 0 28 0 97760245 27243790336 170950 33554432000 4194304 4196468 140736283256960 139639389477392 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30780] ppid=30773 vsize=26605264 memory=669664 CPUtime=0.4 cores=0-7 /proc/30775/task/30780/stat : 30780 (java) S 30773 30773 8644 0 -1 1077944384 181 0 0 0 30 10 0 0 20 0 28 0 97760245 27243790336 170950 33554432000 4194304 4196468 140736283256960 139639388424848 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30781] ppid=30773 vsize=26605264 memory=81 CPUtime=0.4 cores=0-7 /proc/30775/task/30781/stat : 30781 (java) S 30773 30773 8644 0 -1 1077944384 171 0 0 0 31 9 0 0 20 0 28 0 97760245 27243790336 170950 33554432000 4194304 4196468 140736283256960 139639387372304 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30782] ppid=30773 vsize=26605264 memory=0 CPUtime=0.41 cores=0-7 /proc/30775/task/30782/stat : 30782 (java) S 30773 30773 8644 0 -1 1077944384 380 0 0 0 32 9 0 0 20 0 28 0 97760245 27243790336 170950 33554432000 4194304 4196468 140736283256960 139638992141200 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30783] ppid=30773 vsize=26605264 memory=5936958596294135889 CPUtime=0.43 cores=0-7 /proc/30775/task/30783/stat : 30783 (java) S 30773 30773 8644 0 -1 1077944384 334 0 0 0 32 11 0 0 20 0 28 0 97760245 27243790336 170950 33554432000 4194304 4196468 140736283256960 139638991088656 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30784] ppid=30773 vsize=26605264 memory=7595690651280566592 CPUtime=0.37 cores=0-7 /proc/30775/task/30784/stat : 30784 (java) S 30773 30773 8644 0 -1 1077944384 201 0 0 0 29 8 0 0 20 0 28 0 97760245 27243790336 170950 33554432000 4194304 4196468 140736283256960 139638990036112 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30785] ppid=30773 vsize=26605264 memory=6369048996633663824 CPUtime=0.02 cores=0-7 /proc/30775/task/30785/stat : 30785 (java) S 30773 30773 8644 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 28 0 97760246 27243790336 170950 33554432000 4194304 4196468 140736283256960 139637711120368 139639438973570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30786] ppid=30773 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30786/stat : 30786 (java) S 30773 30773 8644 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97760247 27243790336 170950 33554432000 4194304 4196468 140736283256960 139637710066656 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30787] ppid=30773 vsize=26605264 memory=4420 CPUtime=0 cores=0-7 /proc/30775/task/30787/stat : 30787 (java) S 30773 30773 8644 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97760247 27243790336 170950 33554432000 4194304 4196468 140736283256960 139637506958336 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30788] ppid=30773 vsize=26605264 memory=6628 CPUtime=0 cores=0-7 /proc/30775/task/30788/stat : 30788 (java) S 30773 30773 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97760249 27243790336 170950 33554432000 4194304 4196468 140736283256960 139637505906896 139639438981019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30789] ppid=30773 vsize=26605264 memory=8836 CPUtime=1.41 cores=0-7 /proc/30775/task/30789/stat : 30789 (java) S 30773 30773 8644 0 -1 1077944384 2356 0 0 0 141 0 0 0 20 0 28 0 97760249 27243790336 170950 33554432000 4194304 4196468 140736283256960 139637504854512 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30790] ppid=30773 vsize=26605264 memory=568212 CPUtime=1.62 cores=0-7 /proc/30775/task/30790/stat : 30790 (java) R 30773 30773 8644 0 -1 4202560 2684 0 0 0 162 0 0 0 20 0 28 0 97760249 27243790336 170950 33554432000 4194304 4196468 140736283256960 139637503801968 139639422454177 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30791] ppid=30773 vsize=26605264 memory=439148 CPUtime=1.53 cores=0-7 /proc/30775/task/30791/stat : 30791 (java) R 30773 30773 8644 0 -1 4202560 2965 0 0 0 152 1 0 0 20 0 28 0 97760249 27243790336 170950 33554432000 4194304 4196468 140736283256960 139637502749424 139639416557207 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30792] ppid=30773 vsize=26605264 memory=0 CPUtime=0.75 cores=0-7 /proc/30775/task/30792/stat : 30792 (java) S 30773 30773 8644 0 -1 1077944384 3392 0 0 0 73 2 0 0 20 0 28 0 97760249 27243790336 170950 33554432000 4194304 4196468 140736283256960 139637501696880 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30793] ppid=30773 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30793/stat : 30793 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97760249 27243790336 170950 33554432000 4194304 4196468 140736283256960 139637500643552 139639438972629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 [pid=30775/tid=30794] ppid=30773 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/30775/task/30794/stat : 30794 (java) S 30773 30773 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97760250 27243790336 170950 33554432000 4194304 4196468 140736283256960 139637499591088 139639438973570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736283260056 140736283260232 140736283260232 140736283262927 0 Current children cumulated CPU time: 17.89 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 685180 KiB Child status: 0 Real time (s): 2.92916 CPU time (s): 17.9482 CPU user time (s): 16.921 CPU system time (s): 1.02718 CPU usage (%): 612.741 Max. virtual memory (cumulated for all children) (KiB): 26614776 Max. memory (cumulated for all children) (KiB): 685180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.921 system time used= 1.02718 maximum resident set size= 687224 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28057 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5519 involuntary context switches= 457 # summary of solver processes directly reported to runsolver: # pid: 30773 # total CPU time (s): 17.9482 # total CPU user time (s): 16.921 # total CPU system time (s): 1.02718 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.046342 second user time and 0.070566 second system time The end
Begin job on node113 at 2017-08-13 19:37:48 IDJOB=4271517 IDBENCH=138327 IDSOLVER=2663 FILE ID=node113/4271517-1502646726 RUNJOBID= node113-1502637253-8671 PBS_JOBID= 20628327 Free space on /tmp= 61788 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff37.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271517-1502646726/watcher-4271517-1502646726 -o /tmp/evaluation-result-4271517-1502646726/solver-4271517-1502646726 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1490795487 HOME/instance-4271517-1502646726.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= dbb927e38b62f74060b1eb924850c2da RANDOM SEED=1490795487 node113.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.89 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.89 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.89 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.89 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: 31577252 kB MemAvailable: 31985312 kB Buffers: 124772 kB Cached: 570460 kB SwapCached: 0 kB Active: 572272 kB Inactive: 176952 kB Active(anon): 4432 kB Inactive(anon): 77700 kB Active(file): 567840 kB Inactive(file): 99252 kB Unevictable: 6572 kB Mlocked: 6572 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8092 kB Writeback: 0 kB AnonPages: 74788 kB Mapped: 43460 kB Shmem: 25224 kB Slab: 139432 kB SReclaimable: 113604 kB SUnreclaim: 25828 kB KernelStack: 3520 kB PageTables: 4788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324268 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61780 MiB End job on node113 at 2017-08-13 19:37:51