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) | OPT | 17 | 6.1893501 | 2.1794 |
| Name | GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml |
| MD5SUM | 3be13f028e00a9c301b8790857e4d16d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 0.213054 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6 |
| Number of constraints | 87 |
| Number of domains | 1 |
| Minimum domain size | 501 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":501,"count":6}] |
| Minimum variable degree | 51 |
| Maximum variable degree | 52 |
| Distribution of variable degrees | [{"degree":51,"count":4},{"degree":52,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":40},{"arity":4,"count":45},{"arity":6,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 86 |
| Distribution of constraint types | [{"type":"intension","count":86},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284297-1503212649.xml" -tl '264s' -p 1 -x 3 0.13/0.14 c [HOME/instance-4284297-1503212649.xml, -tl, 264s, -p, 1, -x, 3] 0.13/0.20 c simple solver 0.34/0.27 c parse instance... 0.71/0.51 c solve instance... 0.99/0.59 o 500 0.99/0.61 o 499 1.28/0.62 o 498 1.28/0.63 o 497 1.28/0.63 o 496 1.28/0.64 o 495 1.28/0.64 o 494 1.28/0.64 o 493 1.28/0.65 o 492 1.28/0.65 o 491 1.28/0.65 o 490 1.28/0.66 o 489 1.28/0.66 o 488 1.28/0.66 o 487 1.28/0.67 o 486 1.28/0.67 o 485 1.28/0.67 o 484 1.28/0.67 o 483 1.28/0.68 o 482 1.28/0.68 o 481 1.28/0.68 o 480 1.28/0.69 o 479 1.28/0.69 o 478 1.28/0.69 o 477 1.28/0.69 o 476 1.59/0.70 o 475 1.59/0.70 o 474 1.59/0.70 o 473 1.59/0.71 o 472 1.59/0.71 o 471 1.59/0.71 o 470 1.59/0.72 o 469 1.59/0.72 o 468 1.59/0.72 o 467 1.59/0.73 o 466 1.59/0.73 o 465 1.59/0.73 o 464 1.59/0.74 o 463 1.59/0.74 o 462 1.59/0.74 o 461 1.59/0.75 o 460 1.59/0.75 o 459 1.59/0.75 o 458 1.59/0.75 o 457 1.59/0.76 o 456 1.59/0.76 o 455 1.59/0.76 o 454 1.59/0.77 o 453 1.59/0.77 o 452 1.59/0.77 o 451 1.59/0.78 o 450 1.59/0.78 o 449 1.59/0.78 o 448 1.59/0.78 o 447 1.59/0.79 o 446 1.59/0.79 o 445 1.59/0.79 o 444 1.59/0.79 o 443 1.91/0.80 o 442 1.91/0.80 o 441 1.91/0.80 o 440 1.91/0.81 o 439 1.91/0.82 o 438 1.91/0.82 o 437 1.91/0.82 o 436 1.91/0.82 o 435 1.91/0.82 o 434 1.91/0.83 o 433 1.91/0.83 o 432 1.91/0.83 o 431 1.91/0.83 o 430 1.91/0.84 o 429 1.91/0.84 o 428 1.91/0.84 o 427 1.91/0.84 o 426 1.91/0.85 o 425 1.91/0.85 o 424 1.91/0.85 o 423 1.91/0.86 o 422 1.91/0.86 o 421 1.91/0.86 o 420 1.91/0.86 o 419 1.91/0.87 o 418 1.91/0.87 o 417 1.91/0.87 o 416 1.91/0.88 o 415 1.91/0.88 o 414 1.91/0.88 o 413 1.91/0.88 o 412 1.91/0.89 o 411 1.91/0.89 o 410 1.91/0.89 o 409 1.91/0.89 o 408 2.25/0.90 o 407 2.25/0.90 o 406 2.25/0.90 o 405 2.25/0.91 o 404 2.25/0.91 o 403 2.25/0.91 o 402 2.25/0.91 o 401 2.25/0.92 o 400 2.25/0.92 o 399 2.25/0.92 o 398 2.25/0.92 o 397 2.25/0.92 o 396 2.25/0.93 o 395 2.25/0.93 o 394 2.25/0.93 o 393 2.25/0.93 o 392 2.25/0.94 o 391 2.25/0.94 o 390 2.25/0.94 o 389 2.25/0.94 o 388 2.25/0.95 o 387 2.25/0.95 o 386 2.25/0.95 o 385 2.25/0.95 o 384 2.25/0.96 o 383 2.25/0.96 o 382 2.25/0.96 o 381 2.25/0.96 o 380 2.25/0.97 o 379 2.25/0.97 o 378 2.25/0.97 o 377 2.25/0.98 o 376 2.25/0.98 o 375 2.25/0.98 o 374 2.25/0.98 o 373 2.25/0.99 o 372 2.25/0.99 o 371 2.25/0.99 o 370 2.25/0.99 o 369 2.25/1.00 o 368 2.59/1.01 o 367 2.59/1.01 o 366 2.59/1.01 o 365 2.59/1.01 o 364 2.59/1.01 o 363 2.59/1.01 o 362 2.59/1.02 o 361 2.59/1.02 o 360 2.59/1.02 o 359 2.59/1.02 o 358 2.59/1.03 o 357 2.59/1.03 o 356 2.59/1.03 o 355 2.59/1.04 o 354 2.59/1.04 o 353 2.59/1.04 o 352 2.59/1.04 o 351 2.59/1.05 o 350 2.59/1.05 o 349 2.59/1.05 o 348 2.59/1.05 o 347 2.59/1.06 o 346 2.59/1.06 o 345 2.59/1.06 o 344 2.59/1.06 o 343 2.59/1.07 o 342 2.59/1.07 o 341 2.59/1.07 o 340 2.59/1.07 o 339 2.59/1.08 o 338 2.59/1.08 o 337 2.59/1.08 o 336 2.59/1.08 o 335 2.59/1.09 o 334 2.59/1.09 o 333 2.59/1.09 o 332 2.59/1.09 o 331 2.59/1.10 o 330 2.59/1.10 o 329 2.59/1.10 o 328 2.59/1.10 o 327 2.91/1.11 o 326 2.91/1.11 o 325 2.91/1.11 o 324 2.91/1.12 o 323 2.91/1.12 o 322 2.91/1.12 o 321 2.91/1.12 o 320 2.91/1.12 o 319 2.91/1.13 o 318 2.91/1.13 o 317 2.91/1.13 o 316 2.91/1.13 o 315 2.91/1.14 o 314 2.91/1.14 o 313 2.91/1.14 o 312 2.91/1.14 o 311 2.91/1.15 o 310 2.91/1.15 o 309 2.91/1.15 o 308 2.91/1.15 o 307 2.91/1.15 o 306 2.91/1.16 o 305 2.91/1.16 o 304 2.91/1.16 o 303 2.91/1.16 o 302 2.91/1.16 o 301 2.91/1.17 o 300 2.91/1.17 o 299 2.91/1.17 o 298 2.91/1.17 o 297 2.91/1.18 o 296 2.91/1.18 o 295 2.91/1.18 o 294 2.91/1.18 o 293 2.91/1.18 o 292 2.91/1.19 o 291 2.91/1.19 o 290 2.91/1.19 o 289 2.91/1.19 o 288 2.91/1.20 o 287 3.19/1.20 o 286 3.19/1.20 o 285 3.19/1.20 o 284 3.19/1.20 o 283 3.19/1.21 o 282 3.19/1.21 o 281 3.19/1.21 o 280 3.19/1.21 o 279 3.19/1.22 o 278 3.19/1.22 o 277 3.19/1.22 o 276 3.19/1.22 o 275 3.19/1.23 o 274 3.19/1.23 o 273 3.19/1.23 o 272 3.19/1.23 o 271 3.19/1.23 o 270 3.19/1.24 o 269 3.19/1.24 o 268 3.19/1.24 o 267 3.19/1.24 o 266 3.19/1.25 o 265 3.19/1.25 o 264 3.19/1.25 o 263 3.19/1.25 o 262 3.19/1.26 o 261 3.19/1.26 o 260 3.19/1.26 o 259 3.19/1.26 o 258 3.19/1.26 o 257 3.19/1.27 o 256 3.19/1.27 o 255 3.19/1.27 o 254 3.19/1.27 o 253 3.19/1.28 o 252 3.19/1.28 o 251 3.19/1.28 o 250 3.19/1.28 o 249 3.19/1.29 o 248 3.19/1.29 o 247 3.19/1.29 o 246 3.19/1.29 o 245 3.19/1.29 o 244 3.50/1.30 o 243 3.50/1.30 o 242 3.50/1.30 o 241 3.50/1.30 o 240 3.50/1.31 o 239 3.50/1.31 o 238 3.50/1.31 o 237 3.50/1.31 o 236 3.50/1.32 o 235 3.50/1.32 o 234 3.50/1.32 o 233 3.50/1.32 o 232 3.50/1.32 o 231 3.50/1.33 o 230 3.50/1.33 o 229 3.50/1.33 o 228 3.50/1.33 o 227 3.50/1.34 o 226 3.50/1.34 o 225 3.50/1.34 o 224 3.50/1.34 o 223 3.50/1.34 o 222 3.50/1.35 o 221 3.50/1.35 o 220 3.50/1.35 o 219 3.50/1.35 o 218 3.50/1.35 o 217 3.50/1.36 o 216 3.50/1.36 o 215 3.50/1.36 o 214 3.50/1.36 o 213 3.50/1.37 o 212 3.50/1.37 o 211 3.50/1.37 o 210 3.50/1.37 o 209 3.50/1.38 o 208 3.50/1.38 o 207 3.50/1.38 o 206 3.50/1.38 o 205 3.50/1.38 o 204 3.50/1.39 o 203 3.50/1.39 o 202 3.50/1.39 o 201 3.50/1.39 o 200 3.50/1.39 o 199 3.81/1.40 o 198 3.81/1.40 o 197 3.81/1.40 o 196 3.81/1.40 o 195 3.81/1.40 o 194 3.81/1.41 o 193 3.81/1.41 o 192 3.81/1.41 o 191 3.81/1.41 o 190 3.81/1.41 o 189 3.81/1.42 o 188 3.81/1.42 o 187 3.81/1.42 o 186 3.81/1.42 o 185 3.81/1.42 o 184 3.81/1.42 o 183 3.81/1.43 o 182 3.81/1.43 o 181 3.81/1.43 o 180 3.81/1.43 o 179 3.81/1.43 o 178 3.81/1.43 o 177 3.81/1.44 o 176 3.81/1.44 o 175 3.81/1.44 o 174 3.81/1.44 o 173 3.81/1.44 o 172 3.81/1.44 o 171 3.81/1.45 o 170 3.81/1.45 o 169 3.81/1.45 o 168 3.81/1.45 o 167 3.81/1.45 o 166 3.81/1.45 o 165 3.81/1.46 o 164 3.81/1.46 o 163 3.81/1.46 o 162 3.81/1.46 o 161 3.81/1.46 o 160 3.81/1.47 o 159 3.81/1.47 o 158 3.81/1.47 o 157 3.81/1.47 o 156 3.81/1.47 o 155 3.81/1.47 o 154 3.81/1.47 o 153 3.81/1.48 o 152 3.81/1.48 o 151 3.81/1.48 o 150 3.81/1.48 o 149 3.81/1.48 o 148 3.81/1.48 o 147 3.81/1.48 o 146 3.81/1.48 o 145 3.81/1.49 o 144 3.81/1.49 o 143 3.81/1.49 o 142 3.81/1.49 o 141 3.81/1.49 o 140 3.81/1.49 o 139 3.81/1.49 o 138 3.81/1.50 o 137 4.12/1.50 o 136 4.12/1.50 o 135 4.12/1.50 o 134 4.12/1.50 o 133 4.12/1.50 o 132 4.12/1.51 o 131 4.12/1.51 o 130 4.12/1.51 o 129 4.12/1.51 o 128 4.12/1.51 o 127 4.12/1.51 o 126 4.12/1.51 o 125 4.12/1.52 o 124 4.12/1.52 o 123 4.12/1.52 o 122 4.12/1.52 o 121 4.12/1.52 o 120 4.12/1.53 o 119 4.12/1.53 o 118 4.12/1.53 o 117 4.12/1.54 o 116 4.12/1.55 o 115 4.12/1.56 o 114 4.12/1.59 o 20 4.43/1.69 o 18 4.76/1.74 o 17 6.01/2.15 s OPTIMUM FOUND 6.01/2.15 v <instantiation> 6.01/2.15 v <list>x[0] x[1] x[2] x[3] x[4] x[5] </list> 6.01/2.15 v <values>0 1 4 10 12 17 </values> 6.01/2.15 v </instantiation>
OK 17
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 (13015 MiB free)
memory of node 1: 16384 MiB (12752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284297-1503212649/watcher-4284297-1503212649 -o /tmp/evaluation-result-4284297-1503212649/solver-4284297-1503212649 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8067 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1239443164 HOME/instance-4284297-1503212649.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=10229, runsolver pid=10226
[startup+0.103615 s]*
/proc/loadavg: 1.57 1.88 1.82 4/217 10245
/proc/meminfo: memFree=26371112/32770624 swapFree=67108860/67108860
[pid=10229] ppid=10226 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10229/stat : 10229 (xcsp3-exec) S 10226 10229 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154352351 9740288 346 33554432000 4194304 5098028 140730017322304 140730017320408 140664792101500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13271040 140730017326196 140730017326400 140730017326400 140730017329131 0
/proc/10229/statm: 2378 346 289 221 0 87 0
[pid=10231] ppid=10229 vsize=13978596 memory=27548 CPUtime=0.13 cores=0,2,4,6
/proc/10231/stat : 10231 (java) S 10229 10229 8036 0 -1 1077944320 5239 0 0 0 12 1 0 0 20 0 15 0 154352352 14314082304 6887 33554432000 4194304 4196468 140724356241120 140724356223664 140629137145591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
/proc/10231/statm: 3494649 6887 2883 1 0 3482966 0
[pid=10231/tid=10232] ppid=10229 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=0,2,4,6
/proc/10231/task/10232/stat : 10232 (java) R 10229 10229 8036 0 -1 4202560 3133 0 0 0 9 0 0 0 20 0 15 0 154352352 14314082304 6887 33554432000 4194304 4196468 140724356241120 140629141376880 140629121226078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10233] ppid=10229 vsize=13978596 memory=3472468577665508560 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10233/stat : 10233 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14314082304 6887 33554432000 4194304 4196468 140724356241120 140629108988176 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10234] ppid=10229 vsize=13978596 memory=140448770356864 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10234/stat : 10234 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14314082304 6887 33554432000 4194304 4196468 140724356241120 140628731992464 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10235] ppid=10229 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10235/stat : 10235 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14314082304 6887 33554432000 4194304 4196468 140724356241120 140628730939920 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10236] ppid=10229 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10236/stat : 10236 (java) S 10229 10229 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154352353 14314082304 6887 33554432000 4194304 4196468 140724356241120 140628729887376 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10237] ppid=10229 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10237/stat : 10237 (java) S 10229 10229 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154352354 14314082304 6887 33554432000 4194304 4196468 140724356241120 140628611250672 140629137156738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10238] ppid=10229 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10238/stat : 10238 (java) S 10229 10229 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154352355 14314082304 6887 33554432000 4194304 4196468 140724356241120 140628610196896 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10239] ppid=10229 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10239/stat : 10239 (java) S 10229 10229 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154352355 14314082304 6887 33554432000 4194304 4196468 140724356241120 140628609144304 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10240] ppid=10229 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10240/stat : 10240 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14314082304 6887 33554432000 4194304 4196468 140724356241120 140628608092880 140629137164187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10241] ppid=10229 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10241/stat : 10241 (java) S 10229 10229 8036 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 154352357 14314082304 6887 33554432000 4194304 4196468 140724356241120 140628607039472 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10242] ppid=10229 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10242/stat : 10242 (java) R 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14314082304 6887 33554432000 4194304 4196468 140724356241120 140628605986928 140629137156738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10243] ppid=10229 vsize=13978596 memory=140448770356864 CPUtime=0.01 cores=0,2,4,6
/proc/10231/task/10243/stat : 10243 (java) R 10229 10229 8036 0 -1 4202560 362 0 0 0 1 0 0 0 20 0 15 0 154352357 14314082304 6887 33554432000 4194304 4196468 140724356241120 140628604934384 140629137166938 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10244] ppid=10229 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10244/stat : 10244 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14314082304 6887 33554432000 4194304 4196468 140724356241120 140628603882080 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10245] ppid=10229 vsize=13978596 memory=140448770356864 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10245/stat : 10245 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352358 14314082304 6887 33554432000 4194304 4196468 140724356241120 140628602829616 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28932 KiB
[startup+0.215211 s]*
/proc/loadavg: 1.76 1.91 1.84 3/217 10245
/proc/meminfo: memFree=26359732/32770624 swapFree=67108860/67108860
[pid=10229] ppid=10226 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10229/stat : 10229 (xcsp3-exec) S 10226 10229 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154352351 9740288 346 33554432000 4194304 5098028 140730017322304 140730017320408 140664792101500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13271040 140730017326196 140730017326400 140730017326400 140730017329131 0
/proc/10229/statm: 2378 346 289 221 0 87 0
[pid=10231] ppid=10229 vsize=13982884 memory=39340 CPUtime=0.34 cores=0,2,4,6
/proc/10231/stat : 10231 (java) S 10229 10229 8036 0 -1 1077944320 7839 0 0 0 32 2 0 0 20 0 15 0 154352352 14318473216 9835 33554432000 4194304 4196468 140724356241120 140724356223664 140629137145591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
/proc/10231/statm: 3495721 9835 3090 1 0 3482974 0
[pid=10231/tid=10232] ppid=10229 vsize=13982852 memory=5855082630820233377 CPUtime=0.2 cores=0,2,4,6
/proc/10231/task/10232/stat : 10232 (java) R 10229 10229 8036 0 -1 4202560 4923 0 0 0 19 1 0 0 20 0 15 0 154352352 14318440448 9835 33554432000 4194304 4196468 140724356241120 140629141357280 140629129824813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10233] ppid=10229 vsize=13982852 memory=3472468577665508560 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10233/stat : 10233 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14318440448 9835 33554432000 4194304 4196468 140724356241120 140629108988176 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10234] ppid=10229 vsize=13982852 memory=140448770356864 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10234/stat : 10234 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14318440448 9835 33554432000 4194304 4196468 140724356241120 140628731992464 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10235] ppid=10229 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10235/stat : 10235 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14318440448 9835 33554432000 4194304 4196468 140724356241120 140628730939920 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10236] ppid=10229 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10236/stat : 10236 (java) S 10229 10229 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154352353 14318440448 9835 33554432000 4194304 4196468 140724356241120 140628729887376 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10237] ppid=10229 vsize=13982884 memory=140448770356864 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10237/stat : 10237 (java) S 10229 10229 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154352354 14318473216 9835 33554432000 4194304 4196468 140724356241120 140628611250672 140629137156738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10238] ppid=10229 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10238/stat : 10238 (java) S 10229 10229 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154352355 14318440448 9835 33554432000 4194304 4196468 140724356241120 140628610196896 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10239] ppid=10229 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10239/stat : 10239 (java) S 10229 10229 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154352355 14318440448 9835 33554432000 4194304 4196468 140724356241120 140628609144304 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10240] ppid=10229 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10240/stat : 10240 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14318440448 9835 33554432000 4194304 4196468 140724356241120 140628608092880 140629137164187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10241] ppid=10229 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10231/task/10241/stat : 10241 (java) S 10229 10229 8036 0 -1 1077944384 665 0 0 0 2 0 0 0 20 0 15 0 154352357 14318440448 9835 33554432000 4194304 4196468 140724356241120 140628607039472 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10242] ppid=10229 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10231/task/10242/stat : 10242 (java) S 10229 10229 8036 0 -1 1077944384 145 0 0 0 2 0 0 0 20 0 15 0 154352357 14318440448 9835 33554432000 4194304 4196468 140724356241120 140628605986928 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10243] ppid=10229 vsize=13982852 memory=140448770356864 CPUtime=0.07 cores=0,2,4,6
/proc/10231/task/10243/stat : 10243 (java) S 10229 10229 8036 0 -1 1077944384 827 0 0 0 7 0 0 0 20 0 15 0 154352357 14318440448 9835 33554432000 4194304 4196468 140724356241120 140628604934384 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10244] ppid=10229 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10244/stat : 10244 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14318440448 9835 33554432000 4194304 4196468 140724356241120 140628603882080 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10245] ppid=10229 vsize=13982852 memory=140448770356864 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10245/stat : 10245 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352358 14318440448 9835 33554432000 4194304 4196468 140724356241120 140628602829616 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 40724 KiB
[startup+0.310582 s]*
/proc/loadavg: 1.76 1.91 1.84 4/217 10245
/proc/meminfo: memFree=26353004/32770624 swapFree=67108860/67108860
[pid=10229] ppid=10226 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10229/stat : 10229 (xcsp3-exec) S 10226 10229 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154352351 9740288 346 33554432000 4194304 5098028 140730017322304 140730017320408 140664792101500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13271040 140730017326196 140730017326400 140730017326400 140730017329131 0
/proc/10229/statm: 2378 346 289 221 0 87 0
[pid=10231] ppid=10229 vsize=13982852 memory=46424 CPUtime=0.5 cores=0,2,4,6
/proc/10231/stat : 10231 (java) S 10229 10229 8036 0 -1 1077944320 8828 0 0 0 47 3 0 0 20 0 15 0 154352352 14318440448 11606 33554432000 4194304 4196468 140724356241120 140724356223664 140629137145591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
/proc/10231/statm: 3495713 11606 3114 1 0 3482966 0
[pid=10231/tid=10232] ppid=10229 vsize=13982852 memory=8514701219880862117 CPUtime=0.3 cores=0,2,4,6
/proc/10231/task/10232/stat : 10232 (java) R 10229 10229 8036 0 -1 4202560 5547 0 0 0 28 2 0 0 20 0 15 0 154352352 14318440448 11672 33554432000 4194304 4196468 140724356241120 140629141375392 140629121226078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10233] ppid=10229 vsize=13982852 memory=3472468577665508560 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10233/stat : 10233 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14318440448 11672 33554432000 4194304 4196468 140724356241120 140629108988176 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10234] ppid=10229 vsize=13982852 memory=140448770356864 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10234/stat : 10234 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14318440448 11672 33554432000 4194304 4196468 140724356241120 140628731992464 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10235] ppid=10229 vsize=13982852 memory=1 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10235/stat : 10235 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14318440448 11672 33554432000 4194304 4196468 140724356241120 140628730939920 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10236] ppid=10229 vsize=13982852 memory=140448651946015 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10236/stat : 10236 (java) S 10229 10229 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154352353 14318440448 11672 33554432000 4194304 4196468 140724356241120 140628729887376 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10237] ppid=10229 vsize=13982852 memory=280897303871264 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10237/stat : 10237 (java) S 10229 10229 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154352354 14318440448 11672 33554432000 4194304 4196468 140724356241120 140628611250672 140629137156738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10238] ppid=10229 vsize=13982852 memory=140448651922959 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10238/stat : 10238 (java) S 10229 10229 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154352355 14318440448 11672 33554432000 4194304 4196468 140724356241120 140628610196896 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10239] ppid=10229 vsize=13982852 memory=280897422162952 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10239/stat : 10239 (java) S 10229 10229 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154352355 14318440448 11672 33554432000 4194304 4196468 140724356241120 140628609144304 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10240] ppid=10229 vsize=13982852 memory=140448651946015 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10240/stat : 10240 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14318440448 11672 33554432000 4194304 4196468 140724356241120 140628608092880 140629137164187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10241] ppid=10229 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10231/task/10241/stat : 10241 (java) R 10229 10229 8036 0 -1 4202560 686 0 0 0 2 0 0 0 20 0 15 0 154352357 14318440448 11672 33554432000 4194304 4196468 140724356241120 140628607028144 140629122270356 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10242] ppid=10229 vsize=13982852 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/10231/task/10242/stat : 10242 (java) S 10229 10229 8036 0 -1 1077944384 243 0 0 0 4 0 0 0 20 0 15 0 154352357 14318440448 11672 33554432000 4194304 4196468 140724356241120 140628605986928 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10243] ppid=10229 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10231/task/10243/stat : 10243 (java) S 10229 10229 8036 0 -1 1077944384 1056 0 0 0 12 0 0 0 20 0 15 0 154352357 14318440448 11672 33554432000 4194304 4196468 140724356241120 140628604934384 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10244] ppid=10229 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10244/stat : 10244 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14318440448 11672 33554432000 4194304 4196468 140724356241120 140628603882080 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10245] ppid=10229 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10245/stat : 10245 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352358 14318440448 11672 33554432000 4194304 4196468 140724356241120 140628602829616 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 47808 KiB
[startup+0.701499 s]
/proc/loadavg: 1.76 1.91 1.84 4/217 10245
/proc/meminfo: memFree=26336752/32770624 swapFree=67108860/67108860
[pid=10229] ppid=10226 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10229/stat : 10229 (xcsp3-exec) S 10226 10229 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154352351 9740288 346 33554432000 4194304 5098028 140730017322304 140730017320408 140664792101500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13271040 140730017326196 140730017326400 140730017326400 140730017329131 0
/proc/10229/statm: 2378 346 289 221 0 87 0
[pid=10231] ppid=10229 vsize=13984976 memory=77352 CPUtime=1.59 cores=0,2,4,6
/proc/10231/stat : 10231 (java) S 10229 10229 8036 0 -1 1077944320 14069 0 0 0 154 5 0 0 20 0 15 0 154352352 14320615424 19338 33554432000 4194304 4196468 140724356241120 140724356223664 140629137145591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
/proc/10231/statm: 3496244 19338 3206 1 0 3483478 0
[pid=10231/tid=10232] ppid=10229 vsize=13984976 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/10231/task/10232/stat : 10232 (java) S 10229 10229 8036 0 -1 1077944384 6289 0 0 0 65 3 0 0 20 0 15 0 154352352 14320615424 19338 33554432000 4194304 4196468 140724356241120 140629141381088 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10233] ppid=10229 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10233/stat : 10233 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 19338 33554432000 4194304 4196468 140724356241120 140629108988176 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10234] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10234/stat : 10234 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 19338 33554432000 4194304 4196468 140724356241120 140628731992464 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10235] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10235/stat : 10235 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 19338 33554432000 4194304 4196468 140724356241120 140628730939920 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10236] ppid=10229 vsize=13984976 memory=53 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10236/stat : 10236 (java) S 10229 10229 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 19338 33554432000 4194304 4196468 140724356241120 140628729887376 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10237] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10237/stat : 10237 (java) R 10229 10229 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154352354 14320615424 19338 33554432000 4194304 4196468 140724356241120 140628611250672 140629137156738 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10238] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10238/stat : 10238 (java) S 10229 10229 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154352355 14320615424 19338 33554432000 4194304 4196468 140724356241120 140628610196896 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10239] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10239/stat : 10239 (java) S 10229 10229 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154352355 14320615424 19338 33554432000 4194304 4196468 140724356241120 140628609144304 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10240] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10240/stat : 10240 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14320615424 19338 33554432000 4194304 4196468 140724356241120 140628608092880 140629137164187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10241] ppid=10229 vsize=13984976 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/10231/task/10241/stat : 10241 (java) R 10229 10229 8036 0 -1 4202560 1883 0 0 0 27 1 0 0 20 0 15 0 154352357 14320615424 19338 33554432000 4194304 4196468 140724356241120 140628607030928 140629137166938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10242] ppid=10229 vsize=13984976 memory=5796 CPUtime=0.29 cores=0,2,4,6
/proc/10231/task/10242/stat : 10242 (java) R 10229 10229 8036 0 -1 4202560 2443 0 0 0 29 0 0 0 20 0 15 0 154352357 14320615424 19338 33554432000 4194304 4196468 140724356241120 140628605967144 140629117845888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10243] ppid=10229 vsize=13984976 memory=1224 CPUtime=0.32 cores=0,2,4,6
/proc/10231/task/10243/stat : 10243 (java) S 10229 10229 8036 0 -1 1077944384 2148 0 0 0 32 0 0 0 20 0 15 0 154352357 14320615424 19338 33554432000 4194304 4196468 140724356241120 140628604934384 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10244] ppid=10229 vsize=13984976 memory=8716 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10244/stat : 10244 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14320615424 19338 33554432000 4194304 4196468 140724356241120 140628603882080 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10245] ppid=10229 vsize=13984976 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10245/stat : 10245 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352358 14320615424 19338 33554432000 4194304 4196468 140724356241120 140628602829616 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 78736 KiB
[startup+1.50115 s]
/proc/loadavg: 1.76 1.91 1.84 5/217 10245
/proc/meminfo: memFree=26292348/32770624 swapFree=67108860/67108860
[pid=10229] ppid=10226 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10229/stat : 10229 (xcsp3-exec) S 10226 10229 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154352351 9740288 346 33554432000 4194304 5098028 140730017322304 140730017320408 140664792101500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13271040 140730017326196 140730017326400 140730017326400 140730017329131 0
/proc/10229/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/10231/task/10233/stat : 10233 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 31045 33554432000 4194304 4196468 140724356241120 140629108988176 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10234] ppid=10229 vsize=13984976 memory=6297831425451055458 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10234/stat : 10234 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 31045 33554432000 4194304 4196468 140724356241120 140628731992464 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10235] ppid=10229 vsize=13984976 memory=7445125754002563666 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10235/stat : 10235 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 31045 33554432000 4194304 4196468 140724356241120 140628730939920 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10236] ppid=10229 vsize=13984976 memory=8172459275682664550 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10236/stat : 10236 (java) S 10229 10229 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 31045 33554432000 4194304 4196468 140724356241120 140628729887376 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10237] ppid=10229 vsize=13984976 memory=13921 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10237/stat : 10237 (java) S 10229 10229 8036 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 154352354 14320615424 31045 33554432000 4194304 4196468 140724356241120 140628611250672 140629137156738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10238] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10238/stat : 10238 (java) S 10229 10229 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154352355 14320615424 31045 33554432000 4194304 4196468 140724356241120 140628610196896 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10239] ppid=10229 vsize=13984976 memory=-2127763401593990185 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10239/stat : 10239 (java) S 10229 10229 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154352355 14320615424 31045 33554432000 4194304 4196468 140724356241120 140628609144304 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10240] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10240/stat : 10240 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14320615424 31045 33554432000 4194304 4196468 140724356241120 140628608092880 140629137164187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10241] ppid=10229 vsize=13984976 memory=0 CPUtime=1.07 cores=0,2,4,6
/proc/10231/task/10241/stat : 10241 (java) R 10229 10229 8036 0 -1 4202560 8108 0 0 0 106 1 0 0 20 0 15 0 154352357 14320615424 31045 33554432000 4194304 4196468 140724356241120 140628607028272 140629122308606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10242] ppid=10229 vsize=13984976 memory=0 CPUtime=1.09 cores=0,2,4,6
/proc/10231/task/10242/stat : 10242 (java) R 10229 10229 8036 0 -1 4202560 13315 0 0 0 108 1 0 0 20 0 15 0 154352357 14320615424 31045 33554432000 4194304 4196468 140724356241120 140628605971408 140629120532458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10243] ppid=10229 vsize=13984976 memory=15876 CPUtime=0.46 cores=0,2,4,6
/proc/10231/task/10243/stat : 10243 (java) S 10229 10229 8036 0 -1 1077944384 3898 0 0 0 45 1 0 0 20 0 15 0 154352357 14320615424 31045 33554432000 4194304 4196468 140724356241120 140628604934384 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10244] ppid=10229 vsize=13984976 memory=23640 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10244/stat : 10244 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14320615424 31045 33554432000 4194304 4196468 140724356241120 140628603882080 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10245] ppid=10229 vsize=13984976 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10245/stat : 10245 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352358 14320615424 31045 33554432000 4194304 4196468 140724356241120 140628602829616 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
Current children cumulated CPU time: 4.12 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 125564 KiB
[startup+2.17935 s]
# the end of solver process 10229 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.09356 s, system=0.095795 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60115 s]
/proc/loadavg: 1.76 1.91 1.84 5/217 10245
/proc/meminfo: memFree=26292348/32770624 swapFree=67108860/67108860
[pid=10229] ppid=10226 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10229/stat : 10229 (xcsp3-exec) S 10226 10229 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154352351 9740288 346 33554432000 4194304 5098028 140730017322304 140730017320408 140664792101500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13271040 140730017326196 140730017326400 140730017326400 140730017329131 0
/proc/10229/statm: 2378 346 289 221 0 87 0
[pid=10231] ppid=10229 vsize=13984976 memory=126504 CPUtime=4.43 cores=0,2,4,6
/proc/10231/stat : 10231 (java) S 10229 10229 8036 0 -1 1077944320 33561 0 0 0 435 8 0 0 20 0 15 0 154352352 14320615424 31626 33554432000 4194304 4196468 140724356241120 140724356223664 140629137145591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
/proc/10231/statm: 3496244 31626 3209 1 0 3483478 0
[pid=10231/tid=10232] ppid=10229 vsize=13984976 memory=644 CPUtime=1.57 cores=0,2,4,6
/proc/10231/task/10232/stat : 10232 (java) R 10229 10229 8036 0 -1 4202560 6833 0 0 0 154 3 0 0 20 0 15 0 154352352 14320615424 31626 33554432000 4194304 4196468 140724356241120 140629141377232 140628778370244 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10233] ppid=10229 vsize=13984976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10233/stat : 10233 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 31626 33554432000 4194304 4196468 140724356241120 140629108988176 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10234] ppid=10229 vsize=13984976 memory=4472 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10234/stat : 10234 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 31626 33554432000 4194304 4196468 140724356241120 140628731992464 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10235] ppid=10229 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10235/stat : 10235 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 31626 33554432000 4194304 4196468 140724356241120 140628730939920 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10236] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10236/stat : 10236 (java) S 10229 10229 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 31626 33554432000 4194304 4196468 140724356241120 140628729887376 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10237] ppid=10229 vsize=13984976 memory=280897303869216 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10237/stat : 10237 (java) S 10229 10229 8036 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 154352354 14320615424 31626 33554432000 4194304 4196468 140724356241120 140628611250672 140629137156738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10238] ppid=10229 vsize=13984976 memory=140448651936864 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10238/stat : 10238 (java) S 10229 10229 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154352355 14320615424 31626 33554432000 4194304 4196468 140724356241120 140628610196896 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10239] ppid=10229 vsize=13984976 memory=280897304096672 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10239/stat : 10239 (java) S 10229 10229 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154352355 14320615424 31626 33554432000 4194304 4196468 140724356241120 140628609144304 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10240] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10240/stat : 10240 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14320615424 31626 33554432000 4194304 4196468 140724356241120 140628608092880 140629137164187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10241] ppid=10229 vsize=13984976 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/10231/task/10241/stat : 10241 (java) R 10229 10229 8036 0 -1 4202560 8146 0 0 0 116 1 0 0 20 0 15 0 154352357 14320615424 31626 33554432000 4194304 4196468 140724356241120 140628607029088 140629120672131 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10242] ppid=10229 vsize=13984976 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/10231/task/10242/stat : 10242 (java) R 10229 10229 8036 0 -1 4202560 13337 0 0 0 118 1 0 0 20 0 15 0 154352357 14320615424 31626 33554432000 4194304 4196468 140724356241120 140628605971408 140629118689314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10243] ppid=10229 vsize=13984976 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/10231/task/10243/stat : 10243 (java) S 10229 10229 8036 0 -1 1077944384 3926 0 0 0 46 1 0 0 20 0 15 0 154352357 14320615424 31626 33554432000 4194304 4196468 140724356241120 140628604934384 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10244] ppid=10229 vsize=13984976 memory=7302418915815090532 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10244/stat : 10244 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14320615424 31626 33554432000 4194304 4196468 140724356241120 140628603882080 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10245] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10245/stat : 10245 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352358 14320615424 31626 33554432000 4194304 4196468 140724356241120 140628602829616 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 127888 KiB
[startup+2.00115 s]*
/proc/loadavg: 1.76 1.91 1.84 5/217 10245
/proc/meminfo: memFree=26262812/32770624 swapFree=67108860/67108860
[pid=10229] ppid=10226 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10229/stat : 10229 (xcsp3-exec) S 10226 10229 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154352351 9740288 346 33554432000 4194304 5098028 140730017322304 140730017320408 140664792101500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13271040 140730017326196 140730017326400 140730017326400 140730017329131 0
/proc/10229/statm: 2378 346 289 221 0 87 0
[pid=10231] ppid=10229 vsize=13984976 memory=135936 CPUtime=5.71 cores=0,2,4,6
/proc/10231/stat : 10231 (java) S 10229 10229 8036 0 -1 1077944320 34635 0 0 0 563 8 0 0 20 0 15 0 154352352 14320615424 33984 33554432000 4194304 4196468 140724356241120 140724356223664 140629137145591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
/proc/10231/statm: 3496244 33984 3211 1 0 3483478 0
[pid=10231/tid=10232] ppid=10229 vsize=13984976 memory=6791534058613427641 CPUtime=1.97 cores=0,2,4,6
/proc/10231/task/10232/stat : 10232 (java) R 10229 10229 8036 0 -1 4202560 6861 0 0 0 194 3 0 0 20 0 15 0 154352352 14320615424 33984 33554432000 4194304 4196468 140724356241120 140629141381720 140628773618412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10233] ppid=10229 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10233/stat : 10233 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 33984 33554432000 4194304 4196468 140724356241120 140629108988176 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10234] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10234/stat : 10234 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 33984 33554432000 4194304 4196468 140724356241120 140628731992464 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10235] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10235/stat : 10235 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 33984 33554432000 4194304 4196468 140724356241120 140628730939920 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10236] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10236/stat : 10236 (java) S 10229 10229 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 33984 33554432000 4194304 4196468 140724356241120 140628729887376 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10237] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10237/stat : 10237 (java) S 10229 10229 8036 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 154352354 14320615424 33984 33554432000 4194304 4196468 140724356241120 140628611250672 140629137156738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10238] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10238/stat : 10238 (java) S 10229 10229 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154352355 14320615424 33984 33554432000 4194304 4196468 140724356241120 140628610196896 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10239] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10239/stat : 10239 (java) S 10229 10229 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154352355 14320615424 33984 33554432000 4194304 4196468 140724356241120 140628609144304 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10240] ppid=10229 vsize=13984976 memory=3976732485301903407 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10240/stat : 10240 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14320615424 33984 33554432000 4194304 4196468 140724356241120 140628608092880 140629137164187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10241] ppid=10229 vsize=13984976 memory=0 CPUtime=1.58 cores=0,2,4,6
/proc/10231/task/10241/stat : 10241 (java) R 10229 10229 8036 0 -1 4202560 8930 0 0 0 156 2 0 0 20 0 15 0 154352357 14320615424 33984 33554432000 4194304 4196468 140724356241120 140628607029088 140629116999191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10242] ppid=10229 vsize=13984976 memory=664954319714410818 CPUtime=1.6 cores=0,2,4,6
/proc/10231/task/10242/stat : 10242 (java) R 10229 10229 8036 0 -1 4202560 13465 0 0 0 159 1 0 0 20 0 15 0 154352357 14320615424 33984 33554432000 4194304 4196468 140724356241120 140628605971408 140629118689809 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10243] ppid=10229 vsize=13984976 memory=3472468744995483876 CPUtime=0.53 cores=0,2,4,6
/proc/10231/task/10243/stat : 10243 (java) R 10229 10229 8036 0 -1 1077944384 4060 0 0 0 52 1 0 0 20 0 15 0 154352357 14320615424 33984 33554432000 4194304 4196468 140724356241120 140628604934384 140629137156738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10244] ppid=10229 vsize=13984976 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10244/stat : 10244 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14320615424 33984 33554432000 4194304 4196468 140724356241120 140628603882080 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10245] ppid=10229 vsize=13984976 memory=3472468744998037168 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10245/stat : 10245 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352358 14320615424 33984 33554432000 4194304 4196468 140724356241120 140628602829616 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 137320 KiB
[startup+2.11057 s]
/proc/loadavg: 1.76 1.91 1.84 5/217 10245
/proc/meminfo: memFree=26262812/32770624 swapFree=67108860/67108860
[pid=10229] ppid=10226 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10229/stat : 10229 (xcsp3-exec) S 10226 10229 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154352351 9740288 346 33554432000 4194304 5098028 140730017322304 140730017320408 140664792101500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 13271040 140730017326196 140730017326400 140730017326400 140730017329131 0
/proc/10229/statm: 2378 346 289 221 0 87 0
[pid=10231] ppid=10229 vsize=13984976 memory=136312 CPUtime=6.01 cores=0,2,4,6
/proc/10231/stat : 10231 (java) S 10229 10229 8036 0 -1 1077944320 35747 0 0 0 593 8 0 0 20 0 15 0 154352352 14320615424 34078 33554432000 4194304 4196468 140724356241120 140724356223664 140629137145591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
/proc/10231/statm: 3496244 34078 3211 1 0 3483478 0
[pid=10231/tid=10232] ppid=10229 vsize=13984976 memory=167 CPUtime=2.07 cores=0,2,4,6
/proc/10231/task/10232/stat : 10232 (java) R 10229 10229 8036 0 -1 4202560 7371 0 0 0 204 3 0 0 20 0 15 0 154352352 14320615424 34078 33554432000 4194304 4196468 140724356241120 140629141381720 140628773581934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10233] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10233/stat : 10233 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 34078 33554432000 4194304 4196468 140724356241120 140629108988176 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10234] ppid=10229 vsize=13984976 memory=280897303823312 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10234/stat : 10234 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 34078 33554432000 4194304 4196468 140724356241120 140628731992464 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10235] ppid=10229 vsize=13984976 memory=7597132098393106257 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10235/stat : 10235 (java) S 10229 10229 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 34078 33554432000 4194304 4196468 140724356241120 140628730939920 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10236] ppid=10229 vsize=13984976 memory=4640204396461838434 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10236/stat : 10236 (java) S 10229 10229 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154352353 14320615424 34078 33554432000 4194304 4196468 140724356241120 140628729887376 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10237] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10237/stat : 10237 (java) S 10229 10229 8036 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 154352354 14320615424 34078 33554432000 4194304 4196468 140724356241120 140628611250672 140629137156738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10238] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10238/stat : 10238 (java) S 10229 10229 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154352355 14320615424 34078 33554432000 4194304 4196468 140724356241120 140628610196896 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10239] ppid=10229 vsize=13984976 memory=140448651956720 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10239/stat : 10239 (java) S 10229 10229 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154352355 14320615424 34078 33554432000 4194304 4196468 140724356241120 140628609144304 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10240] ppid=10229 vsize=13984976 memory=13921 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10240/stat : 10240 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14320615424 34078 33554432000 4194304 4196468 140724356241120 140628608092880 140629137164187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10241] ppid=10229 vsize=13984976 memory=0 CPUtime=1.68 cores=0,2,4,6
/proc/10231/task/10241/stat : 10241 (java) R 10229 10229 8036 0 -1 4202560 9038 0 0 0 166 2 0 0 20 0 15 0 154352357 14320615424 34078 33554432000 4194304 4196468 140724356241120 140628607029088 140629116391773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10242] ppid=10229 vsize=13984976 memory=-2127763401593990185 CPUtime=1.7 cores=0,2,4,6
/proc/10231/task/10242/stat : 10242 (java) R 10229 10229 8036 0 -1 4202560 13829 0 0 0 169 1 0 0 20 0 15 0 154352357 14320615424 34078 33554432000 4194304 4196468 140724356241120 140628605974368 140629120632031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10243] ppid=10229 vsize=13984976 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/10231/task/10243/stat : 10243 (java) S 10229 10229 8036 0 -1 1077944384 4177 0 0 0 53 1 0 0 20 0 15 0 154352357 14320615424 34078 33554432000 4194304 4196468 140724356241120 140628604934384 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10244] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10244/stat : 10244 (java) S 10229 10229 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154352357 14320615424 34078 33554432000 4194304 4196468 140724356241120 140628603882080 140629137155797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
[pid=10231/tid=10245] ppid=10229 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10231/task/10245/stat : 10245 (java) S 10229 10229 8036 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 154352358 14320615424 34078 33554432000 4194304 4196468 140724356241120 140628602829616 140629137156738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37081088 140724356244637 140724356244812 140724356244812 140724356247503 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 137696 KiB
Child status: 0
Real time (s): 2.1794
CPU time (s): 6.18935
CPU user time (s): 6.09356
CPU system time (s): 0.095795
CPU usage (%): 283.993
Max. virtual memory (cumulated for all children) (KiB): 13996192
Max. memory (cumulated for all children) (KiB): 137696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.09356
system time used= 0.095795
maximum resident set size= 140780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36712
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1970
involuntary context switches= 51
# summary of solver processes directly reported to runsolver:
# pid: 10229
# total CPU time (s): 6.18935
# total CPU user time (s): 6.09356
# total CPU system time (s): 0.095795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040738 second user time and 0.093098 second system time
The end
Begin job on node113 at 2017-08-20 08:49:49 IDJOB=4284297 IDBENCH=126251 IDSOLVER=2680 FILE ID=node113/4284297-1503212649 RUNJOBID= node113-1503209106-8067 PBS_JOBID= 20630874 Free space on /tmp= 61588 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-06-a4.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-4284297-1503212649/watcher-4284297-1503212649 -o /tmp/evaluation-result-4284297-1503212649/solver-4284297-1503212649 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8067 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1239443164 HOME/instance-4284297-1503212649.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3be13f028e00a9c301b8790857e4d16d RANDOM SEED=1239443164 node113.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26386748 kB MemAvailable: 31754504 kB Buffers: 257752 kB Cached: 5399924 kB SwapCached: 0 kB Active: 1528208 kB Inactive: 4401344 kB Active(anon): 222368 kB Inactive(anon): 85940 kB Active(file): 1305840 kB Inactive(file): 4315404 kB Unevictable: 7460 kB Mlocked: 7460 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7904 kB Writeback: 0 kB AnonPages: 336944 kB Mapped: 64000 kB Shmem: 33416 kB Slab: 151900 kB SReclaimable: 124692 kB SUnreclaim: 27208 kB KernelStack: 3840 kB PageTables: 5684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1188360 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 188416 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61580 MiB End job on node113 at 2017-08-20 08:49:51