Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 2518.24 | 316.655 |
Name | QuasiGroups/QuasiGroups-elt-qg3/ QuasiGroup-3-12.xml |
MD5SUM | e29963f3eb1abf29691517033ab1fcf0 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 10.0419 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 288 |
Number of constraints | 266 |
Number of domains | 2 |
Minimum domain size | 12 |
Maximum domain size | 144 |
Distribution of domain sizes | [{"size":12,"count":144},{"size":144,"count":132}] |
Minimum variable degree | 0 |
Maximum variable degree | 135 |
Distribution of variable degrees | [{"degree":0,"count":12},{"degree":2,"count":132},{"degree":134,"count":12},{"degree":135,"count":132}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 145 |
Distribution of constraint arities | [{"arity":3,"count":132},{"arity":12,"count":1},{"arity":144,"count":1},{"arity":145,"count":132}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 132 |
Distribution of constraint types | [{"type":"intension","count":132},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":132}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406850-1569352629.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406850-1569352629.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.97/1.07 c solve instance... 2517.93/316.63 s SATISFIABLE 2517.93/316.63 v <instantiation> 2517.93/316.63 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[1][0] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[2][0] y[2][1] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[3][0] y[3][1] y[3][2] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[4][0] y[4][1] y[4][2] y[4][3] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][8] y[7][9] y[7][10] y[7][11] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][9] y[8][10] y[8][11] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][10] y[9][11] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][11] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] </list> 2517.93/316.63 v <values>0 10 11 6 1 9 4 8 5 2 3 7 4 1 0 11 10 3 9 6 2 5 7 8 8 4 2 0 3 7 1 10 9 11 5 6 10 7 9 3 5 0 11 2 1 6 8 4 2 11 7 9 4 6 8 5 3 10 1 0 1 8 4 10 7 5 2 0 11 3 6 9 11 3 8 2 9 10 6 4 7 1 0 5 6 9 1 4 2 8 5 7 10 0 11 3 7 6 10 5 11 1 0 3 8 4 9 2 3 0 5 1 8 4 7 11 6 9 2 10 5 2 6 7 0 11 3 9 4 8 10 1 9 5 3 8 6 2 10 1 0 7 4 11 124 140 82 14 109 59 102 67 27 41 93 58 4 139 131 44 111 81 30 60 86 101 107 48 9 43 88 20 121 118 137 66 75 126 95 108 69 10 134 28 17 73 103 56 25 142 87 113 79 105 62 47 128 12 6 21 99 55 120 90 34 8 133 40 83 110 136 45 97 35 116 122 53 84 19 3 70 80 114 22 50 29 96 64 123 11 141 37 89 74 129 61 135 23 7 46 54 112 24 38 5 71 18 106 51 85 132 76 32 127 63 31 77 92 1 138 36 119 57 98 16 115 68 42 100 72 33 125 15 2 94 49 </values> 2517.93/316.63 v </instantiation>
OK
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 (13350 MiB free) memory of node 1: 16384 MiB (11693 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406850-1569352629/watcher-4406850-1569352629 -o /var/tmp/evaluation-result-4406850-1569352629/solver-4406850-1569352629 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569349193-2435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 888787564 HOME/instance-4406850-1569352629.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=5175, runsolver pid=5172 Current StackSize limit: 8192 KiB [startup+0.100116 s]* /proc/loadavg: 8.16 7.81 7.93 2/212 5196 /proc/meminfo: memFree=25625480/32770624 swapFree=66953496/67108860 [pid=5175] ppid=5172 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5175/stat : 5175 (xcsp3-exec) S 5172 5175 2396 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511177632 115843072 362 33554432000 4194304 5098028 140737422385776 140737422383880 140198065107580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34631680 140737422394194 140737422394453 140737422394453 140737422397382 0 /proc/5175/statm: 28282 362 304 221 0 87 0 [pid=5177] ppid=5175 vsize=28227396 memory=31920 CPUtime=0.13 cores=0-7 /proc/5177/stat : 5177 (java) S 5175 5175 2396 0 -1 1077944320 5439 0 0 0 11 2 0 0 20 0 20 0 511177632 28904853504 7980 33554432000 4194304 4196468 140724489806464 140724489789008 140562041016055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 /proc/5177/statm: 7056849 7980 3121 1 0 7019032 0 [pid=5177/tid=5178] ppid=5175 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/5177/task/5178/stat : 5178 (java) R 5175 5175 2396 0 -1 4202560 3352 0 0 0 8 1 0 0 20 0 20 0 511177632 28904853504 7980 33554432000 4194304 4196468 140724489806464 140562045248304 140562041037981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5179] ppid=5175 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/5177/task/5179/stat : 5179 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561999776784 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5180] ppid=5175 vsize=28227396 memory=140339360241280 CPUtime=0 cores=0-7 /proc/5177/task/5180/stat : 5180 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561591839888 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5181] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5181/stat : 5181 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561590786832 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5182] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5182/stat : 5182 (java) S 5175 5175 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561589734288 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5183] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5183/stat : 5183 (java) S 5175 5175 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561588681232 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5184] ppid=5175 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5177/task/5184/stat : 5184 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561587628688 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5185] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5185/stat : 5185 (java) S 5175 5175 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561586575632 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5186] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5186/stat : 5186 (java) S 5175 5175 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561585523088 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5187] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5187/stat : 5187 (java) S 5175 5175 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511177634 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561291553520 140562041027202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5188] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5188/stat : 5188 (java) S 5175 5175 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511177635 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561290499744 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5189] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5189/stat : 5189 (java) S 5175 5175 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511177635 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561289446640 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5190] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5190/stat : 5190 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177637 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561288395216 140562041034651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5191] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5191/stat : 5191 (java) S 5175 5175 2396 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 511177637 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561287342320 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5192] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5192/stat : 5192 (java) R 5175 5175 2396 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511177637 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561286289776 140562041027202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5193] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5193/stat : 5193 (java) R 5175 5175 2396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 511177638 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561285236720 140562027059327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5194] ppid=5175 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/5177/task/5194/stat : 5194 (java) R 5175 5175 2396 0 -1 4202560 361 0 0 0 1 0 0 0 20 0 20 0 511177638 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561284184176 140562033253182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5195] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5195/stat : 5195 (java) S 5175 5175 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511177638 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561283132384 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5196] ppid=5175 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5177/task/5196/stat : 5196 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177638 28904853504 7980 33554432000 4194304 4196468 140724489806464 140561282079920 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 33368 KiB [startup+0.210696 s]* /proc/loadavg: 8.16 7.81 7.93 3/212 5196 /proc/meminfo: memFree=25613012/32770624 swapFree=66953496/67108860 [pid=5175] ppid=5172 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5175/stat : 5175 (xcsp3-exec) S 5172 5175 2396 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511177632 115843072 362 33554432000 4194304 5098028 140737422385776 140737422383880 140198065107580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34631680 140737422394194 140737422394453 140737422394453 140737422397382 0 /proc/5175/statm: 28282 362 304 221 0 87 0 [pid=5177] ppid=5175 vsize=28227396 memory=43448 CPUtime=0.33 cores=0-7 /proc/5177/stat : 5177 (java) S 5175 5175 2396 0 -1 1077944320 9016 0 0 0 30 3 0 0 20 0 20 0 511177632 28904853504 10862 33554432000 4194304 4196468 140724489806464 140724489789008 140562041016055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 /proc/5177/statm: 7056849 10862 3316 1 0 7019032 0 [pid=5177/tid=5178] ppid=5175 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/5177/task/5178/stat : 5178 (java) R 5175 5175 2396 0 -1 4202560 6163 0 0 0 18 2 0 0 20 0 20 0 511177632 28904853504 10862 33554432000 4194304 4196468 140724489806464 140562045250752 140562041027990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5179] ppid=5175 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/5177/task/5179/stat : 5179 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561999776784 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5180] ppid=5175 vsize=28227396 memory=140339363490651 CPUtime=0 cores=0-7 /proc/5177/task/5180/stat : 5180 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561591839888 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5181] ppid=5175 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5177/task/5181/stat : 5181 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561590786832 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5182] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5182/stat : 5182 (java) S 5175 5175 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561589734288 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5183] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5183/stat : 5183 (java) S 5175 5175 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561588681232 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5184] ppid=5175 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5177/task/5184/stat : 5184 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561587628688 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5185] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5185/stat : 5185 (java) S 5175 5175 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561586575632 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5186] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5186/stat : 5186 (java) S 5175 5175 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511177633 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561585523088 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5187] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5187/stat : 5187 (java) S 5175 5175 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511177634 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561291553520 140562041027202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5188] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5188/stat : 5188 (java) S 5175 5175 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511177635 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561290499744 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5189] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5189/stat : 5189 (java) S 5175 5175 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511177635 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561289446640 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5190] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5190/stat : 5190 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177637 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561288395216 140562041034651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5191] ppid=5175 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/5177/task/5191/stat : 5191 (java) S 5175 5175 2396 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 20 0 511177637 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561287342320 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5192] ppid=5175 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/5177/task/5192/stat : 5192 (java) S 5175 5175 2396 0 -1 1077944384 333 0 0 0 2 0 0 0 20 0 20 0 511177637 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561286289776 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5193] ppid=5175 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/5177/task/5193/stat : 5193 (java) S 5175 5175 2396 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 20 0 511177638 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561285236720 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5194] ppid=5175 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/5177/task/5194/stat : 5194 (java) R 5175 5175 2396 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 20 0 511177638 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561284184176 140562019745363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5195] ppid=5175 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5195/stat : 5195 (java) S 5175 5175 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511177638 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561283132384 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5196] ppid=5175 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5177/task/5196/stat : 5196 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177638 28904853504 10862 33554432000 4194304 4196468 140724489806464 140561282079920 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 44896 KiB [startup+0.31825 s]* /proc/loadavg: 8.16 7.81 7.93 3/212 5196 /proc/meminfo: memFree=25606000/32770624 swapFree=66953496/67108860 [pid=5175] ppid=5172 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5175/stat : 5175 (xcsp3-exec) S 5172 5175 2396 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511177632 115843072 362 33554432000 4194304 5098028 140737422385776 140737422383880 140198065107580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34631680 140737422394194 140737422394453 140737422394453 140737422397382 0 /proc/5175/statm: 28282 362 304 221 0 87 0 [pid=5177] ppid=5175 vsize=28231652 memory=52472 CPUtime=0.54 cores=0-7 /proc/5177/stat : 5177 (java) S 5175 5175 2396 0 -1 1077944320 10477 0 0 0 50 4 0 0 20 0 20 0 511177632 28909211648 13118 33554432000 4194304 4196468 140724489806464 140724489789008 140562041016055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 /proc/5177/statm: 7057913 13118 3356 1 0 7019032 0 [pid=5177/tid=5178] ppid=5175 vsize=28231652 memory=1398722017469774279 CPUtime=0.31 cores=0-7 /proc/5177/task/5178/stat : 5178 (java) R 5175 5175 2396 0 -1 4202560 7381 0 0 0 28 3 0 0 20 0 20 0 511177632 28909211648 13183 33554432000 4194304 4196468 140724489806464 140562045250592 140562025096542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5179] ppid=5175 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5179/stat : 5179 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561999776784 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5180] ppid=5175 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5180/stat : 5180 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561591839888 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5181] ppid=5175 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5181/stat : 5181 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561590786832 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5182] ppid=5175 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5182/stat : 5182 (java) S 5175 5175 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511177633 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561589734288 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5183] ppid=5175 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5183/stat : 5183 (java) S 5175 5175 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511177633 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561588681232 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5184] ppid=5175 vsize=28231652 memory=140339197340335 CPUtime=0 cores=0-7 /proc/5177/task/5184/stat : 5184 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561587628688 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5185] ppid=5175 vsize=28231652 memory=140339197342640 CPUtime=0 cores=0-7 /proc/5177/task/5185/stat : 5185 (java) S 5175 5175 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511177633 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561586575632 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5186] ppid=5175 vsize=28231652 memory=140339197344944 CPUtime=0 cores=0-7 /proc/5177/task/5186/stat : 5186 (java) S 5175 5175 2396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511177633 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561585523088 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5187] ppid=5175 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5187/stat : 5187 (java) S 5175 5175 2396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511177634 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561291553520 140562041027202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5188] ppid=5175 vsize=28231652 memory=280678394703760 CPUtime=0 cores=0-7 /proc/5177/task/5188/stat : 5188 (java) S 5175 5175 2396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511177635 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561290499744 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5189] ppid=5175 vsize=28231652 memory=280678394701456 CPUtime=0 cores=0-7 /proc/5177/task/5189/stat : 5189 (java) S 5175 5175 2396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511177635 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561289446640 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5190] ppid=5175 vsize=28231652 memory=280678394708368 CPUtime=0 cores=0-7 /proc/5177/task/5190/stat : 5190 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177637 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561288395216 140562041034651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5191] ppid=5175 vsize=28231652 memory=280678394649648 CPUtime=0.03 cores=0-7 /proc/5177/task/5191/stat : 5191 (java) S 5175 5175 2396 0 -1 1077944384 397 0 0 0 3 0 0 0 20 0 20 0 511177637 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561287342320 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5192] ppid=5175 vsize=28231652 memory=280678394722192 CPUtime=0.02 cores=0-7 /proc/5177/task/5192/stat : 5192 (java) S 5175 5175 2396 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 20 0 511177637 28909211648 13183 33554432000 4194304 4196468 140724489806464 140561286289776 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5193] ppid=5175 vsize=28231652 memory=280678394729104 CPUtime=0.04 cores=0-7 /proc/5177/task/5193/stat : 5193 (java) S 5175 5175 2396 0 -1 1077944384 238 0 0 0 4 0 0 0 20 0 20 0 511177638 28909211648 13192 33554432000 4194304 4196468 140724489806464 140561285236720 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5194] ppid=5175 vsize=28231652 memory=280678394726800 CPUtime=0.12 cores=0-7 /proc/5177/task/5194/stat : 5194 (java) S 5175 5175 2396 0 -1 1077944384 823 0 0 0 12 0 0 0 20 0 20 0 511177638 28909211648 13192 33554432000 4194304 4196468 140724489806464 140561284184176 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5195] ppid=5175 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5195/stat : 5195 (java) S 5175 5175 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511177638 28909211648 13192 33554432000 4194304 4196468 140724489806464 140561283132384 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5196] ppid=5175 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/5177/task/5196/stat : 5196 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177638 28909211648 13192 33554432000 4194304 4196468 140724489806464 140561282079920 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 53920 KiB [startup+0.701001 s] /proc/loadavg: 8.16 7.81 7.93 4/212 5196 /proc/meminfo: memFree=25592172/32770624 swapFree=66953496/67108860 [pid=5175] ppid=5172 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5175/stat : 5175 (xcsp3-exec) S 5172 5175 2396 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511177632 115843072 362 33554432000 4194304 5098028 140737422385776 140737422383880 140198065107580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34631680 140737422394194 140737422394453 140737422394453 140737422397382 0 /proc/5175/statm: 28282 362 304 221 0 87 0 [pid=5177] ppid=5175 vsize=28233776 memory=91256 CPUtime=1.69 cores=0-7 /proc/5177/stat : 5177 (java) S 5175 5175 2396 0 -1 1077944320 13861 0 0 0 162 7 0 0 20 0 20 0 511177632 28911386624 22814 33554432000 4194304 4196468 140724489806464 140724489789008 140562041016055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 /proc/5177/statm: 7058444 22814 3457 1 0 7019544 0 [pid=5177/tid=5178] ppid=5175 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/5177/task/5178/stat : 5178 (java) R 5175 5175 2396 0 -1 4202560 8543 0 0 0 64 3 0 0 20 0 20 0 511177632 28911386624 22814 33554432000 4194304 4196468 140724489806464 140562045251504 140561681253512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5179] ppid=5175 vsize=28233776 memory=140339197551472 CPUtime=0 cores=0-7 /proc/5177/task/5179/stat : 5179 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28911386624 22814 33554432000 4194304 4196468 140724489806464 140561999776784 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5180] ppid=5175 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/5177/task/5180/stat : 5180 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28911386624 22814 33554432000 4194304 4196468 140724489806464 140561591839888 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5181] ppid=5175 vsize=28233776 memory=1276 CPUtime=0 cores=0-7 /proc/5177/task/5181/stat : 5181 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511177633 28911386624 22814 33554432000 4194304 4196468 140724489806464 140561590786832 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 ################ # More data... # ################ [pid=5177/tid=5194] ppid=5175 vsize=28768336 memory=201068 CPUtime=0.89 cores=0-7 /proc/5177/task/5194/stat : 5194 (java) S 5175 5175 2396 0 -1 1077944384 8935 0 0 0 87 2 0 0 20 0 28 0 511177638 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561284184176 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5195] ppid=5175 vsize=28768336 memory=1652 CPUtime=0 cores=0-7 /proc/5177/task/5195/stat : 5195 (java) S 5175 5175 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511177638 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561283132384 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5196] ppid=5175 vsize=28768336 memory=1398722017469774279 CPUtime=0.06 cores=0-7 /proc/5177/task/5196/stat : 5196 (java) S 5175 5175 2396 0 -1 1077944384 865 0 0 0 0 6 0 0 20 0 28 0 511177638 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561282079920 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5197] ppid=5175 vsize=28768336 memory=4872558044660077418 CPUtime=311.03 cores=0-7 /proc/5177/task/5197/stat : 5197 (java) R 5175 5175 2396 0 -1 4202560 1906 0 0 0 31101 2 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561272859640 140561686683132 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5198] ppid=5175 vsize=28768336 memory=3796 CPUtime=312.98 cores=0-7 /proc/5177/task/5198/stat : 5198 (java) R 5175 5175 2396 0 -1 4202560 1319 0 0 0 31298 0 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561271808168 140561685870412 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5199] ppid=5175 vsize=28768336 memory=1448 CPUtime=313.03 cores=0-7 /proc/5177/task/5199/stat : 5199 (java) R 5175 5175 2396 0 -1 4202560 5431 0 0 0 31299 4 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561270755040 140561688053706 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5200] ppid=5175 vsize=28768336 memory=201068 CPUtime=313.31 cores=0-7 /proc/5177/task/5200/stat : 5200 (java) R 5175 5175 2396 0 -1 4202560 3866 0 0 0 31328 3 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561269705344 140561685870324 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5201] ppid=5175 vsize=28768336 memory=1652 CPUtime=313.29 cores=0-7 /proc/5177/task/5201/stat : 5201 (java) R 5175 5175 2396 0 -1 4202560 2985 0 0 0 31328 1 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561268649592 140561686204587 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5202] ppid=5175 vsize=28768336 memory=1448 CPUtime=313.41 cores=0-7 /proc/5177/task/5202/stat : 5202 (java) R 5175 5175 2396 0 -1 4202560 2446 0 0 0 31340 1 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561267596968 140561685870324 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5203] ppid=5175 vsize=28768336 memory=1560 CPUtime=313.01 cores=0-7 /proc/5177/task/5203/stat : 5203 (java) R 5175 5175 2396 0 -1 4202560 1264 0 0 0 31301 0 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561266545000 140561685870282 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5204] ppid=5175 vsize=28768336 memory=924 CPUtime=312 cores=0-7 /proc/5177/task/5204/stat : 5204 (java) R 5175 5175 2396 0 -1 4202560 2457 0 0 0 31198 2 0 0 20 0 28 0 511177741 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561265492104 140561685387574 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 Current children cumulated CPU time: 2513.2 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 202516 KiB [startup+316.401 s] /proc/loadavg: 8.07 8.07 8.01 9/220 5231 /proc/meminfo: memFree=25456400/32770624 swapFree=66953496/67108860 [pid=5175] ppid=5172 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5175/stat : 5175 (xcsp3-exec) S 5172 5175 2396 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511177632 115843072 362 33554432000 4194304 5098028 140737422385776 140737422383880 140198065107580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34631680 140737422394194 140737422394453 140737422394453 140737422397382 0 /proc/5175/statm: 28282 362 304 221 0 87 0 [pid=5177] ppid=5175 vsize=28768336 memory=201068 CPUtime=2516.33 cores=0-7 /proc/5177/stat : 5177 (java) S 5175 5175 2396 0 -1 1077944320 103118 0 0 0 251560 73 0 0 20 0 28 0 511177632 29458776064 50267 33554432000 4194304 4196468 140724489806464 140724489789008 140562041016055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 /proc/5177/statm: 7192084 50267 3536 1 0 7153184 0 [pid=5177/tid=5178] ppid=5175 vsize=28768336 memory=776 CPUtime=1.04 cores=0-7 /proc/5177/task/5178/stat : 5178 (java) S 5175 5175 2396 0 -1 1077944384 9363 0 0 0 99 5 0 0 20 0 28 0 511177632 29458776064 50267 33554432000 4194304 4196468 140724489806464 140562045256832 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5179] ppid=5175 vsize=28768336 memory=2832 CPUtime=0.21 cores=0-7 /proc/5177/task/5179/stat : 5179 (java) S 5175 5175 2396 0 -1 1077944384 3606 0 0 0 17 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561999776784 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5180] ppid=5175 vsize=28768336 memory=1448 CPUtime=0.2 cores=0-7 /proc/5177/task/5180/stat : 5180 (java) S 5175 5175 2396 0 -1 1077944384 3829 0 0 0 15 5 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561591839888 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5181] ppid=5175 vsize=28768336 memory=201068 CPUtime=0.21 cores=0-7 /proc/5177/task/5181/stat : 5181 (java) S 5175 5175 2396 0 -1 1077944384 4701 0 0 0 17 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561590786832 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5182] ppid=5175 vsize=28768336 memory=1560 CPUtime=0.19 cores=0-7 /proc/5177/task/5182/stat : 5182 (java) S 5175 5175 2396 0 -1 1077944384 1175 0 0 0 15 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561589734288 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5183] ppid=5175 vsize=28768336 memory=924 CPUtime=0.21 cores=0-7 /proc/5177/task/5183/stat : 5183 (java) S 5175 5175 2396 0 -1 1077944384 1576 0 0 0 17 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561588681232 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5184] ppid=5175 vsize=28768336 memory=3688 CPUtime=0.21 cores=0-7 /proc/5177/task/5184/stat : 5184 (java) S 5175 5175 2396 0 -1 1077944384 3570 0 0 0 17 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561587628688 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5185] ppid=5175 vsize=28768336 memory=1984 CPUtime=0.21 cores=0-7 /proc/5177/task/5185/stat : 5185 (java) S 5175 5175 2396 0 -1 1077944384 2211 0 0 0 17 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561586575632 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5186] ppid=5175 vsize=28768336 memory=1440 CPUtime=0.21 cores=0-7 /proc/5177/task/5186/stat : 5186 (java) S 5175 5175 2396 0 -1 1077944384 3202 0 0 0 17 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561585523088 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5187] ppid=5175 vsize=28768336 memory=808 CPUtime=0.14 cores=0-7 /proc/5177/task/5187/stat : 5187 (java) S 5175 5175 2396 0 -1 1077944384 4817 0 0 0 11 3 0 0 20 0 28 0 511177634 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561291553520 140562041027202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5188] ppid=5175 vsize=28768336 memory=2580 CPUtime=0 cores=0-7 /proc/5177/task/5188/stat : 5188 (java) S 5175 5175 2396 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 511177635 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561290499808 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5189] ppid=5175 vsize=28768336 memory=1760 CPUtime=0 cores=0-7 /proc/5177/task/5189/stat : 5189 (java) S 5175 5175 2396 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 511177635 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561289446656 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5190] ppid=5175 vsize=28768336 memory=1808 CPUtime=0 cores=0-7 /proc/5177/task/5190/stat : 5190 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511177637 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561288395216 140562041034651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5191] ppid=5175 vsize=28768336 memory=111636 CPUtime=2.56 cores=0-7 /proc/5177/task/5191/stat : 5191 (java) S 5175 5175 2396 0 -1 1077944384 11894 0 0 0 254 2 0 0 20 0 28 0 511177637 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561287342320 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5192] ppid=5175 vsize=28768336 memory=808 CPUtime=2.3 cores=0-7 /proc/5177/task/5192/stat : 5192 (java) S 5175 5175 2396 0 -1 1077944384 9022 0 0 0 228 2 0 0 20 0 28 0 511177637 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561286289776 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5193] ppid=5175 vsize=28768336 memory=924 CPUtime=2.3 cores=0-7 /proc/5177/task/5193/stat : 5193 (java) S 5175 5175 2396 0 -1 1077944384 11272 0 0 0 227 3 0 0 20 0 28 0 511177638 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561285236720 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5194] ppid=5175 vsize=28768336 memory=4476 CPUtime=0.89 cores=0-7 /proc/5177/task/5194/stat : 5194 (java) S 5175 5175 2396 0 -1 1077944384 8935 0 0 0 87 2 0 0 20 0 28 0 511177638 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561284184176 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5195] ppid=5175 vsize=28768336 memory=4104 CPUtime=0 cores=0-7 /proc/5177/task/5195/stat : 5195 (java) S 5175 5175 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511177638 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561283132384 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5196] ppid=5175 vsize=28768336 memory=1408 CPUtime=0.06 cores=0-7 /proc/5177/task/5196/stat : 5196 (java) S 5175 5175 2396 0 -1 1077944384 865 0 0 0 0 6 0 0 20 0 28 0 511177638 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561282079920 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5197] ppid=5175 vsize=28768336 memory=3796 CPUtime=311.42 cores=0-7 /proc/5177/task/5197/stat : 5197 (java) R 5175 5175 2396 0 -1 4202560 1906 0 0 0 31140 2 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561272859640 140561685869790 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5198] ppid=5175 vsize=28768336 memory=1448 CPUtime=313.37 cores=0-7 /proc/5177/task/5198/stat : 5198 (java) R 5175 5175 2396 0 -1 4202560 1319 0 0 0 31337 0 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561271808168 140561685870856 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5199] ppid=5175 vsize=28768336 memory=201068 CPUtime=313.42 cores=0-7 /proc/5177/task/5199/stat : 5199 (java) R 5175 5175 2396 0 -1 4202560 5431 0 0 0 31338 4 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561270755040 140561687293844 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5200] ppid=5175 vsize=28768336 memory=1652 CPUtime=313.7 cores=0-7 /proc/5177/task/5200/stat : 5200 (java) R 5175 5175 2396 0 -1 4202560 3866 0 0 0 31367 3 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561269705344 140561686204543 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5201] ppid=5175 vsize=28768336 memory=1398722017469774279 CPUtime=313.68 cores=0-7 /proc/5177/task/5201/stat : 5201 (java) R 5175 5175 2396 0 -1 4202560 2985 0 0 0 31367 1 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561268649592 140561685387574 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5202] ppid=5175 vsize=28768336 memory=4872558044660077418 CPUtime=313.8 cores=0-7 /proc/5177/task/5202/stat : 5202 (java) R 5175 5175 2396 0 -1 4202560 2446 0 0 0 31379 1 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561267596968 140561684995872 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5203] ppid=5175 vsize=28768336 memory=-7740702968234535778 CPUtime=313.4 cores=0-7 /proc/5177/task/5203/stat : 5203 (java) R 5175 5175 2396 0 -1 4202560 1264 0 0 0 31340 0 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561266545000 140561686793663 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5204] ppid=5175 vsize=28768336 memory=-3967418655009478292 CPUtime=312.39 cores=0-7 /proc/5177/task/5204/stat : 5204 (java) R 5175 5175 2396 0 -1 4202560 2457 0 0 0 31237 2 0 0 20 0 28 0 511177741 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561265492104 140561686793663 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 Current children cumulated CPU time: 2516.33 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 202516 KiB [startup+316.601 s] /proc/loadavg: 8.07 8.07 8.01 9/220 5231 /proc/meminfo: memFree=25456400/32770624 swapFree=66953496/67108860 [pid=5175] ppid=5172 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5175/stat : 5175 (xcsp3-exec) S 5172 5175 2396 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511177632 115843072 362 33554432000 4194304 5098028 140737422385776 140737422383880 140198065107580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34631680 140737422394194 140737422394453 140737422394453 140737422397382 0 /proc/5175/statm: 28282 362 304 221 0 87 0 [pid=5177] ppid=5175 vsize=28768336 memory=201068 CPUtime=2517.93 cores=0-7 /proc/5177/stat : 5177 (java) S 5175 5175 2396 0 -1 1077944320 103118 0 0 0 251720 73 0 0 20 0 28 0 511177632 29458776064 50267 33554432000 4194304 4196468 140724489806464 140724489789008 140562041016055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 /proc/5177/statm: 7192084 50267 3536 1 0 7153184 0 [pid=5177/tid=5178] ppid=5175 vsize=28768336 memory=-3253322038155612046 CPUtime=1.04 cores=0-7 /proc/5177/task/5178/stat : 5178 (java) S 5175 5175 2396 0 -1 1077944384 9363 0 0 0 99 5 0 0 20 0 28 0 511177632 29458776064 50267 33554432000 4194304 4196468 140724489806464 140562045256832 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5179] ppid=5175 vsize=28768336 memory=-2026666227646606747 CPUtime=0.21 cores=0-7 /proc/5177/task/5179/stat : 5179 (java) S 5175 5175 2396 0 -1 1077944384 3606 0 0 0 17 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561999776784 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5180] ppid=5175 vsize=28768336 memory=201068 CPUtime=0.2 cores=0-7 /proc/5177/task/5180/stat : 5180 (java) S 5175 5175 2396 0 -1 1077944384 3829 0 0 0 15 5 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561591839888 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5181] ppid=5175 vsize=28768336 memory=288230574492221466 CPUtime=0.21 cores=0-7 /proc/5177/task/5181/stat : 5181 (java) S 5175 5175 2396 0 -1 1077944384 4701 0 0 0 17 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561590786832 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5182] ppid=5175 vsize=28768336 memory=288230596050944315 CPUtime=0.19 cores=0-7 /proc/5177/task/5182/stat : 5182 (java) S 5175 5175 2396 0 -1 1077944384 1175 0 0 0 15 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561589734288 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5183] ppid=5175 vsize=28768336 memory=14698482732632486 CPUtime=0.21 cores=0-7 /proc/5177/task/5183/stat : 5183 (java) S 5175 5175 2396 0 -1 1077944384 1576 0 0 0 17 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561588681232 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5184] ppid=5175 vsize=28768336 memory=1448 CPUtime=0.21 cores=0-7 /proc/5177/task/5184/stat : 5184 (java) S 5175 5175 2396 0 -1 1077944384 3570 0 0 0 17 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561587628688 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5185] ppid=5175 vsize=28768336 memory=201068 CPUtime=0.21 cores=0-7 /proc/5177/task/5185/stat : 5185 (java) S 5175 5175 2396 0 -1 1077944384 2211 0 0 0 17 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561586575632 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5186] ppid=5175 vsize=28768336 memory=1398722017469774279 CPUtime=0.21 cores=0-7 /proc/5177/task/5186/stat : 5186 (java) S 5175 5175 2396 0 -1 1077944384 3202 0 0 0 17 4 0 0 20 0 28 0 511177633 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561585523088 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5187] ppid=5175 vsize=28768336 memory=4872558044660077418 CPUtime=0.14 cores=0-7 /proc/5177/task/5187/stat : 5187 (java) S 5175 5175 2396 0 -1 1077944384 4817 0 0 0 11 3 0 0 20 0 28 0 511177634 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561291553520 140562041027202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5188] ppid=5175 vsize=28768336 memory=111636 CPUtime=0 cores=0-7 /proc/5177/task/5188/stat : 5188 (java) S 5175 5175 2396 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 511177635 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561290499808 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5189] ppid=5175 vsize=28768336 memory=808 CPUtime=0 cores=0-7 /proc/5177/task/5189/stat : 5189 (java) S 5175 5175 2396 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 511177635 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561289446656 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5190] ppid=5175 vsize=28768336 memory=924 CPUtime=0 cores=0-7 /proc/5177/task/5190/stat : 5190 (java) S 5175 5175 2396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511177637 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561288395216 140562041034651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5191] ppid=5175 vsize=28768336 memory=4476 CPUtime=2.56 cores=0-7 /proc/5177/task/5191/stat : 5191 (java) S 5175 5175 2396 0 -1 1077944384 11894 0 0 0 254 2 0 0 20 0 28 0 511177637 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561287342320 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5192] ppid=5175 vsize=28768336 memory=4104 CPUtime=2.3 cores=0-7 /proc/5177/task/5192/stat : 5192 (java) S 5175 5175 2396 0 -1 1077944384 9022 0 0 0 228 2 0 0 20 0 28 0 511177637 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561286289776 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5193] ppid=5175 vsize=28768336 memory=1408 CPUtime=2.3 cores=0-7 /proc/5177/task/5193/stat : 5193 (java) S 5175 5175 2396 0 -1 1077944384 11272 0 0 0 227 3 0 0 20 0 28 0 511177638 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561285236720 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5194] ppid=5175 vsize=28768336 memory=3688 CPUtime=0.89 cores=0-7 /proc/5177/task/5194/stat : 5194 (java) S 5175 5175 2396 0 -1 1077944384 8935 0 0 0 87 2 0 0 20 0 28 0 511177638 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561284184176 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5195] ppid=5175 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/5177/task/5195/stat : 5195 (java) S 5175 5175 2396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511177638 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561283132384 140562041026261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5196] ppid=5175 vsize=28768336 memory=5787477641288517003 CPUtime=0.06 cores=0-7 /proc/5177/task/5196/stat : 5196 (java) S 5175 5175 2396 0 -1 1077944384 865 0 0 0 0 6 0 0 20 0 28 0 511177638 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561282079920 140562041027202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5197] ppid=5175 vsize=28768336 memory=-8961168018402230209 CPUtime=311.62 cores=0-7 /proc/5177/task/5197/stat : 5197 (java) R 5175 5175 2396 0 -1 4202560 1906 0 0 0 31160 2 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561272859640 140561686204702 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5198] ppid=5175 vsize=28768336 memory=-8253362762722141311 CPUtime=313.57 cores=0-7 /proc/5177/task/5198/stat : 5198 (java) R 5175 5175 2396 0 -1 4202560 1319 0 0 0 31357 0 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561271808168 140561686204470 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5199] ppid=5175 vsize=28768336 memory=7100839861465685612 CPUtime=313.62 cores=0-7 /proc/5177/task/5199/stat : 5199 (java) R 5175 5175 2396 0 -1 4202560 5431 0 0 0 31358 4 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561270755040 140561685870145 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5200] ppid=5175 vsize=28768336 memory=-7175204567652784766 CPUtime=313.9 cores=0-7 /proc/5177/task/5200/stat : 5200 (java) R 5175 5175 2396 0 -1 4202560 3866 0 0 0 31387 3 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561269705344 140561686986820 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5201] ppid=5175 vsize=28768336 memory=3054156605268465310 CPUtime=313.88 cores=0-7 /proc/5177/task/5201/stat : 5201 (java) R 5175 5175 2396 0 -1 4202560 2985 0 0 0 31387 1 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561268649592 140561685870412 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5202] ppid=5175 vsize=28768336 memory=-8341965534556230502 CPUtime=314 cores=0-7 /proc/5177/task/5202/stat : 5202 (java) R 5175 5175 2396 0 -1 4202560 2446 0 0 0 31399 1 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561267596968 140561685870804 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5203] ppid=5175 vsize=28768336 memory=7822038051842261661 CPUtime=313.6 cores=0-7 /proc/5177/task/5203/stat : 5203 (java) R 5175 5175 2396 0 -1 4202560 1264 0 0 0 31360 0 0 0 20 0 28 0 511177740 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561266545000 140561685870251 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 [pid=5177/tid=5204] ppid=5175 vsize=28768336 memory=-6520471753822164382 CPUtime=312.59 cores=0-7 /proc/5177/task/5204/stat : 5204 (java) R 5175 5175 2396 0 -1 4202560 2457 0 0 0 31257 2 0 0 20 0 28 0 511177741 29458776064 50267 33554432000 4194304 4196468 140724489806464 140561265492104 140561686792671 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9850880 140724489814998 140724489815174 140724489815174 140724489818063 0 Current children cumulated CPU time: 2517.93 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 202516 KiB Child status: 0 Real time (s): 316.655 CPU time (s): 2518.24 CPU user time (s): 2517.49 CPU system time (s): 0.749531 CPU usage (%): 795.263 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 278580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2517.49 system time used= 0.749531 maximum resident set size= 281232 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104991 page faults= 0 swaps= 0 block input operations= 0 block output operations= 792 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18801 involuntary context switches= 29328 # summary of solver processes directly reported to runsolver: # pid: 5175 # total CPU time (s): 2518.24 # total CPU user time (s): 2517.49 # total CPU system time (s): 0.749531 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.93516 second user time and 3.32737 second system time The end
Begin job on node119 at 2019-09-24 21:16:28 IDJOB=4406850 IDBENCH=133813 IDSOLVER=2871 FILE ID=node119/4406850-1569352629 RUNJOBID= node119-1569349193-2435 PBS_JOBID= 21705086 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg3/QuasiGroup-3-12.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 /var/tmp/evaluation-result-4406850-1569352629/watcher-4406850-1569352629 -o /var/tmp/evaluation-result-4406850-1569352629/solver-4406850-1569352629 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569349193-2435 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 888787564 HOME/instance-4406850-1569352629.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e29963f3eb1abf29691517033ab1fcf0 RANDOM SEED=888787564 node119.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.47 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.47 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.47 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.47 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: 25645472 kB MemAvailable: 31799000 kB Buffers: 133800 kB Cached: 6119116 kB SwapCached: 46740 kB Active: 3109396 kB Inactive: 3195096 kB Active(anon): 3552 kB Inactive(anon): 105180 kB Active(file): 3105844 kB Inactive(file): 3089916 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66953496 kB Dirty: 26280 kB Writeback: 0 kB AnonPages: 115916 kB Mapped: 58320 kB Shmem: 48540 kB Slab: 415076 kB SReclaimable: 386228 kB SUnreclaim: 28848 kB KernelStack: 3696 kB PageTables: 6056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514564 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13488 MiB End job on node119 at 2019-09-24 21:21:44