Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-08-18) | SAT (TO) | 60 | 2520.03 | 2479.52 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml |
| MD5SUM | 1a91370fd3edda64a19224a97cd9d854 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 55 |
| Best CPU time to get the best result obtained on this benchmark | 11.9432 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 110 |
| Number of constraints | 48 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":45},{"size":501,"count":10}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 11 |
| Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":8},{"degree":11,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 45 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":45},{"arity":10,"count":1},{"arity":45,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 46 |
| Distribution of constraint types | [{"type":"intension","count":46},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.09 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283294-1503201533.xml" -tl '2520s' -p 1 -x 3 0.08/0.28 c [HOME/instance-4283294-1503201533.xml, -tl, 2520s, -p, 1, -x, 3] 0.26/0.34 c simple solver 0.26/0.41 c parse instance... 0.88/0.62 c solve instance... 1.11/0.73 o 500 1.11/0.74 o 499 1.11/0.74 o 498 1.11/0.75 o 497 1.11/0.75 o 496 1.11/0.76 o 495 1.11/0.76 o 494 1.11/0.76 o 493 1.11/0.77 o 492 1.11/0.77 o 491 1.11/0.77 o 490 2.77/1.28 o 489 2.77/1.28 o 488 2.77/1.28 o 487 2.77/1.28 o 486 2.77/1.28 o 485 2.77/1.29 o 484 2.77/1.29 o 483 2.77/1.29 o 482 2.77/1.29 o 481 2.77/1.29 o 480 2.77/1.29 o 479 2.77/1.29 o 478 2.77/1.29 o 477 2.77/1.30 o 476 3.09/1.30 o 475 3.09/1.30 o 474 3.09/1.30 o 473 3.09/1.30 o 472 3.09/1.30 o 471 3.09/1.30 o 470 3.09/1.30 o 469 3.09/1.30 o 468 3.09/1.30 o 467 3.09/1.31 o 466 3.09/1.31 o 465 3.09/1.31 o 464 3.09/1.31 o 463 3.09/1.31 o 462 3.09/1.31 o 461 3.09/1.31 o 460 3.09/1.31 o 459 3.09/1.32 o 458 3.09/1.32 o 457 3.09/1.32 o 456 3.09/1.32 o 455 3.09/1.32 o 454 3.09/1.32 o 453 3.09/1.32 o 452 3.09/1.32 o 451 3.09/1.33 o 450 3.09/1.33 o 449 3.09/1.33 o 448 3.09/1.33 o 447 3.09/1.33 o 446 3.09/1.33 o 445 3.09/1.33 o 444 3.09/1.33 o 443 3.09/1.33 o 442 3.09/1.33 o 441 3.09/1.34 o 440 3.09/1.34 o 439 3.09/1.34 o 438 3.09/1.34 o 437 3.09/1.34 o 436 3.09/1.34 o 435 3.09/1.34 o 434 3.09/1.34 o 433 3.09/1.34 o 432 3.09/1.34 o 431 3.09/1.35 o 430 3.09/1.35 o 429 3.09/1.35 o 428 3.09/1.35 o 427 3.09/1.35 o 426 3.09/1.35 o 425 3.09/1.35 o 424 3.09/1.35 o 423 3.09/1.35 o 422 3.09/1.36 o 421 3.09/1.36 o 420 3.09/1.36 o 419 3.09/1.36 o 418 3.09/1.36 o 417 3.09/1.36 o 416 3.09/1.36 o 415 3.09/1.36 o 414 3.09/1.36 o 413 3.09/1.36 o 412 3.09/1.37 o 411 3.09/1.37 o 410 3.09/1.37 o 409 3.09/1.37 o 408 3.09/1.37 o 407 3.09/1.37 o 406 3.09/1.37 o 405 3.09/1.37 o 404 3.09/1.37 o 403 3.09/1.37 o 402 3.09/1.38 o 401 3.09/1.38 o 400 3.09/1.38 o 399 3.09/1.38 o 398 3.09/1.38 o 397 3.09/1.38 o 396 3.09/1.38 o 395 3.09/1.38 o 394 3.09/1.38 o 393 3.09/1.38 o 392 3.09/1.38 o 391 3.09/1.39 o 390 3.09/1.39 o 389 3.09/1.39 o 388 3.09/1.39 o 387 3.09/1.39 o 386 3.09/1.39 o 385 3.09/1.39 o 384 3.09/1.39 o 383 3.09/1.39 o 382 3.09/1.39 o 381 3.09/1.39 o 380 3.09/1.39 o 379 3.09/1.39 o 378 3.09/1.40 o 377 3.42/1.40 o 376 3.42/1.40 o 375 3.42/1.40 o 374 3.42/1.40 o 373 3.42/1.40 o 372 3.42/1.40 o 371 3.42/1.40 o 370 3.42/1.40 o 369 3.42/1.40 o 368 3.42/1.40 o 367 3.42/1.40 o 366 3.42/1.41 o 365 3.42/1.41 o 364 3.42/1.41 o 363 3.42/1.41 o 362 3.42/1.41 o 361 3.42/1.41 o 360 3.42/1.41 o 359 3.42/1.41 o 358 3.42/1.41 o 357 3.42/1.41 o 356 3.42/1.41 o 355 3.42/1.41 o 354 3.42/1.42 o 353 3.42/1.42 o 352 3.42/1.42 o 351 3.42/1.42 o 350 3.42/1.42 o 349 3.42/1.42 o 348 3.42/1.42 o 347 3.42/1.42 o 346 3.42/1.42 o 345 3.42/1.42 o 344 3.42/1.42 o 343 3.42/1.42 o 342 3.42/1.42 o 341 3.42/1.42 o 340 3.42/1.43 o 339 3.42/1.43 o 338 3.42/1.43 o 337 3.42/1.43 o 336 3.42/1.43 o 335 3.42/1.43 o 334 3.42/1.43 o 333 3.42/1.43 o 332 3.42/1.43 o 331 3.42/1.43 o 330 3.42/1.43 o 329 3.42/1.43 o 328 3.42/1.43 o 327 3.42/1.44 o 326 3.42/1.44 o 325 3.42/1.44 o 324 3.42/1.44 o 323 3.42/1.44 o 322 3.42/1.44 o 321 3.42/1.44 o 320 3.42/1.44 o 319 3.42/1.44 o 318 3.42/1.44 o 317 3.42/1.44 o 316 3.42/1.44 o 315 3.42/1.44 o 314 3.42/1.44 o 313 3.42/1.45 o 312 3.42/1.45 o 311 3.42/1.45 o 310 3.42/1.45 o 309 3.42/1.45 o 308 3.42/1.45 o 307 3.42/1.45 o 306 3.42/1.45 o 305 3.42/1.45 o 304 3.42/1.45 o 303 3.42/1.45 o 302 3.42/1.45 o 301 3.42/1.45 o 300 3.42/1.45 o 299 3.42/1.46 o 298 3.42/1.46 o 297 3.42/1.46 o 296 3.42/1.46 o 295 3.42/1.46 o 294 3.42/1.46 o 293 3.42/1.46 o 292 3.42/1.46 o 291 3.42/1.46 o 290 3.42/1.46 o 289 3.42/1.46 o 288 3.42/1.46 o 287 3.42/1.47 o 286 3.42/1.47 o 285 3.42/1.47 o 284 3.42/1.47 o 283 3.42/1.47 o 282 3.42/1.47 o 281 3.42/1.47 o 280 3.42/1.47 o 279 3.42/1.47 o 278 3.42/1.47 o 277 3.42/1.47 o 276 3.42/1.47 o 275 3.42/1.48 o 274 3.42/1.48 o 273 3.42/1.48 o 272 3.42/1.48 o 271 3.42/1.48 o 270 3.42/1.48 o 269 3.42/1.48 o 268 3.42/1.48 o 267 3.42/1.48 o 266 3.42/1.48 o 265 3.42/1.48 o 264 3.42/1.48 o 263 3.42/1.49 o 262 3.42/1.49 o 261 3.42/1.49 o 260 3.42/1.49 o 259 3.42/1.49 o 258 3.42/1.49 o 257 3.42/1.49 o 256 3.42/1.49 o 255 3.42/1.49 o 254 3.42/1.49 o 253 3.42/1.49 o 252 3.42/1.50 o 251 3.74/1.50 o 250 3.74/1.50 o 249 3.74/1.50 o 248 3.74/1.50 o 247 3.74/1.50 o 246 3.74/1.50 o 245 3.74/1.50 o 244 3.74/1.50 o 243 3.74/1.50 o 242 3.74/1.50 o 241 3.74/1.50 o 240 3.74/1.50 o 239 3.74/1.51 o 238 3.74/1.51 o 237 3.74/1.51 o 236 3.74/1.51 o 235 3.74/1.51 o 234 3.74/1.51 o 233 3.74/1.51 o 232 3.74/1.51 o 231 3.74/1.51 o 230 3.74/1.51 o 229 3.74/1.51 o 228 3.74/1.51 o 227 3.74/1.51 o 226 3.74/1.52 o 225 3.74/1.52 o 224 3.74/1.52 o 223 3.74/1.52 o 222 3.74/1.52 o 221 3.74/1.52 o 220 3.74/1.52 o 219 3.74/1.52 o 218 3.74/1.52 o 217 3.74/1.52 o 216 3.74/1.52 o 215 3.74/1.52 o 214 3.74/1.53 o 213 3.74/1.53 o 212 3.74/1.53 o 211 3.74/1.53 o 210 3.74/1.53 o 209 3.74/1.53 o 208 3.74/1.53 o 207 3.74/1.53 o 206 3.74/1.53 o 205 3.74/1.53 o 204 3.74/1.53 o 203 3.74/1.53 o 202 3.74/1.54 o 201 3.74/1.54 o 200 3.74/1.54 o 199 3.74/1.54 o 198 3.74/1.54 o 197 3.74/1.54 o 196 3.74/1.54 o 195 3.74/1.54 o 194 3.74/1.54 o 193 3.74/1.54 o 192 3.74/1.54 o 191 3.74/1.54 o 190 3.74/1.54 o 189 3.74/1.54 o 188 3.74/1.55 o 187 3.74/1.55 o 186 3.74/1.55 o 185 3.74/1.55 o 184 3.74/1.55 o 183 3.74/1.55 o 182 3.74/1.55 o 181 3.74/1.55 o 180 3.74/1.55 o 179 3.74/1.55 o 178 3.74/1.55 o 177 3.74/1.55 o 176 3.74/1.55 o 175 3.74/1.56 o 174 3.74/1.56 o 173 3.74/1.56 o 172 3.74/1.57 o 79 4.05/1.66 o 77 4.05/1.67 o 73 14.40/7.88 o 69 17.69/10.95 o 60 2520.00/2479.50 s SATISFIABLE 2520.00/2479.50 v <instantiation> 2520.00/2479.50 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] 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[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list> 2520.00/2479.50 v <values>0 1 5 8 21 31 43 49 58 60 1 5 8 21 31 43 49 58 60 4 7 20 30 42 48 57 59 3 16 26 38 44 53 55 13 23 35 41 50 52 10 22 28 37 39 12 18 27 29 6 15 17 9 11 2 </values> 2520.00/2479.50 v </instantiation> 2520.00/2479.50 c Unexpected resolution interruption!
OK 60
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 (15323 MiB free)
memory of node 1: 16384 MiB (15313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283294-1503201533/watcher-4283294-1503201533 -o /tmp/evaluation-result-4283294-1503201533/solver-4283294-1503201533 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 432154282 HOME/instance-4283294-1503201533.xml
running on 4 cores: 0,2,4,6
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
solver pid=6557, runsolver pid=6554
Current StackSize limit: 8192 KiB
[startup+0.100221 s]*
/proc/loadavg: 1.53 1.50 1.62 3/199 6561
/proc/meminfo: memFree=31368952/32770624 swapFree=67108860/67108860
[pid=6557] ppid=6554 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6557/stat : 6557 (xcsp3-exec) S 6554 6557 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18562440 9740288 345 18446744073709551615 4194304 5098028 140720788889040 140720788887144 140436419932796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37564416 140720788894074 140720788894278 140720788894278 140720788897771 0
/proc/6557/statm: 2378 345 289 221 0 87 0
[pid=6559] ppid=6557 vsize=13358712 memory=14368 CPUtime=0 cores=0,2,4,6
/proc/6559/stat : 6559 (java) S 6557 6557 17292 0 -1 1077944320 3380 0 0 0 0 0 0 0 20 0 6 0 18562449 13679321088 3592 18446744073709551615 4194304 4196468 140726283641040 140726283623584 140036728995575 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
/proc/6559/statm: 3339678 3592 1903 1 0 3329175 0
[pid=6559/tid=6560] ppid=6557 vsize=13358712 memory=1404226546251833994 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6560/stat : 6560 (java) R 6557 6557 17292 0 -1 4202560 2177 0 0 0 0 0 0 0 20 0 6 0 18562450 13679321088 3658 18446744073709551615 4194304 4196468 140726283641040 140036733231696 140036714678067 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6561] ppid=6557 vsize=13358712 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6561/stat : 6561 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 18562450 13679321088 3658 18446744073709551615 4194304 4196468 140726283641040 140036329183504 140036729005781 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6562] ppid=6557 vsize=13358712 memory=140328639358592 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6562/stat : 6562 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 18562450 13679321088 3658 18446744073709551615 4194304 4196468 140726283641040 140036328130960 140036729005781 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6563] ppid=6557 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6563/stat : 6563 (java) S 6557 6557 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 18562450 13679321088 3658 18446744073709551615 4194304 4196468 140726283641040 140036327078416 140036729005781 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6564] ppid=6557 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6564/stat : 6564 (java) S 6557 6557 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 18562450 13679321088 3658 18446744073709551615 4194304 4196468 140726283641040 140036326025872 140036729005781 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15748 KiB
[startup+0.209899 s]*
/proc/loadavg: 1.53 1.50 1.62 3/211 6573
/proc/meminfo: memFree=31362408/32770624 swapFree=67108860/67108860
[pid=6557] ppid=6554 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6557/stat : 6557 (xcsp3-exec) S 6554 6557 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18562440 9740288 345 18446744073709551615 4194304 5098028 140720788889040 140720788887144 140436419932796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37564416 140720788894074 140720788894278 140720788894278 140720788897771 0
/proc/6557/statm: 2378 345 289 221 0 87 0
[pid=6559] ppid=6557 vsize=13974352 memory=26868 CPUtime=0.08 cores=0,2,4,6
/proc/6559/stat : 6559 (java) S 6557 6557 17292 0 -1 1077944320 5131 0 0 0 7 1 0 0 20 0 15 0 18562449 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140726283623584 140036728995575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
/proc/6559/statm: 3493588 6717 2729 1 0 3482964 0
[pid=6559/tid=6560] ppid=6557 vsize=13974352 memory=7022364594140610616 CPUtime=0.06 cores=0,2,4,6
/proc/6559/task/6560/stat : 6560 (java) R 6557 6557 17292 0 -1 4202560 3285 0 0 0 6 0 0 0 20 0 15 0 18562450 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036733221264 140036721712727 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6561] ppid=6557 vsize=13974352 memory=4294977909 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6561/stat : 6561 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18562450 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036329183504 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6562] ppid=6557 vsize=13974352 memory=140328639563087 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6562/stat : 6562 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18562450 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036328130960 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6563] ppid=6557 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6563/stat : 6563 (java) S 6557 6557 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18562450 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036327078416 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6564] ppid=6557 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6564/stat : 6564 (java) S 6557 6557 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18562450 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036326025872 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6565] ppid=6557 vsize=13974352 memory=140328639358592 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6565/stat : 6565 (java) S 6557 6557 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18562452 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036274743792 140036729006722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6566] ppid=6557 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6566/stat : 6566 (java) S 6557 6557 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18562452 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036273690016 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6567] ppid=6557 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6567/stat : 6567 (java) S 6557 6557 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18562452 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036272637424 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6568] ppid=6557 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6568/stat : 6568 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036271586000 140036729014171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6569] ppid=6557 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6569/stat : 6569 (java) S 6557 6557 17292 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 18562455 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036270532592 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6570] ppid=6557 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6570/stat : 6570 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036269480048 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6571] ppid=6557 vsize=13974352 memory=140328639358592 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6571/stat : 6571 (java) R 6557 6557 17292 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 15 0 18562455 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036200720624 140036729007510 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6572] ppid=6557 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6572/stat : 6572 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036199668320 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6573] ppid=6557 vsize=13974352 memory=140328639358592 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6573/stat : 6573 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18562460 14309736448 6717 18446744073709551615 4194304 4196468 140726283641040 140036198615856 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28248 KiB
[startup+0.310288 s]*
/proc/loadavg: 1.53 1.50 1.62 4/211 6573
/proc/meminfo: memFree=31347308/32770624 swapFree=67108860/67108860
[pid=6557] ppid=6554 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6557/stat : 6557 (xcsp3-exec) S 6554 6557 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18562440 9740288 345 18446744073709551615 4194304 5098028 140720788889040 140720788887144 140436419932796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37564416 140720788894074 140720788894278 140720788894278 140720788897771 0
/proc/6557/statm: 2378 345 289 221 0 87 0
[pid=6559] ppid=6557 vsize=13974352 memory=36820 CPUtime=0.26 cores=0,2,4,6
/proc/6559/stat : 6559 (java) S 6557 6557 17292 0 -1 1077944320 8772 0 0 0 23 3 0 0 20 0 15 0 18562449 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140726283623584 140036728995575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
/proc/6559/statm: 3493588 9205 2965 1 0 3482964 0
[pid=6559/tid=6560] ppid=6557 vsize=13974352 memory=6933928925625698159 CPUtime=0.16 cores=0,2,4,6
/proc/6559/task/6560/stat : 6560 (java) R 6557 6557 17292 0 -1 4202560 6053 0 0 0 14 2 0 0 20 0 15 0 18562450 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036733226560 140036729007510 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6561] ppid=6557 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6561/stat : 6561 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18562450 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036329183504 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6562] ppid=6557 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6562/stat : 6562 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18562450 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036328130960 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6563] ppid=6557 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6563/stat : 6563 (java) S 6557 6557 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18562450 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036327078416 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6564] ppid=6557 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6564/stat : 6564 (java) S 6557 6557 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18562450 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036326025872 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6565] ppid=6557 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6565/stat : 6565 (java) S 6557 6557 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18562452 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036274743792 140036729006722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6566] ppid=6557 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6566/stat : 6566 (java) S 6557 6557 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18562452 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036273690016 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6567] ppid=6557 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6567/stat : 6567 (java) S 6557 6557 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18562452 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036272637424 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6568] ppid=6557 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6568/stat : 6568 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036271586000 140036729014171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6569] ppid=6557 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6559/task/6569/stat : 6569 (java) R 6557 6557 17292 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 15 0 18562455 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036270532592 140036729006722 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6570] ppid=6557 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/6559/task/6570/stat : 6570 (java) R 6557 6557 17292 0 -1 4202560 337 0 0 0 1 0 0 0 20 0 15 0 18562455 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036269461600 140036721285024 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6571] ppid=6557 vsize=13974352 memory=140328639358592 CPUtime=0.05 cores=0,2,4,6
/proc/6559/task/6571/stat : 6571 (java) R 6557 6557 17292 0 -1 4202560 709 0 0 0 5 0 0 0 20 0 15 0 18562455 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036200720624 140036713076062 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6572] ppid=6557 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6572/stat : 6572 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036199668320 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6573] ppid=6557 vsize=13974352 memory=140328639358592 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6573/stat : 6573 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18562460 14309736448 9205 18446744073709551615 4194304 4196468 140726283641040 140036198615856 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38200 KiB
[startup+0.701025 s]
/proc/loadavg: 1.53 1.50 1.62 5/211 6573
/proc/meminfo: memFree=31336016/32770624 swapFree=67108860/67108860
[pid=6557] ppid=6554 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6557/stat : 6557 (xcsp3-exec) S 6554 6557 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18562440 9740288 345 18446744073709551615 4194304 5098028 140720788889040 140720788887144 140436419932796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37564416 140720788894074 140720788894278 140720788894278 140720788897771 0
/proc/6557/statm: 2378 345 289 221 0 87 0
[pid=6559] ppid=6557 vsize=13980732 memory=63892 CPUtime=1.11 cores=0,2,4,6
/proc/6559/stat : 6559 (java) S 6557 6557 17292 0 -1 1077944320 13310 0 0 0 105 6 0 0 20 0 15 0 18562449 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140726283623584 140036728995575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
/proc/6559/statm: 3495183 15973 3171 1 0 3483476 0
[pid=6559/tid=6560] ppid=6557 vsize=13980732 memory=5787495302074487380 CPUtime=0.54 cores=0,2,4,6
/proc/6559/task/6560/stat : 6560 (java) R 6557 6557 17292 0 -1 4202560 8832 0 0 0 50 4 0 0 20 0 15 0 18562450 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036733231888 140036354765952 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6561] ppid=6557 vsize=13980732 memory=280657054014952 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6561/stat : 6561 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18562450 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036329183504 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6562] ppid=6557 vsize=13980732 memory=280657054121872 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6562/stat : 6562 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18562450 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036328130960 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6563] ppid=6557 vsize=13980732 memory=4596 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6563/stat : 6563 (java) S 6557 6557 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18562450 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036327078416 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6564] ppid=6557 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6564/stat : 6564 (java) S 6557 6557 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18562450 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036326025872 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6565] ppid=6557 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6565/stat : 6565 (java) S 6557 6557 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 18562452 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036274743792 140036729006722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6566] ppid=6557 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6566/stat : 6566 (java) S 6557 6557 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18562452 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036273690016 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6567] ppid=6557 vsize=13980732 memory=8708 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6567/stat : 6567 (java) S 6557 6557 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18562452 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036272637424 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6568] ppid=6557 vsize=13980732 memory=-1891255765032775953 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6568/stat : 6568 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036271586000 140036729014171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6569] ppid=6557 vsize=13980732 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6559/task/6569/stat : 6569 (java) R 6557 6557 17292 0 -1 4202560 850 0 0 0 13 0 0 0 20 0 15 0 18562455 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036270532592 140036708919512 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6570] ppid=6557 vsize=13980732 memory=3116 CPUtime=0.15 cores=0,2,4,6
/proc/6559/task/6570/stat : 6570 (java) R 6557 6557 17292 0 -1 1077944384 1006 0 0 0 15 0 0 0 20 0 15 0 18562455 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036269480048 140036729006722 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6571] ppid=6557 vsize=13980732 memory=6933928925625698159 CPUtime=0.26 cores=0,2,4,6
/proc/6559/task/6571/stat : 6571 (java) R 6557 6557 17292 0 -1 4202560 1314 0 0 0 26 0 0 0 20 0 15 0 18562455 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036200720752 140036707951261 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6572] ppid=6557 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6572/stat : 6572 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036199668320 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6573] ppid=6557 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6573/stat : 6573 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18562460 14316269568 15973 18446744073709551615 4194304 4196468 140726283641040 140036198615856 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65272 KiB
[startup+1.50081 s]
/proc/loadavg: 1.53 1.50 1.62 5/211 6573
/proc/meminfo: memFree=31291848/32770624 swapFree=67108860/67108860
[pid=6557] ppid=6554 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6557/stat : 6557 (xcsp3-exec) S 6554 6557 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18562440 9740288 345 18446744073709551615 4194304 5098028 140720788889040 140720788887144 140436419932796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37564416 140720788894074 140720788894278 140720788894278 140720788897771 0
/proc/6557/statm: 2378 345 289 221 0 87 0
[pid=6559] ppid=6557 vsize=13980732 memory=131724 CPUtime=3.74 cores=0,2,4,6
/proc/6559/stat : 6559 (java) S 6557 6557 17292 0 -1 1077944320 44429 0 0 0 364 10 0 0 20 0 15 0 18562449 14316269568 32931 18446744073709551615 4194304 4196468 140726283641040 140726283623584 140036728995575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
/proc/6559/statm: 3495183 32931 3187 1 0 3483476 0
[pid=6559/tid=6560] ppid=6557 vsize=13980732 memory=280657053996816 CPUtime=1.34 cores=0,2,4,6
/proc/6559/task/6560/stat : 6560 (java) R 6557 6557 17292 0 -1 4202560 9401 0 0 0 130 4 0 0 20 0 15 0 18562450 14316269568 32931 18446744073709551615 4194304 4196468 140726283641040 140036733234528 140036729017405 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6561] ppid=6557 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6561/stat : 6561 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18562450 14316269568 32931 18446744073709551615 4194304 4196468 140726283641040 140036329183504 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6562] ppid=6557 vsize=13980732 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6562/stat : 6562 (java) S 6557 6557 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18562450 14316269568 32931 18446744073709551615 4194304 4196468 140726283641040 140036328130960 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6563] ppid=6557 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6563/stat : 6563 (java) S 6557 6557 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18562450 14316269568 32931 18446744073709551615 4194304 4196468 140726283641040 140036327078416 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6564] ppid=6557 vsize=13980732 memory=280657054059904 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6564/stat : 6564 (java) S 6557 6557 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18562450 14316269568 32931 18446744073709551615 4194304 4196468 140726283641040 140036326025872 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6565] ppid=6557 vsize=13980732 memory=280657053876464 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6565/stat : 6565 (java) S 6557 6557 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 18562452 14316269568 32931 18446744073709551615 4194304 4196468 140726283641040 140036274743792 140036729006722 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6566] ppid=6557 vsize=13980732 memory=2705 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6566/stat : 6566 (java) S 6557 6557 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18562452 14316269568 32931 18446744073709551615 4194304 4196468 140726283641040 140036273690016 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6567] ppid=6557 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/6559/task/6567/stat : 6567 (java) S 6557 6557 17292 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 18562452 14316269568 64901 18446744073709551615 4194304 4196468 140726283641040 140036272637424 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6568] ppid=6557 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6568/stat : 6568 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14316269568 64901 18446744073709551615 4194304 4196468 140726283641040 140036271586000 140036729014171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6569] ppid=6557 vsize=13980732 memory=1380 CPUtime=4.37 cores=0,2,4,6
/proc/6559/task/6569/stat : 6569 (java) S 6557 6557 17292 0 -1 1077944384 40604 0 0 0 433 4 0 0 20 0 15 0 18562455 14316269568 64901 18446744073709551615 4194304 4196468 140726283641040 140036270532592 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6570] ppid=6557 vsize=13980732 memory=16444 CPUtime=4.5 cores=0,2,4,6
/proc/6559/task/6570/stat : 6570 (java) S 6557 6557 17292 0 -1 1077944384 30184 0 0 0 447 3 0 0 20 0 15 0 18562455 14316269568 64901 18446744073709551615 4194304 4196468 140726283641040 140036269480048 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6571] ppid=6557 vsize=13980732 memory=4012 CPUtime=0.87 cores=0,2,4,6
/proc/6559/task/6571/stat : 6571 (java) S 6557 6557 17292 0 -1 1077944384 13802 0 0 0 85 2 0 0 20 0 15 0 18562455 14316269568 64901 18446744073709551615 4194304 4196468 140726283641040 140036200720624 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6572] ppid=6557 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6572/stat : 6572 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14316269568 64901 18446744073709551615 4194304 4196468 140726283641040 140036199668320 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6573] ppid=6557 vsize=13980732 memory=261228 CPUtime=0.78 cores=0,2,4,6
/proc/6559/task/6573/stat : 6573 (java) S 6557 6557 17292 0 -1 1077944384 1915 0 0 0 38 40 0 0 20 0 15 0 18562460 14316269568 64901 18446744073709551615 4194304 4196468 140726283641040 140036198615856 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
Current children cumulated CPU time: 2421.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 260984 KiB
[startup+2442.3 s]
/proc/loadavg: 1.85 1.69 1.61 3/211 6893
/proc/meminfo: memFree=29376556/32770624 swapFree=67108860/67108860
[pid=6557] ppid=6554 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6557/stat : 6557 (xcsp3-exec) S 6554 6557 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18562440 9740288 345 18446744073709551615 4194304 5098028 140720788889040 140720788887144 140436419932796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37564416 140720788894074 140720788894278 140720788894278 140720788897771 0
/proc/6557/statm: 2378 345 289 221 0 87 0
[pid=6559] ppid=6557 vsize=13980732 memory=258500 CPUtime=2482.17 cores=0,2,4,6
/proc/6559/stat : 6559 (java) S 6557 6557 17292 0 -1 1077944320 188259 0 0 0 248067 150 0 0 20 0 15 0 18562449 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140726283623584 140036728995575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
/proc/6559/statm: 3495183 64625 3259 1 0 3483476 0
[pid=6559/tid=6560] ppid=6557 vsize=13980732 memory=258500 CPUtime=2429.27 cores=0,2,4,6
/proc/6559/task/6560/stat : 6560 (java) R 6557 6557 17292 0 -1 4202560 31746 0 0 0 242913 14 0 0 20 0 15 0 18562450 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036733235024 140036355518964 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6561] ppid=6557 vsize=13980732 memory=1380 CPUtime=10.14 cores=0,2,4,6
/proc/6559/task/6561/stat : 6561 (java) S 6557 6557 17292 0 -1 1077944384 10582 0 0 0 995 19 0 0 20 0 15 0 18562450 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036329183504 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6562] ppid=6557 vsize=13980732 memory=258500 CPUtime=10.16 cores=0,2,4,6
/proc/6559/task/6562/stat : 6562 (java) S 6557 6557 17292 0 -1 1077944384 8959 0 0 0 997 19 0 0 20 0 15 0 18562450 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036328130960 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6563] ppid=6557 vsize=13980732 memory=258500 CPUtime=10.17 cores=0,2,4,6
/proc/6559/task/6563/stat : 6563 (java) S 6557 6557 17292 0 -1 1077944384 8939 0 0 0 997 20 0 0 20 0 15 0 18562450 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036327078416 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6564] ppid=6557 vsize=13980732 memory=258500 CPUtime=10.15 cores=0,2,4,6
/proc/6559/task/6564/stat : 6564 (java) S 6557 6557 17292 0 -1 1077944384 9961 0 0 0 995 20 0 0 20 0 15 0 18562450 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036326025872 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6565] ppid=6557 vsize=13980732 memory=1380 CPUtime=1.64 cores=0,2,4,6
/proc/6559/task/6565/stat : 6565 (java) S 6557 6557 17292 0 -1 1077944384 30210 0 0 0 148 16 0 0 20 0 15 0 18562452 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036274743792 140036729006722 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6566] ppid=6557 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6566/stat : 6566 (java) S 6557 6557 17292 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 18562452 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036273690016 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6567] ppid=6557 vsize=13980732 memory=13648 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6567/stat : 6567 (java) S 6557 6557 17292 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 18562452 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036272637424 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6568] ppid=6557 vsize=13980732 memory=258500 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6568/stat : 6568 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036271586000 140036729014171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6569] ppid=6557 vsize=13980732 memory=1380 CPUtime=4.37 cores=0,2,4,6
/proc/6559/task/6569/stat : 6569 (java) S 6557 6557 17292 0 -1 1077944384 40604 0 0 0 433 4 0 0 20 0 15 0 18562455 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036270532592 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6570] ppid=6557 vsize=13980732 memory=258500 CPUtime=4.5 cores=0,2,4,6
/proc/6559/task/6570/stat : 6570 (java) S 6557 6557 17292 0 -1 1077944384 30184 0 0 0 447 3 0 0 20 0 15 0 18562455 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036269480048 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6571] ppid=6557 vsize=13980732 memory=258500 CPUtime=0.87 cores=0,2,4,6
/proc/6559/task/6571/stat : 6571 (java) S 6557 6557 17292 0 -1 1077944384 13802 0 0 0 85 2 0 0 20 0 15 0 18562455 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036200720624 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6572] ppid=6557 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6572/stat : 6572 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036199668320 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6573] ppid=6557 vsize=13980732 memory=258500 CPUtime=0.79 cores=0,2,4,6
/proc/6559/task/6573/stat : 6573 (java) S 6557 6557 17292 0 -1 1077944384 1919 0 0 0 39 40 0 0 20 0 15 0 18562460 14316269568 64625 18446744073709551615 4194304 4196468 140726283641040 140036198615856 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
Current children cumulated CPU time: 2482.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 259880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2479.5 s]
/proc/loadavg: 1.80 1.70 1.62 3/211 6895
/proc/meminfo: memFree=29377908/32770624 swapFree=67108860/67108860
[pid=6557] ppid=6554 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6557/stat : 6557 (xcsp3-exec) S 6554 6557 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18562440 9740288 345 18446744073709551615 4194304 5098028 140720788889040 140720788887144 140436419932796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37564416 140720788894074 140720788894278 140720788894278 140720788897771 0
/proc/6557/statm: 2378 345 289 221 0 87 0
[pid=6559] ppid=6557 vsize=13980732 memory=256580 CPUtime=2520 cores=0,2,4,6
/proc/6559/stat : 6559 (java) S 6557 6557 17292 0 -1 1077944320 188382 0 0 0 251849 151 0 0 20 0 15 0 18562449 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140726283623584 140036728995575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
/proc/6559/statm: 3495183 64145 3259 1 0 3483476 0
[pid=6559/tid=6560] ppid=6557 vsize=13980732 memory=256580 CPUtime=2466.22 cores=0,2,4,6
/proc/6559/task/6560/stat : 6560 (java) R 6557 6557 17292 0 -1 4202560 31792 0 0 0 246608 14 0 0 20 0 15 0 18562450 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036733234976 140036356299510 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6561] ppid=6557 vsize=13980732 memory=258636 CPUtime=10.35 cores=0,2,4,6
/proc/6559/task/6561/stat : 6561 (java) S 6557 6557 17292 0 -1 1077944384 10604 0 0 0 1016 19 0 0 20 0 15 0 18562450 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036329183504 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6562] ppid=6557 vsize=13980732 memory=258636 CPUtime=10.37 cores=0,2,4,6
/proc/6559/task/6562/stat : 6562 (java) S 6557 6557 17292 0 -1 1077944384 8971 0 0 0 1017 20 0 0 20 0 15 0 18562450 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036328130960 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6563] ppid=6557 vsize=13980732 memory=258636 CPUtime=10.38 cores=0,2,4,6
/proc/6559/task/6563/stat : 6563 (java) S 6557 6557 17292 0 -1 1077944384 8958 0 0 0 1018 20 0 0 20 0 15 0 18562450 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036327078416 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6564] ppid=6557 vsize=13980732 memory=258636 CPUtime=10.37 cores=0,2,4,6
/proc/6559/task/6564/stat : 6564 (java) S 6557 6557 17292 0 -1 1077944384 9980 0 0 0 1017 20 0 0 20 0 15 0 18562450 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036326025872 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6565] ppid=6557 vsize=13980732 memory=256580 CPUtime=1.67 cores=0,2,4,6
/proc/6559/task/6565/stat : 6565 (java) S 6557 6557 17292 0 -1 1077944384 30213 0 0 0 151 16 0 0 20 0 15 0 18562452 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036274743792 140036729006722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6566] ppid=6557 vsize=13980732 memory=256580 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6566/stat : 6566 (java) S 6557 6557 17292 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 18562452 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036273690016 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6567] ppid=6557 vsize=13980732 memory=256580 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6567/stat : 6567 (java) S 6557 6557 17292 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 18562452 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036272637424 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6568] ppid=6557 vsize=13980732 memory=256580 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6568/stat : 6568 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036271586000 140036729014171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6569] ppid=6557 vsize=13980732 memory=1380 CPUtime=4.37 cores=0,2,4,6
/proc/6559/task/6569/stat : 6569 (java) S 6557 6557 17292 0 -1 1077944384 40604 0 0 0 433 4 0 0 20 0 15 0 18562455 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036270532592 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6570] ppid=6557 vsize=13980732 memory=256580 CPUtime=4.5 cores=0,2,4,6
/proc/6559/task/6570/stat : 6570 (java) S 6557 6557 17292 0 -1 1077944384 30184 0 0 0 447 3 0 0 20 0 15 0 18562455 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036269480048 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6571] ppid=6557 vsize=13980732 memory=1380 CPUtime=0.87 cores=0,2,4,6
/proc/6559/task/6571/stat : 6571 (java) S 6557 6557 17292 0 -1 1077944384 13802 0 0 0 85 2 0 0 20 0 15 0 18562455 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036200720624 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6572] ppid=6557 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6572/stat : 6572 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036199668320 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6573] ppid=6557 vsize=13980732 memory=928 CPUtime=0.81 cores=0,2,4,6
/proc/6559/task/6573/stat : 6573 (java) S 6557 6557 17292 0 -1 1077944384 1921 0 0 0 40 41 0 0 20 0 15 0 18562460 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036198615856 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 257960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2479.51 s]
# the end of solver process 6557 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002124 s
[startup+2479.52 s]
# the end of solver process 6559 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.5 s, system=1.52592 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2479.5 s]
/proc/loadavg: 1.80 1.70 1.62 3/211 6895
/proc/meminfo: memFree=29377908/32770624 swapFree=67108860/67108860
[pid=6557] ppid=6554 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6557/stat : 6557 (xcsp3-exec) S 6554 6557 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18562440 9740288 345 18446744073709551615 4194304 5098028 140720788889040 140720788887144 140436419932796 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37564416 140720788894074 140720788894278 140720788894278 140720788897771 0
/proc/6557/statm: 2378 345 289 221 0 87 0
[pid=6559] ppid=6557 vsize=13980732 memory=256580 CPUtime=2520 cores=0,2,4,6
/proc/6559/stat : 6559 (java) S 6557 6557 17292 0 -1 1077944320 188382 0 0 0 251849 151 0 0 20 0 15 0 18562449 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140726283623584 140036728995575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
/proc/6559/statm: 3495183 64145 3259 1 0 3483476 0
[pid=6559/tid=6560] ppid=6557 vsize=13980732 memory=256580 CPUtime=2466.22 cores=0,2,4,6
/proc/6559/task/6560/stat : 6560 (java) R 6557 6557 17292 0 -1 4202560 31792 0 0 0 246608 14 0 0 20 0 15 0 18562450 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036733234976 140036356299510 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6561] ppid=6557 vsize=13980732 memory=258636 CPUtime=10.35 cores=0,2,4,6
/proc/6559/task/6561/stat : 6561 (java) S 6557 6557 17292 0 -1 1077944384 10604 0 0 0 1016 19 0 0 20 0 15 0 18562450 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036329183504 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6562] ppid=6557 vsize=13980732 memory=258636 CPUtime=10.37 cores=0,2,4,6
/proc/6559/task/6562/stat : 6562 (java) S 6557 6557 17292 0 -1 1077944384 8971 0 0 0 1017 20 0 0 20 0 15 0 18562450 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036328130960 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6563] ppid=6557 vsize=13980732 memory=258636 CPUtime=10.38 cores=0,2,4,6
/proc/6559/task/6563/stat : 6563 (java) S 6557 6557 17292 0 -1 1077944384 8958 0 0 0 1018 20 0 0 20 0 15 0 18562450 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036327078416 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6564] ppid=6557 vsize=13980732 memory=258636 CPUtime=10.37 cores=0,2,4,6
/proc/6559/task/6564/stat : 6564 (java) S 6557 6557 17292 0 -1 1077944384 9980 0 0 0 1017 20 0 0 20 0 15 0 18562450 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036326025872 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6565] ppid=6557 vsize=13980732 memory=256580 CPUtime=1.67 cores=0,2,4,6
/proc/6559/task/6565/stat : 6565 (java) S 6557 6557 17292 0 -1 1077944384 30213 0 0 0 151 16 0 0 20 0 15 0 18562452 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036274743792 140036729006722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6566] ppid=6557 vsize=13980732 memory=256580 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6566/stat : 6566 (java) S 6557 6557 17292 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 18562452 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036273690016 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6567] ppid=6557 vsize=13980732 memory=256580 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6567/stat : 6567 (java) S 6557 6557 17292 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 18562452 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036272637424 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6568] ppid=6557 vsize=13980732 memory=256580 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6568/stat : 6568 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036271586000 140036729014171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6569] ppid=6557 vsize=13980732 memory=1380 CPUtime=4.37 cores=0,2,4,6
/proc/6559/task/6569/stat : 6569 (java) S 6557 6557 17292 0 -1 1077944384 40604 0 0 0 433 4 0 0 20 0 15 0 18562455 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036270532592 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6570] ppid=6557 vsize=13980732 memory=256580 CPUtime=4.5 cores=0,2,4,6
/proc/6559/task/6570/stat : 6570 (java) S 6557 6557 17292 0 -1 1077944384 30184 0 0 0 447 3 0 0 20 0 15 0 18562455 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036269480048 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6571] ppid=6557 vsize=13980732 memory=1380 CPUtime=0.87 cores=0,2,4,6
/proc/6559/task/6571/stat : 6571 (java) S 6557 6557 17292 0 -1 1077944384 13802 0 0 0 85 2 0 0 20 0 15 0 18562455 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036200720624 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6572] ppid=6557 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6559/task/6572/stat : 6572 (java) S 6557 6557 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18562455 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036199668320 140036729005781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
[pid=6559/tid=6573] ppid=6557 vsize=13980732 memory=928 CPUtime=0.81 cores=0,2,4,6
/proc/6559/task/6573/stat : 6573 (java) S 6557 6557 17292 0 -1 1077944384 1921 0 0 0 40 41 0 0 20 0 15 0 18562460 14316269568 64145 18446744073709551615 4194304 4196468 140726283641040 140036198615856 140036729006722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38539264 140726283649458 140726283649634 140726283649634 140726283653071 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 257960 KiB
Child status: 143
Real time (s): 2479.52
CPU time (s): 2520.03
CPU user time (s): 2518.5
CPU system time (s): 1.52592
CPU usage (%): 101.634
Max. virtual memory (cumulated for all children) (KiB): 13993252
Max. memory (cumulated for all children) (KiB): 491336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.5
system time used= 1.52592
maximum resident set size= 508672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189050
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94819
involuntary context switches= 4770
# summary of solver processes directly reported to runsolver:
# pid: 6557,6559
# total CPU time (s): 2520.03
# total CPU user time (s): 2518.5
# total CPU system time (s): 1.52592
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0584 second user time and 23.3988 second system time
The end
Begin job on node129 at 2017-08-20 05:44:56 IDJOB=4283294 IDBENCH=126224 IDSOLVER=2679 FILE ID=node129/4283294-1503201533 RUNJOBID= node129-1503171914-32555 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-10-a3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4283294-1503201533/watcher-4283294-1503201533 -o /tmp/evaluation-result-4283294-1503201533/solver-4283294-1503201533 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 432154282 HOME/instance-4283294-1503201533.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1a91370fd3edda64a19224a97cd9d854 RANDOM SEED=432154282 node129.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.73 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.73 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.73 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.73 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: 31372904 kB MemAvailable: 31674236 kB Buffers: 199352 kB Cached: 390804 kB SwapCached: 0 kB Active: 601272 kB Inactive: 388388 kB Active(anon): 399912 kB Inactive(anon): 16744 kB Active(file): 201360 kB Inactive(file): 371644 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7968 kB Writeback: 4 kB AnonPages: 399000 kB Mapped: 45684 kB Shmem: 17060 kB Slab: 113448 kB SReclaimable: 88324 kB SUnreclaim: 25124 kB KernelStack: 3456 kB PageTables: 5400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1006972 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 284672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62000 MiB End job on node129 at 2017-08-20 06:26:15