Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 | OPT | 165 | 13.3217 | 3.99183 |
Name | Tpp/Tpp-zinc-s1/ Tpp-5-5-30-1.xml |
MD5SUM | af05408dbf994167098c19a92e91e627 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 165 |
Best CPU time to get the best result obtained on this benchmark | 0.695643 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 807 |
Number of domains | 57 |
Minimum domain size | 3 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":3,"count":6},{"size":4,"count":14},{"size":5,"count":5},{"size":11,"count":1},{"size":12,"count":2},{"size":13,"count":8},{"size":14,"count":6},{"size":15,"count":9},{"size":16,"count":4},{"size":24,"count":30},{"size":25,"count":25}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":55},{"degree":26,"count":30},{"degree":32,"count":24},{"degree":33,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":805},{"arity":25,"count":1}] |
Number of extensional constraints | 55 |
Number of intensional constraints | 751 |
Distribution of constraint types | [{"type":"extension","count":55},{"type":"intension","count":751},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399236-1568696184.xml" -tl '2520s' -p 4 0.13/0.20 c Choco e747e1e 0.13/0.20 c [HOME/instance-4399236-1568696184.xml, -tl, 2520s, -p, 4] 0.34/0.24 c 4 solvers in parallel 0.34/0.31 c parse instance... 4.85/1.75 c solve instance... 5.19/1.88 o 348 5.58/1.93 o 298 5.58/1.95 o 297 5.58/1.97 o 296 5.58/1.98 o 295 5.58/1.98 o 294 5.58/1.99 o 293 5.58/1.99 o 292 5.58/1.99 o 291 5.58/1.99 o 290 5.58/1.99 o 289 5.58/2.00 o 288 5.58/2.00 o 287 5.58/2.00 o 286 5.58/2.01 o 285 5.99/2.02 o 284 5.99/2.02 o 283 5.99/2.03 o 282 5.99/2.03 o 281 5.99/2.08 o 280 6.33/2.12 o 279 6.33/2.13 o 278 6.33/2.13 o 277 6.33/2.13 o 276 6.33/2.14 o 275 6.33/2.14 o 274 6.33/2.14 o 273 6.33/2.15 o 272 6.33/2.15 o 271 6.33/2.16 o 270 6.33/2.17 o 269 6.33/2.17 o 268 6.33/2.17 o 267 6.33/2.17 o 266 6.33/2.18 o 265 6.33/2.18 o 264 6.33/2.19 o 263 6.33/2.19 o 262 6.33/2.19 o 261 6.33/2.19 o 260 6.33/2.20 o 259 6.63/2.20 o 258 6.63/2.20 o 257 6.63/2.20 o 256 6.63/2.21 o 255 6.63/2.23 o 254 6.63/2.24 o 253 6.63/2.25 o 252 6.63/2.25 o 251 6.63/2.25 o 250 6.63/2.28 o 249 6.63/2.28 o 248 6.63/2.30 o 247 6.63/2.30 o 246 7.01/2.31 o 245 7.01/2.31 o 244 7.01/2.31 o 243 7.01/2.34 o 242 7.01/2.34 o 241 7.01/2.35 o 240 7.01/2.35 o 239 7.01/2.35 o 238 7.01/2.36 o 237 7.01/2.37 o 236 7.01/2.37 o 235 7.01/2.37 o 234 7.01/2.38 o 233 7.01/2.38 o 232 7.01/2.39 o 231 7.01/2.39 o 230 7.01/2.39 o 229 7.01/2.39 o 228 7.01/2.40 o 227 7.31/2.40 o 226 7.31/2.41 o 225 7.31/2.43 o 224 7.31/2.43 o 223 7.31/2.43 o 222 7.31/2.44 o 221 7.31/2.44 o 220 7.31/2.44 o 219 7.31/2.44 o 218 7.31/2.47 o 209 7.31/2.49 o 208 7.31/2.49 o 207 7.31/2.49 o 206 7.62/2.50 o 205 7.62/2.52 o 204 7.62/2.52 o 203 7.62/2.52 o 202 7.62/2.53 o 201 7.62/2.53 o 200 7.62/2.54 o 199 7.62/2.55 o 198 7.62/2.58 o 197 7.62/2.58 o 196 7.62/2.59 o 195 7.62/2.59 o 194 7.62/2.60 o 193 7.62/2.60 o 192 7.93/2.61 o 191 7.93/2.62 o 190 7.93/2.63 o 189 7.93/2.63 o 188 7.93/2.63 o 187 7.93/2.63 o 186 7.93/2.66 o 185 7.93/2.66 o 183 7.93/2.66 o 182 7.93/2.67 o 181 7.93/2.67 o 180 7.93/2.67 o 179 7.93/2.68 o 178 7.93/2.69 o 177 7.93/2.70 o 176 8.26/2.70 o 174 8.26/2.70 o 172 8.26/2.72 o 171 8.26/2.73 o 170 8.26/2.73 o 168 8.26/2.73 o 166 8.26/2.73 o 165 13.04/3.97 s OPTIMUM FOUND 13.04/3.97 v <instantiation> 13.04/3.97 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] l[20] l[21] l[22] l[23] l[24] l[25] l[26] l[27] l[28] l[29] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] </list> 13.04/3.97 v <values>0 1 2 3 4 5 6 7 8 9 10 11 12 14 19 15 16 17 13 24 20 21 22 18 23 0 0 0 0 0 0 0 0 0 0 0 0 0 13 1 0 0 0 1 9 0 0 0 8 18 18 19 14 18 13 18 14 23 14 13 14 14 13 23 13 14 23 13 18 13 19 19 23 19 23 14 13 14 18 18 4 1 5 1 1 5 7 11 8 1 2 1 4 1 6 5 5 6 4 4 1 7 2 2 6 2 4 1 2 6 </values> 13.04/3.97 v </instantiation>
OK 165
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: 16375 MiB (14423 MiB free) memory of node 1: 16384 MiB (15250 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399236-1568696184/watcher-4399236-1568696184 -o /tmp/evaluation-result-4399236-1568696184/solver-4399236-1568696184 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4847 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1805373049 HOME/instance-4399236-1568696184.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=10953, runsolver pid=10950 [startup+0.106697 s]* /proc/loadavg: 8.22 8.28 7.15 6/233 10969 /proc/meminfo: memFree=30370140/32770688 swapFree=66961208/67108860 [pid=10953] ppid=10950 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/10953/stat : 10953 (xcsp3-exec) S 10950 10953 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445560041 115843072 362 33554432000 4194304 5098028 140726443139184 140726443137288 140302501954172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22405120 140726443148154 140726443148397 140726443148397 140726443151306 0 /proc/10953/statm: 28282 362 304 221 0 87 0 [pid=10955] ppid=10953 vsize=15144776 memory=29072 CPUtime=0.13 cores=0-3 /proc/10955/stat : 10955 (java) S 10953 10953 4816 0 -1 1077944320 5670 0 0 0 12 1 0 0 20 0 15 0 445560041 15508250624 7268 33554432000 4194304 4196468 140725694076304 140725694058848 139750119132919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 /proc/10955/statm: 3786194 7268 3154 1 0 3748377 0 [pid=10955/tid=10956] ppid=10953 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=0-3 /proc/10955/task/10956/stat : 10956 (java) R 10953 10953 4816 0 -1 4202560 3574 0 0 0 9 0 0 0 20 0 15 0 445560042 15508250624 7268 33554432000 4194304 4196468 140725694076304 139750123365280 139749730958479 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10957] ppid=10953 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0-3 /proc/10955/task/10957/stat : 10957 (java) S 10953 10953 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445560042 15508250624 7268 33554432000 4194304 4196468 140725694076304 139750055369488 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10958] ppid=10953 vsize=15144776 memory=139971307882112 CPUtime=0 cores=0-3 /proc/10955/task/10958/stat : 10958 (java) S 10953 10953 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445560042 15508250624 7268 33554432000 4194304 4196468 140725694076304 139750054316944 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10959] ppid=10953 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10959/stat : 10959 (java) S 10953 10953 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445560042 15508250624 7268 33554432000 4194304 4196468 140725694076304 139750053264400 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10960] ppid=10953 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/10955/task/10960/stat : 10960 (java) S 10953 10953 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445560042 15508250624 7268 33554432000 4194304 4196468 140725694076304 139750052211856 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10961] ppid=10953 vsize=15144776 memory=139971307882112 CPUtime=0 cores=0-3 /proc/10955/task/10961/stat : 10961 (java) S 10953 10953 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445560044 15508250624 7268 33554432000 4194304 4196468 140725694076304 139749654996976 139750119144066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10962] ppid=10953 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/10955/task/10962/stat : 10962 (java) S 10953 10953 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445560045 15508250624 7268 33554432000 4194304 4196468 140725694076304 139749653943200 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10963] ppid=10953 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10963/stat : 10963 (java) S 10953 10953 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445560045 15508250624 7268 33554432000 4194304 4196468 140725694076304 139749652890608 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10964] ppid=10953 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10964/stat : 10964 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445560047 15508250624 7268 33554432000 4194304 4196468 140725694076304 139749651839184 139750119151515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10965] ppid=10953 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10965/stat : 10965 (java) S 10953 10953 4816 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 445560047 15508250624 7268 33554432000 4194304 4196468 140725694076304 139749650786800 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10966] ppid=10953 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/10955/task/10966/stat : 10966 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445560047 15508250624 7268 33554432000 4194304 4196468 140725694076304 139749649734256 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10967] ppid=10953 vsize=15144776 memory=139971307882112 CPUtime=0.02 cores=0-3 /proc/10955/task/10967/stat : 10967 (java) R 10953 10953 4816 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 445560047 15508250624 7268 33554432000 4194304 4196468 140725694076304 139749648681712 139750119144854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10968] ppid=10953 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/10955/task/10968/stat : 10968 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445560048 15508250624 7268 33554432000 4194304 4196468 140725694076304 139749647629408 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10969] ppid=10953 vsize=15144776 memory=139971307882112 CPUtime=0 cores=0-3 /proc/10955/task/10969/stat : 10969 (java) S 10953 10953 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445560048 15508250624 7268 33554432000 4194304 4196468 140725694076304 139749578762544 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30520 KiB [startup+0.211779 s]* /proc/loadavg: 8.22 8.28 7.15 6/233 10969 /proc/meminfo: memFree=30356860/32770688 swapFree=66961208/67108860 [pid=10953] ppid=10950 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/10953/stat : 10953 (xcsp3-exec) S 10950 10953 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445560041 115843072 362 33554432000 4194304 5098028 140726443139184 140726443137288 140302501954172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22405120 140726443148154 140726443148397 140726443148397 140726443151306 0 /proc/10953/statm: 28282 362 304 221 0 87 0 [pid=10955] ppid=10953 vsize=15144776 memory=40128 CPUtime=0.34 cores=0-3 /proc/10955/stat : 10955 (java) S 10953 10953 4816 0 -1 1077944320 9227 0 0 0 31 3 0 0 20 0 15 0 445560041 15508250624 10032 33554432000 4194304 4196468 140725694076304 140725694058848 139750119132919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 /proc/10955/statm: 3786194 10032 3267 1 0 3748377 0 [pid=10955/tid=10956] ppid=10953 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0-3 /proc/10955/task/10956/stat : 10956 (java) R 10953 10953 4816 0 -1 4202560 6502 0 0 0 18 2 0 0 20 0 15 0 445560042 15508250624 10032 33554432000 4194304 4196468 140725694076304 139750123367600 139750119144854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10957] ppid=10953 vsize=15144776 memory=9642 CPUtime=0 cores=0-3 /proc/10955/task/10957/stat : 10957 (java) S 10953 10953 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445560042 15508250624 10032 33554432000 4194304 4196468 140725694076304 139750055369488 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10958] ppid=10953 vsize=15144776 memory=3761975942881476640 CPUtime=0 cores=0-3 /proc/10955/task/10958/stat : 10958 (java) S 10953 10953 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445560042 15508250624 10032 33554432000 4194304 4196468 140725694076304 139750054316944 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10959] ppid=10953 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10959/stat : 10959 (java) S 10953 10953 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445560042 15508250624 10032 33554432000 4194304 4196468 140725694076304 139750053264400 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10960] ppid=10953 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/10955/task/10960/stat : 10960 (java) S 10953 10953 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445560042 15508250624 10032 33554432000 4194304 4196468 140725694076304 139750052211856 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10961] ppid=10953 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10961/stat : 10961 (java) S 10953 10953 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445560044 15508250624 10032 33554432000 4194304 4196468 140725694076304 139749654996976 139750119144066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10962] ppid=10953 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/10955/task/10962/stat : 10962 (java) S 10953 10953 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445560045 15508250624 10032 33554432000 4194304 4196468 140725694076304 139749653943200 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10963] ppid=10953 vsize=15144776 memory=139971307882112 CPUtime=0 cores=0-3 /proc/10955/task/10963/stat : 10963 (java) S 10953 10953 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445560045 15508250624 10032 33554432000 4194304 4196468 140725694076304 139749652890608 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10964] ppid=10953 vsize=15144776 memory=-1 CPUtime=0 cores=0-3 /proc/10955/task/10964/stat : 10964 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445560047 15508250624 10032 33554432000 4194304 4196468 140725694076304 139749651839184 139750119151515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10965] ppid=10953 vsize=15144776 memory=0 CPUtime=0.02 cores=0-3 /proc/10955/task/10965/stat : 10965 (java) S 10953 10953 4816 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 15 0 445560047 15508250624 10032 33554432000 4194304 4196468 140725694076304 139749650786800 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10966] ppid=10953 vsize=15144776 memory=-1 CPUtime=0.02 cores=0-3 /proc/10955/task/10966/stat : 10966 (java) S 10953 10953 4816 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 15 0 445560047 15508250624 10032 33554432000 4194304 4196468 140725694076304 139749649734256 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10967] ppid=10953 vsize=15144776 memory=0 CPUtime=0.07 cores=0-3 /proc/10955/task/10967/stat : 10967 (java) R 10953 10953 4816 0 -1 4202560 800 0 0 0 7 0 0 0 20 0 15 0 445560047 15508250624 10032 33554432000 4194304 4196468 140725694076304 139749648681712 139750098254145 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10968] ppid=10953 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10968/stat : 10968 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445560048 15508250624 10032 33554432000 4194304 4196468 140725694076304 139749647629408 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10969] ppid=10953 vsize=15144776 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10969/stat : 10969 (java) S 10953 10953 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445560048 15508250624 10032 33554432000 4194304 4196468 140725694076304 139749578762544 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 41576 KiB [startup+0.311643 s]* /proc/loadavg: 8.22 8.28 7.15 6/233 10969 /proc/meminfo: memFree=30352396/32770688 swapFree=66961208/67108860 [pid=10953] ppid=10950 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/10953/stat : 10953 (xcsp3-exec) S 10950 10953 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445560041 115843072 362 33554432000 4194304 5098028 140726443139184 140726443137288 140302501954172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22405120 140726443148154 140726443148397 140726443148397 140726443151306 0 /proc/10953/statm: 28282 362 304 221 0 87 0 [pid=10955] ppid=10953 vsize=15149032 memory=46772 CPUtime=0.52 cores=0-3 /proc/10955/stat : 10955 (java) S 10953 10953 4816 0 -1 1077944320 10480 0 0 0 49 3 0 0 20 0 15 0 445560041 15512608768 11693 33554432000 4194304 4196468 140725694076304 140725694058848 139750119132919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 /proc/10955/statm: 3787258 11693 3360 1 0 3748377 0 [pid=10955/tid=10956] ppid=10953 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0-3 /proc/10955/task/10956/stat : 10956 (java) R 10953 10953 4816 0 -1 4202560 7513 0 0 0 27 2 0 0 20 0 15 0 445560042 15512608768 11693 33554432000 4194304 4196468 140725694076304 139750123345472 139750103213406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10957] ppid=10953 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10957/stat : 10957 (java) S 10953 10953 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445560042 15512608768 11693 33554432000 4194304 4196468 140725694076304 139750055369488 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10958] ppid=10953 vsize=15149032 memory=2953913 CPUtime=0 cores=0-3 /proc/10955/task/10958/stat : 10958 (java) S 10953 10953 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445560042 15512608768 11693 33554432000 4194304 4196468 140725694076304 139750054316944 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10959] ppid=10953 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10959/stat : 10959 (java) S 10953 10953 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445560042 15512608768 11693 33554432000 4194304 4196468 140725694076304 139750053264400 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10960] ppid=10953 vsize=15149032 memory=-1 CPUtime=0 cores=0-3 /proc/10955/task/10960/stat : 10960 (java) S 10953 10953 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445560042 15512608768 11693 33554432000 4194304 4196468 140725694076304 139750052211856 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10961] ppid=10953 vsize=15149032 memory=139971307882112 CPUtime=0 cores=0-3 /proc/10955/task/10961/stat : 10961 (java) S 10953 10953 4816 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445560044 15512608768 11693 33554432000 4194304 4196468 140725694076304 139749654996976 139750119144066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10962] ppid=10953 vsize=15149032 memory=-1 CPUtime=0 cores=0-3 /proc/10955/task/10962/stat : 10962 (java) S 10953 10953 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445560045 15512608768 11693 33554432000 4194304 4196468 140725694076304 139749653943200 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10963] ppid=10953 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10963/stat : 10963 (java) S 10953 10953 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445560045 15512608768 11693 33554432000 4194304 4196468 140725694076304 139749652890608 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10964] ppid=10953 vsize=15149032 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10964/stat : 10964 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445560047 15512608768 11693 33554432000 4194304 4196468 140725694076304 139749651839184 139750119151515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10965] ppid=10953 vsize=15149032 memory=0 CPUtime=0.04 cores=0-3 /proc/10955/task/10965/stat : 10965 (java) S 10953 10953 4816 0 -1 1077944384 550 0 0 0 4 0 0 0 20 0 15 0 445560047 15512608768 11693 33554432000 4194304 4196468 140725694076304 139749650786800 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10966] ppid=10953 vsize=15149032 memory=-1 CPUtime=0.04 cores=0-3 /proc/10955/task/10966/stat : 10966 (java) S 10953 10953 4816 0 -1 1077944384 148 0 0 0 4 0 0 0 20 0 15 0 445560047 15512608768 11693 33554432000 4194304 4196468 140725694076304 139749649734256 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10967] ppid=10953 vsize=15149032 memory=139971307882112 CPUtime=0.12 cores=0-3 /proc/10955/task/10967/stat : 10967 (java) S 10953 10953 4816 0 -1 1077944384 964 0 0 0 12 0 0 0 20 0 15 0 445560047 15512608768 11693 33554432000 4194304 4196468 140725694076304 139749648681712 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10968] ppid=10953 vsize=15149032 memory=-1 CPUtime=0 cores=0-3 /proc/10955/task/10968/stat : 10968 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445560048 15512608768 11693 33554432000 4194304 4196468 140725694076304 139749647629408 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10969] ppid=10953 vsize=15149032 memory=139971307882112 CPUtime=0 cores=0-3 /proc/10955/task/10969/stat : 10969 (java) S 10953 10953 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445560048 15512608768 11693 33554432000 4194304 4196468 140725694076304 139749578762544 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 48220 KiB [startup+0.701698 s] /proc/loadavg: 8.22 8.28 7.15 9/233 10969 /proc/meminfo: memFree=30328916/32770688 swapFree=66961208/67108860 [pid=10953] ppid=10950 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/10953/stat : 10953 (xcsp3-exec) S 10950 10953 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445560041 115843072 362 33554432000 4194304 5098028 140726443139184 140726443137288 140302501954172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22405120 140726443148154 140726443148397 140726443148397 140726443151306 0 /proc/10953/statm: 28282 362 304 221 0 87 0 [pid=10955] ppid=10953 vsize=15151156 memory=77340 CPUtime=1.64 cores=0-3 /proc/10955/stat : 10955 (java) S 10953 10953 4816 0 -1 1077944320 14945 0 0 0 157 7 0 0 20 0 15 0 445560041 15514783744 19335 33554432000 4194304 4196468 140725694076304 140725694058848 139750119132919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 /proc/10955/statm: 3787789 19335 3445 1 0 3748889 0 [pid=10955/tid=10956] ppid=10953 vsize=15151156 memory=2120 CPUtime=0.67 cores=0-3 /proc/10955/task/10956/stat : 10956 (java) R 10953 10953 4816 0 -1 4202560 8975 0 0 0 62 5 0 0 20 0 15 0 445560042 15514783744 19335 33554432000 4194304 4196468 140725694076304 139750123370208 139750099047994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10957] ppid=10953 vsize=15151156 memory=496 CPUtime=0 cores=0-3 /proc/10955/task/10957/stat : 10957 (java) S 10953 10953 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445560042 15514783744 19335 33554432000 4194304 4196468 140725694076304 139750055369488 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10958] ppid=10953 vsize=15151156 memory=1556 CPUtime=0 cores=0-3 /proc/10955/task/10958/stat : 10958 (java) S 10953 10953 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445560042 15514783744 19335 33554432000 4194304 4196468 140725694076304 139750054316944 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10959] ppid=10953 vsize=15151156 memory=928 CPUtime=0 cores=0-3 /proc/10955/task/10959/stat : 10959 (java) S 10953 10953 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445560042 15514783744 19335 33554432000 4194304 4196468 140725694076304 139750053264400 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10960] ppid=10953 vsize=15151156 memory=1628 CPUtime=0 cores=0-3 /proc/10955/task/10960/stat : 10960 (java) S 10953 10953 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445560042 15514783744 19335 33554432000 4194304 4196468 140725694076304 139750052211856 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10961] ppid=10953 vsize=15151156 memory=796 CPUtime=0 cores=0-3 /proc/10955/task/10961/stat : 10961 (java) S 10953 10953 4816 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445560044 15514783744 19335 33554432000 4194304 4196468 140725694076304 139749654996976 139750119144066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10962] ppid=10953 vsize=15151156 memory=1444 CPUtime=0 cores=0-3 /proc/10955/task/10962/stat : 10962 (java) S 10953 10953 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445560045 15514783744 19335 33554432000 4194304 4196468 140725694076304 139749653943200 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10963] ppid=10953 vsize=15151156 memory=1984 CPUtime=0 cores=0-3 /proc/10955/task/10963/stat : 10963 (java) S 10953 10953 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445560045 15514783744 19335 33554432000 4194304 4196468 140725694076304 139749652890608 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10964] ppid=10953 vsize=15151156 memory=2424 CPUtime=0 cores=0-3 /proc/10955/task/10964/stat : 10964 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445560047 15514783744 19335 33554432000 4194304 4196468 140725694076304 139749651839184 139750119151515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10965] ppid=10953 vsize=15151156 memory=7302135314614015844 CPUtime=0.25 cores=0-3 /proc/10955/task/10965/stat : 10965 (java) R 10953 10953 4816 0 -1 4202560 1569 0 0 0 25 0 0 0 20 0 15 0 445560047 15514783744 19335 33554432000 4194304 4196468 140725694076304 139749650775472 139750100677596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10966] ppid=10953 vsize=15151156 memory=7373047217787199594 CPUtime=0.27 cores=0-3 /proc/10955/task/10966/stat : 10966 (java) R 10953 10953 4816 0 -1 4202560 937 0 0 0 27 0 0 0 20 0 15 0 445560047 15514783744 19335 33554432000 4194304 4196468 140725694076304 139749649720352 139750102517708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10967] ppid=10953 vsize=15151156 memory=7368002589315584080 CPUtime=0.41 cores=0-3 /proc/10955/task/10967/stat : 10967 (java) R 10953 10953 4816 0 -1 4202560 2154 0 0 0 41 0 0 0 20 0 15 0 445560047 15514783744 19335 33554432000 4194304 4196468 140725694076304 139749648680608 139750098041757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10968] ppid=10953 vsize=15151156 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10968/stat : 10968 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445560048 15514783744 19335 33554432000 4194304 4196468 140725694076304 139749647629408 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10969] ppid=10953 vsize=15151156 memory=5794555382653873255 CPUtime=0 cores=0-3 /proc/10955/task/10969/stat : 10969 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445560048 15514783744 19335 33554432000 4194304 4196468 140725694076304 139749578762544 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 Current children cumulated CPU time: 1.64 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 78788 KiB [startup+1.5017 s] /proc/loadavg: 8.04 8.25 7.14 7/233 10969 /proc/meminfo: memFree=30254148/32770688 swapFree=66961208/67108860 [pid=10953] ppid=10950 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/10953/stat : 10953 (xcsp3-exec) S 10950 10953 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445560041 115843072 362 33554432000 4194304 5098028 140726443139184 140726443137288 140302501954172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22405120 140726443148154 140726443148397 140726443148397 140726443151306 0 /proc/10953/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ /proc/10955/task/10969/stat : 10969 (java) R 10953 10953 4816 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 445560048 15926902784 155970 33554432000 4194304 4196468 140725694076304 139749578762544 139750119144066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11458] ppid=10953 vsize=15553616 memory=1708 CPUtime=0.39 cores=0-3 /proc/10955/task/11458/stat : 11458 (java) R 10953 10953 4816 0 -1 4202560 19 0 0 0 39 0 0 0 20 0 19 0 445560315 15926902784 155970 33554432000 4194304 4196468 140725694076304 139749566632680 139749737264822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11459] ppid=10953 vsize=15553616 memory=1280 CPUtime=0.32 cores=0-3 /proc/10955/task/11459/stat : 11459 (java) R 10953 10953 4816 0 -1 4202560 29 0 0 0 32 0 0 0 20 0 19 0 445560315 15926902784 155970 33554432000 4194304 4196468 140725694076304 139749564528600 139749738013359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11460] ppid=10953 vsize=15553616 memory=6028 CPUtime=0.23 cores=0-3 /proc/10955/task/11460/stat : 11460 (java) R 10953 10953 4816 0 -1 4202560 32 0 0 0 23 0 0 0 20 0 19 0 445560315 15926902784 155970 33554432000 4194304 4196468 140725694076304 139749567685560 139749737471004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11461] ppid=10953 vsize=15553616 memory=780 CPUtime=0.22 cores=0-3 /proc/10955/task/11461/stat : 11461 (java) R 10953 10953 4816 0 -1 4202560 18 0 0 0 22 0 0 0 20 0 19 0 445560315 15926902784 155970 33554432000 4194304 4196468 140725694076304 139749563475752 139749737471026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 Current children cumulated CPU time: 10.25 s Current children cumulated vsize: 15666744 KiB Current children cumulated memory: 625328 KiB [startup+3.6027 s] /proc/loadavg: 8.04 8.25 7.14 13/237 11461 /proc/meminfo: memFree=29773236/32770688 swapFree=66961208/67108860 [pid=10953] ppid=10950 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/10953/stat : 10953 (xcsp3-exec) S 10950 10953 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445560041 115843072 362 33554432000 4194304 5098028 140726443139184 140726443137288 140302501954172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22405120 140726443148154 140726443148397 140726443148397 140726443151306 0 /proc/10953/statm: 28282 362 304 221 0 87 0 [pid=10955] ppid=10953 vsize=15553616 memory=624556 CPUtime=11.85 cores=0-3 /proc/10955/stat : 10955 (java) S 10953 10953 4816 0 -1 1077944320 38049 0 0 0 1145 40 0 0 20 0 19 0 445560041 15926902784 156139 33554432000 4194304 4196468 140725694076304 140725694058848 139750119132919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 /proc/10955/statm: 3888404 156139 3533 1 0 3849504 0 [pid=10955/tid=10956] ppid=10953 vsize=15553616 memory=4580 CPUtime=1.68 cores=0-3 /proc/10955/task/10956/stat : 10956 (java) S 10953 10953 4816 0 -1 1077944384 12260 0 0 0 160 8 0 0 20 0 19 0 445560042 15926902784 156139 33554432000 4194304 4196468 140725694076304 139750123373696 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10957] ppid=10953 vsize=15553616 memory=4639158061651825537 CPUtime=0.13 cores=0-3 /proc/10955/task/10957/stat : 10957 (java) S 10953 10953 4816 0 -1 1077944384 241 0 0 0 9 4 0 0 20 0 19 0 445560042 15926902784 156139 33554432000 4194304 4196468 140725694076304 139750055369488 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10958] ppid=10953 vsize=15553616 memory=-7735619938911498612 CPUtime=0.14 cores=0-3 /proc/10955/task/10958/stat : 10958 (java) S 10953 10953 4816 0 -1 1077944384 250 0 0 0 10 4 0 0 20 0 19 0 445560042 15926902784 156139 33554432000 4194304 4196468 140725694076304 139750054316944 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10959] ppid=10953 vsize=15553616 memory=5869126383654898067 CPUtime=0.14 cores=0-3 /proc/10955/task/10959/stat : 10959 (java) S 10953 10953 4816 0 -1 1077944384 375 0 0 0 9 5 0 0 20 0 19 0 445560042 15926902784 156139 33554432000 4194304 4196468 140725694076304 139750053264400 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10960] ppid=10953 vsize=15553616 memory=7663272039496114844 CPUtime=0.13 cores=0-3 /proc/10955/task/10960/stat : 10960 (java) S 10953 10953 4816 0 -1 1077944384 233 0 0 0 9 4 0 0 20 0 19 0 445560042 15926902784 156139 33554432000 4194304 4196468 140725694076304 139750052211856 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10961] ppid=10953 vsize=15553616 memory=7661031230072004495 CPUtime=0.01 cores=0-3 /proc/10955/task/10961/stat : 10961 (java) S 10953 10953 4816 0 -1 1077944384 679 0 0 0 1 0 0 0 20 0 19 0 445560044 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749654996976 139750119144066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10962] ppid=10953 vsize=15553616 memory=4465 CPUtime=0 cores=0-3 /proc/10955/task/10962/stat : 10962 (java) S 10953 10953 4816 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445560045 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749653943264 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10963] ppid=10953 vsize=15553616 memory=4420 CPUtime=0 cores=0-3 /proc/10955/task/10963/stat : 10963 (java) S 10953 10953 4816 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445560045 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749652890624 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10964] ppid=10953 vsize=15553616 memory=4516 CPUtime=0 cores=0-3 /proc/10955/task/10964/stat : 10964 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445560047 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749651839184 139750119151515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10965] ppid=10953 vsize=15553616 memory=0 CPUtime=2.45 cores=0-3 /proc/10955/task/10965/stat : 10965 (java) R 10953 10953 4816 0 -1 4202560 5323 0 0 0 244 1 0 0 20 0 19 0 445560047 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749650779288 139750102517859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10966] ppid=10953 vsize=15553616 memory=0 CPUtime=2.57 cores=0-3 /proc/10955/task/10966/stat : 10966 (java) R 10953 10953 4816 0 -1 4202560 3601 0 0 0 256 1 0 0 20 0 19 0 445560047 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749649720800 139750098348848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10967] ppid=10953 vsize=15553616 memory=0 CPUtime=0.95 cores=0-3 /proc/10955/task/10967/stat : 10967 (java) R 10953 10953 4816 0 -1 1077944384 5170 0 0 0 94 1 0 0 20 0 19 0 445560047 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749648681712 139750119144066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10968] ppid=10953 vsize=15553616 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10968/stat : 10968 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445560048 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749647629408 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10969] ppid=10953 vsize=15553616 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10969/stat : 10969 (java) S 10953 10953 4816 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 445560048 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749578762544 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11458] ppid=10953 vsize=15553616 memory=0 CPUtime=0.72 cores=0-3 /proc/10955/task/11458/stat : 11458 (java) R 10953 10953 4816 0 -1 4202560 20 0 0 0 72 0 0 0 20 0 19 0 445560315 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749566632832 139749733229111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11459] ppid=10953 vsize=15553616 memory=0 CPUtime=0.54 cores=0-3 /proc/10955/task/11459/stat : 11459 (java) R 10953 10953 4816 0 -1 4202560 68 0 0 0 54 0 0 0 20 0 19 0 445560315 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749564526136 139749737266029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11460] ppid=10953 vsize=15553616 memory=0 CPUtime=0.47 cores=0-3 /proc/10955/task/11460/stat : 11460 (java) R 10953 10953 4816 0 -1 4202560 35 0 0 0 47 0 0 0 20 0 19 0 445560315 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749567683744 139749733229223 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11461] ppid=10953 vsize=15553616 memory=0 CPUtime=0.54 cores=0-3 /proc/10955/task/11461/stat : 11461 (java) R 10953 10953 4816 0 -1 4202560 18 0 0 0 54 0 0 0 20 0 19 0 445560315 15926902784 156139 33554432000 4194304 4196468 140725694076304 139749563474552 139749738034918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 Current children cumulated CPU time: 11.85 s Current children cumulated vsize: 15666744 KiB Current children cumulated memory: 626004 KiB [startup+3.8087 s] /proc/loadavg: 8.04 8.25 7.14 13/237 11461 /proc/meminfo: memFree=29773236/32770688 swapFree=66961208/67108860 [pid=10953] ppid=10950 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/10953/stat : 10953 (xcsp3-exec) S 10950 10953 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445560041 115843072 362 33554432000 4194304 5098028 140726443139184 140726443137288 140302501954172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22405120 140726443148154 140726443148397 140726443148397 140726443151306 0 /proc/10953/statm: 28282 362 304 221 0 87 0 [pid=10955] ppid=10953 vsize=15553616 memory=624616 CPUtime=12.67 cores=0-3 /proc/10955/stat : 10955 (java) S 10953 10953 4816 0 -1 1077944320 38069 0 0 0 1227 40 0 0 20 0 19 0 445560041 15926902784 156154 33554432000 4194304 4196468 140725694076304 140725694058848 139750119132919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 /proc/10955/statm: 3888404 156154 3533 1 0 3849504 0 [pid=10955/tid=10956] ppid=10953 vsize=15553616 memory=5865465064658194540 CPUtime=1.68 cores=0-3 /proc/10955/task/10956/stat : 10956 (java) S 10953 10953 4816 0 -1 1077944384 12260 0 0 0 160 8 0 0 20 0 19 0 445560042 15926902784 156154 33554432000 4194304 4196468 140725694076304 139750123373696 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10957] ppid=10953 vsize=15553616 memory=6081637756878481491 CPUtime=0.13 cores=0-3 /proc/10955/task/10957/stat : 10957 (java) S 10953 10953 4816 0 -1 1077944384 241 0 0 0 9 4 0 0 20 0 19 0 445560042 15926902784 156154 33554432000 4194304 4196468 140725694076304 139750055369488 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10958] ppid=10953 vsize=15553616 memory=7300728970739542608 CPUtime=0.14 cores=0-3 /proc/10955/task/10958/stat : 10958 (java) S 10953 10953 4816 0 -1 1077944384 250 0 0 0 10 4 0 0 20 0 19 0 445560042 15926902784 156154 33554432000 4194304 4196468 140725694076304 139750054316944 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10959] ppid=10953 vsize=15553616 memory=6935651454901375056 CPUtime=0.14 cores=0-3 /proc/10955/task/10959/stat : 10959 (java) S 10953 10953 4816 0 -1 1077944384 375 0 0 0 9 5 0 0 20 0 19 0 445560042 15926902784 156154 33554432000 4194304 4196468 140725694076304 139750053264400 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10960] ppid=10953 vsize=15553616 memory=4641074187873313646 CPUtime=0.13 cores=0-3 /proc/10955/task/10960/stat : 10960 (java) S 10953 10953 4816 0 -1 1077944384 233 0 0 0 9 4 0 0 20 0 19 0 445560042 15926902784 156154 33554432000 4194304 4196468 140725694076304 139750052211856 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10961] ppid=10953 vsize=15553616 memory=8100124595789129067 CPUtime=0.01 cores=0-3 /proc/10955/task/10961/stat : 10961 (java) S 10953 10953 4816 0 -1 1077944384 679 0 0 0 1 0 0 0 20 0 19 0 445560044 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749654996976 139750119144066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10962] ppid=10953 vsize=15553616 memory=6944613755328037015 CPUtime=0 cores=0-3 /proc/10955/task/10962/stat : 10962 (java) S 10953 10953 4816 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445560045 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749653943264 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10963] ppid=10953 vsize=15553616 memory=-7531822216213012384 CPUtime=0 cores=0-3 /proc/10955/task/10963/stat : 10963 (java) S 10953 10953 4816 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445560045 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749652890624 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10964] ppid=10953 vsize=15553616 memory=6944656591801718942 CPUtime=0 cores=0-3 /proc/10955/task/10964/stat : 10964 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445560047 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749651839184 139750119151515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10965] ppid=10953 vsize=15553616 memory=8292088525465231505 CPUtime=2.54 cores=0-3 /proc/10955/task/10965/stat : 10965 (java) R 10953 10953 4816 0 -1 4202560 5336 0 0 0 253 1 0 0 20 0 19 0 445560047 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749650786720 139750102517111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10966] ppid=10953 vsize=15553616 memory=-7161732098441943118 CPUtime=2.67 cores=0-3 /proc/10955/task/10966/stat : 10966 (java) R 10953 10953 4816 0 -1 4202560 3606 0 0 0 266 1 0 0 20 0 19 0 445560047 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749649723744 139750105162721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10967] ppid=10953 vsize=15553616 memory=6656426216303648864 CPUtime=0.95 cores=0-3 /proc/10955/task/10967/stat : 10967 (java) S 10953 10953 4816 0 -1 1077944384 5172 0 0 0 94 1 0 0 20 0 19 0 445560047 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749648681712 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10968] ppid=10953 vsize=15553616 memory=4495308486060639373 CPUtime=0 cores=0-3 /proc/10955/task/10968/stat : 10968 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445560048 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749647629408 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10969] ppid=10953 vsize=15553616 memory=6933690279252828305 CPUtime=0 cores=0-3 /proc/10955/task/10969/stat : 10969 (java) S 10953 10953 4816 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 445560048 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749578762544 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11458] ppid=10953 vsize=15553616 memory=22932 CPUtime=0.83 cores=0-3 /proc/10955/task/11458/stat : 11458 (java) R 10953 10953 4816 0 -1 4202560 20 0 0 0 83 0 0 0 20 0 19 0 445560315 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749566631016 139749737470921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11459] ppid=10953 vsize=15553616 memory=14068 CPUtime=0.69 cores=0-3 /proc/10955/task/11459/stat : 11459 (java) R 10953 10953 4816 0 -1 4202560 68 0 0 0 69 0 0 0 20 0 19 0 445560315 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749564526680 139749739497504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11460] ppid=10953 vsize=15553616 memory=2120 CPUtime=0.65 cores=0-3 /proc/10955/task/11460/stat : 11460 (java) R 10953 10953 4816 0 -1 4202560 35 0 0 0 65 0 0 0 20 0 19 0 445560315 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749567686472 139749737470819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11461] ppid=10953 vsize=15553616 memory=496 CPUtime=0.74 cores=0-3 /proc/10955/task/11461/stat : 11461 (java) R 10953 10953 4816 0 -1 4202560 18 0 0 0 74 0 0 0 20 0 19 0 445560315 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749563476616 139749737470893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 Current children cumulated CPU time: 12.67 s Current children cumulated vsize: 15666744 KiB Current children cumulated memory: 626064 KiB [startup+3.9017 s] /proc/loadavg: 8.04 8.25 7.14 13/237 11461 /proc/meminfo: memFree=29773236/32770688 swapFree=66961208/67108860 [pid=10953] ppid=10950 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/10953/stat : 10953 (xcsp3-exec) S 10950 10953 4816 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445560041 115843072 362 33554432000 4194304 5098028 140726443139184 140726443137288 140302501954172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22405120 140726443148154 140726443148397 140726443148397 140726443151306 0 /proc/10953/statm: 28282 362 304 221 0 87 0 [pid=10955] ppid=10953 vsize=15553616 memory=624616 CPUtime=13.04 cores=0-3 /proc/10955/stat : 10955 (java) S 10953 10953 4816 0 -1 1077944320 38074 0 0 0 1264 40 0 0 20 0 19 0 445560041 15926902784 156154 33554432000 4194304 4196468 140725694076304 140725694058848 139750119132919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 /proc/10955/statm: 3888404 156154 3533 1 0 3849504 0 [pid=10955/tid=10956] ppid=10953 vsize=15553616 memory=1065 CPUtime=1.68 cores=0-3 /proc/10955/task/10956/stat : 10956 (java) S 10953 10953 4816 0 -1 1077944384 12260 0 0 0 160 8 0 0 20 0 19 0 445560042 15926902784 156154 33554432000 4194304 4196468 140725694076304 139750123373696 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10957] ppid=10953 vsize=15553616 memory=6944656592455097440 CPUtime=0.13 cores=0-3 /proc/10955/task/10957/stat : 10957 (java) S 10953 10953 4816 0 -1 1077944384 241 0 0 0 9 4 0 0 20 0 19 0 445560042 15926902784 156154 33554432000 4194304 4196468 140725694076304 139750055369488 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10958] ppid=10953 vsize=15553616 memory=4137282578176515228 CPUtime=0.14 cores=0-3 /proc/10955/task/10958/stat : 10958 (java) S 10953 10953 4816 0 -1 1077944384 250 0 0 0 10 4 0 0 20 0 19 0 445560042 15926902784 156154 33554432000 4194304 4196468 140725694076304 139750054316944 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10959] ppid=10953 vsize=15553616 memory=0 CPUtime=0.14 cores=0-3 /proc/10955/task/10959/stat : 10959 (java) S 10953 10953 4816 0 -1 1077944384 375 0 0 0 9 5 0 0 20 0 19 0 445560042 15926902784 156154 33554432000 4194304 4196468 140725694076304 139750053264400 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10960] ppid=10953 vsize=15553616 memory=599 CPUtime=0.13 cores=0-3 /proc/10955/task/10960/stat : 10960 (java) S 10953 10953 4816 0 -1 1077944384 233 0 0 0 9 4 0 0 20 0 19 0 445560042 15926902784 156154 33554432000 4194304 4196468 140725694076304 139750052211856 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10961] ppid=10953 vsize=15553616 memory=34001 CPUtime=0.01 cores=0-3 /proc/10955/task/10961/stat : 10961 (java) S 10953 10953 4816 0 -1 1077944384 679 0 0 0 1 0 0 0 20 0 19 0 445560044 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749654996976 139750119144066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10962] ppid=10953 vsize=15553616 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10962/stat : 10962 (java) S 10953 10953 4816 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445560045 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749653943264 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10963] ppid=10953 vsize=15553616 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10963/stat : 10963 (java) S 10953 10953 4816 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445560045 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749652890624 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10964] ppid=10953 vsize=15553616 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10964/stat : 10964 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445560047 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749651839184 139750119151515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10965] ppid=10953 vsize=15553616 memory=0 CPUtime=2.59 cores=0-3 /proc/10955/task/10965/stat : 10965 (java) R 10953 10953 4816 0 -1 4202560 5341 0 0 0 258 1 0 0 20 0 19 0 445560047 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749650786720 139750100676648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10966] ppid=10953 vsize=15553616 memory=0 CPUtime=2.71 cores=0-3 /proc/10955/task/10966/stat : 10966 (java) R 10953 10953 4816 0 -1 4202560 3606 0 0 0 270 1 0 0 20 0 19 0 445560047 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749649715824 139750098797360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10967] ppid=10953 vsize=15553616 memory=0 CPUtime=0.95 cores=0-3 /proc/10955/task/10967/stat : 10967 (java) S 10953 10953 4816 0 -1 1077944384 5172 0 0 0 94 1 0 0 20 0 19 0 445560047 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749648681712 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10968] ppid=10953 vsize=15553616 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10968/stat : 10968 (java) S 10953 10953 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445560048 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749647629408 139750119143125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=10969] ppid=10953 vsize=15553616 memory=0 CPUtime=0 cores=0-3 /proc/10955/task/10969/stat : 10969 (java) S 10953 10953 4816 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 445560048 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749578762544 139750119144066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11458] ppid=10953 vsize=15553616 memory=0 CPUtime=0.89 cores=0-3 /proc/10955/task/11458/stat : 11458 (java) R 10953 10953 4816 0 -1 4202560 20 0 0 0 89 0 0 0 20 0 19 0 445560315 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749566631016 139749737797646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11459] ppid=10953 vsize=15553616 memory=1448 CPUtime=0.77 cores=0-3 /proc/10955/task/11459/stat : 11459 (java) R 10953 10953 4816 0 -1 4202560 68 0 0 0 77 0 0 0 20 0 19 0 445560315 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749564526616 139749737471060 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11460] ppid=10953 vsize=15553616 memory=624176 CPUtime=0.7 cores=0-3 /proc/10955/task/11460/stat : 11460 (java) R 10953 10953 4816 0 -1 4202560 35 0 0 0 70 0 0 0 20 0 19 0 445560315 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749567686472 139749739637540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 [pid=10955/tid=11461] ppid=10953 vsize=15553616 memory=2832 CPUtime=0.82 cores=0-3 /proc/10955/task/11461/stat : 11461 (java) R 10953 10953 4816 0 -1 4202560 18 0 0 0 82 0 0 0 20 0 19 0 445560315 15926902784 156154 33554432000 4194304 4196468 140725694076304 139749563476616 139749737470893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11591680 140725694079983 140725694080154 140725694080154 140725694083023 0 Current children cumulated CPU time: 13.04 s Current children cumulated vsize: 15666744 KiB Current children cumulated memory: 626064 KiB Child status: 0 Real time (s): 3.99183 CPU time (s): 13.3217 CPU user time (s): 12.91 CPU system time (s): 0.411757 CPU usage (%): 333.725 Max. virtual memory (cumulated for all children) (KiB): 15666744 Max. memory (cumulated for all children) (KiB): 626064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.91 system time used= 0.411757 maximum resident set size= 625960 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38796 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= 5229 involuntary context switches= 417 # summary of solver processes directly reported to runsolver: # pid: 10953 # total CPU time (s): 13.3217 # total CPU user time (s): 12.91 # total CPU system time (s): 0.411757 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.048729 second user time and 0.097458 second system time The end
Begin job on node116 at 2019-09-17 06:55:43 IDJOB=4399236 IDBENCH=126837 IDSOLVER=2853 FILE ID=node116/4399236-1568696184 RUNJOBID= node116-1568694541-4847 PBS_JOBID= 21703807 Free space on /tmp= 61208 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-5-5-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399236-1568696184/watcher-4399236-1568696184 -o /tmp/evaluation-result-4399236-1568696184/solver-4399236-1568696184 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4847 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1805373049 HOME/instance-4399236-1568696184.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af05408dbf994167098c19a92e91e627 RANDOM SEED=1805373049 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30385800 kB MemAvailable: 31651376 kB Buffers: 146868 kB Cached: 1412628 kB SwapCached: 46588 kB Active: 1245612 kB Inactive: 561604 kB Active(anon): 201632 kB Inactive(anon): 94964 kB Active(file): 1043980 kB Inactive(file): 466640 kB Unevictable: 110568 kB Mlocked: 110568 kB SwapTotal: 67108860 kB SwapFree: 66961208 kB Dirty: 26656 kB Writeback: 0 kB AnonPages: 324480 kB Mapped: 61228 kB Shmem: 40292 kB Slab: 170912 kB SReclaimable: 141580 kB SUnreclaim: 29332 kB KernelStack: 4064 kB PageTables: 6784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1388604 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 221184 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61180 MiB End job on node116 at 2019-09-17 06:55:47