Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-18) | OPT | 11 | 1.47677 | 0.668172 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml |
| MD5SUM | 52bc390cc6b0904238f0f092c3eebf68 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 0.024444001 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 30 |
| Number of constraints | 13 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":10},{"size":501,"count":5}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 6 |
| Distribution of variable degrees | [{"degree":0,"count":15},{"degree":2,"count":10},{"degree":5,"count":3},{"degree":6,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 10 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":10},{"arity":5,"count":1},{"arity":10,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 11 |
| Distribution of constraint types | [{"type":"intension","count":11},{"type":"allDifferent","count":1},{"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-4282809-1503212198.xml" -tl '264s' -p 1 -x 0 0.11/0.14 c [HOME/instance-4282809-1503212198.xml, -tl, 264s, -p, 1, -x, 0] 0.11/0.20 c simple solver 0.33/0.27 c parse instance... 0.70/0.45 c solve instance... 0.70/0.48 o 500 0.70/0.48 o 499 0.70/0.49 o 498 0.70/0.49 o 497 0.70/0.49 o 496 0.70/0.49 o 495 0.70/0.49 o 494 0.70/0.49 o 493 0.70/0.50 o 492 0.70/0.50 o 491 0.70/0.50 o 490 0.70/0.50 o 489 0.70/0.50 o 488 0.70/0.50 o 487 0.70/0.50 o 486 0.70/0.50 o 485 0.70/0.51 o 484 0.70/0.51 o 483 0.70/0.51 o 482 0.70/0.51 o 481 0.70/0.51 o 480 0.70/0.51 o 479 1.01/0.52 o 478 1.01/0.52 o 477 1.01/0.52 o 476 1.01/0.53 o 475 1.01/0.53 o 474 1.01/0.53 o 473 1.01/0.53 o 472 1.01/0.53 o 471 1.01/0.53 o 470 1.01/0.53 o 469 1.01/0.53 o 468 1.01/0.53 o 467 1.01/0.53 o 466 1.01/0.53 o 465 1.01/0.53 o 464 1.01/0.53 o 463 1.01/0.53 o 462 1.01/0.53 o 461 1.01/0.53 o 460 1.01/0.53 o 459 1.01/0.53 o 458 1.01/0.53 o 457 1.01/0.53 o 456 1.01/0.54 o 455 1.01/0.54 o 454 1.01/0.55 o 453 1.01/0.55 o 452 1.01/0.55 o 451 1.01/0.55 o 450 1.01/0.55 o 449 1.01/0.55 o 448 1.01/0.55 o 447 1.01/0.55 o 446 1.01/0.55 o 445 1.01/0.55 o 444 1.01/0.55 o 443 1.01/0.55 o 442 1.01/0.55 o 441 1.01/0.55 o 440 1.01/0.55 o 439 1.01/0.55 o 438 1.01/0.55 o 437 1.01/0.55 o 436 1.01/0.55 o 435 1.01/0.55 o 434 1.01/0.55 o 433 1.01/0.55 o 432 1.01/0.55 o 431 1.01/0.55 o 430 1.01/0.56 o 429 1.01/0.56 o 428 1.01/0.56 o 427 1.01/0.56 o 426 1.01/0.56 o 425 1.01/0.56 o 424 1.01/0.56 o 423 1.01/0.56 o 422 1.01/0.56 o 421 1.01/0.56 o 420 1.01/0.56 o 419 1.01/0.56 o 418 1.01/0.56 o 417 1.01/0.56 o 416 1.01/0.56 o 415 1.01/0.56 o 414 1.01/0.56 o 413 1.01/0.56 o 412 1.01/0.56 o 411 1.01/0.56 o 410 1.01/0.56 o 409 1.01/0.56 o 408 1.01/0.56 o 407 1.01/0.56 o 406 1.01/0.56 o 405 1.01/0.56 o 404 1.01/0.56 o 403 1.01/0.56 o 402 1.01/0.56 o 401 1.01/0.56 o 400 1.01/0.57 o 399 1.01/0.57 o 398 1.01/0.57 o 397 1.01/0.57 o 396 1.01/0.57 o 395 1.01/0.57 o 394 1.01/0.57 o 393 1.01/0.57 o 392 1.01/0.57 o 391 1.01/0.57 o 390 1.01/0.57 o 389 1.01/0.57 o 388 1.01/0.57 o 387 1.01/0.57 o 386 1.01/0.57 o 385 1.01/0.57 o 384 1.01/0.57 o 383 1.01/0.57 o 382 1.01/0.57 o 381 1.01/0.57 o 380 1.01/0.57 o 379 1.01/0.57 o 378 1.01/0.57 o 377 1.01/0.57 o 376 1.01/0.57 o 375 1.01/0.57 o 374 1.01/0.57 o 373 1.01/0.57 o 372 1.01/0.57 o 371 1.01/0.57 o 370 1.01/0.57 o 369 1.01/0.57 o 368 1.01/0.57 o 367 1.01/0.57 o 366 1.01/0.57 o 365 1.01/0.57 o 364 1.01/0.57 o 363 1.01/0.57 o 362 1.01/0.57 o 361 1.01/0.57 o 360 1.01/0.57 o 359 1.01/0.57 o 358 1.01/0.57 o 357 1.01/0.57 o 356 1.01/0.57 o 355 1.01/0.58 o 354 1.01/0.58 o 353 1.01/0.58 o 352 1.01/0.58 o 351 1.01/0.58 o 350 1.01/0.58 o 349 1.01/0.58 o 348 1.01/0.58 o 347 1.01/0.58 o 346 1.01/0.58 o 345 1.01/0.58 o 344 1.01/0.58 o 343 1.01/0.58 o 342 1.01/0.58 o 341 1.01/0.58 o 340 1.01/0.58 o 339 1.01/0.58 o 338 1.01/0.58 o 337 1.01/0.58 o 336 1.01/0.58 o 335 1.01/0.59 o 334 1.01/0.59 o 333 1.01/0.59 o 332 1.01/0.59 o 331 1.01/0.59 o 330 1.01/0.59 o 329 1.01/0.59 o 328 1.01/0.59 o 327 1.01/0.59 o 326 1.01/0.59 o 325 1.01/0.59 o 324 1.01/0.59 o 323 1.01/0.59 o 322 1.01/0.59 o 321 1.01/0.59 o 320 1.01/0.59 o 319 1.01/0.59 o 318 1.01/0.59 o 317 1.01/0.59 o 316 1.01/0.59 o 315 1.01/0.59 o 314 1.01/0.59 o 313 1.01/0.59 o 312 1.01/0.59 o 311 1.01/0.59 o 310 1.01/0.59 o 309 1.01/0.59 o 308 1.01/0.59 o 307 1.01/0.59 o 306 1.01/0.59 o 305 1.01/0.59 o 304 1.01/0.59 o 303 1.01/0.60 o 302 1.01/0.60 o 301 1.01/0.60 o 300 1.01/0.60 o 299 1.01/0.60 o 298 1.01/0.60 o 297 1.01/0.60 o 296 1.01/0.60 o 295 1.01/0.60 o 294 1.01/0.60 o 293 1.01/0.60 o 292 1.01/0.60 o 291 1.01/0.60 o 290 1.01/0.60 o 289 1.01/0.60 o 288 1.01/0.60 o 287 1.01/0.60 o 286 1.01/0.60 o 285 1.01/0.60 o 284 1.01/0.60 o 283 1.01/0.60 o 282 1.01/0.60 o 281 1.01/0.60 o 280 1.01/0.60 o 279 1.01/0.60 o 278 1.01/0.60 o 277 1.01/0.60 o 276 1.01/0.60 o 275 1.01/0.60 o 274 1.01/0.60 o 273 1.01/0.60 o 272 1.01/0.60 o 271 1.01/0.60 o 270 1.01/0.60 o 269 1.01/0.60 o 268 1.01/0.60 o 267 1.01/0.60 o 266 1.01/0.60 o 265 1.01/0.60 o 264 1.01/0.60 o 263 1.01/0.60 o 262 1.01/0.60 o 261 1.01/0.60 o 260 1.01/0.60 o 259 1.01/0.60 o 258 1.01/0.60 o 257 1.01/0.60 o 256 1.33/0.61 o 255 1.33/0.61 o 254 1.33/0.61 o 253 1.33/0.61 o 252 1.33/0.61 o 251 1.33/0.61 o 250 1.33/0.61 o 249 1.33/0.61 o 248 1.33/0.61 o 247 1.33/0.61 o 246 1.33/0.61 o 245 1.33/0.61 o 244 1.33/0.61 o 243 1.33/0.61 o 242 1.33/0.61 o 241 1.33/0.61 o 240 1.33/0.61 o 239 1.33/0.61 o 238 1.33/0.61 o 237 1.33/0.61 o 236 1.33/0.61 o 235 1.33/0.61 o 234 1.33/0.61 o 233 1.33/0.61 o 232 1.33/0.61 o 231 1.33/0.61 o 230 1.33/0.61 o 229 1.33/0.61 o 228 1.33/0.61 o 227 1.33/0.61 o 226 1.33/0.61 o 225 1.33/0.61 o 224 1.33/0.61 o 223 1.33/0.61 o 222 1.33/0.61 o 221 1.33/0.61 o 220 1.33/0.61 o 219 1.33/0.61 o 218 1.33/0.61 o 217 1.33/0.61 o 216 1.33/0.61 o 215 1.33/0.61 o 214 1.33/0.61 o 213 1.33/0.61 o 212 1.33/0.61 o 211 1.33/0.61 o 210 1.33/0.61 o 209 1.33/0.61 o 208 1.33/0.61 o 207 1.33/0.61 o 206 1.33/0.61 o 205 1.33/0.61 o 204 1.33/0.61 o 203 1.33/0.61 o 202 1.33/0.61 o 201 1.33/0.61 o 200 1.33/0.61 o 199 1.33/0.62 o 198 1.33/0.62 o 197 1.33/0.62 o 196 1.33/0.62 o 195 1.33/0.62 o 194 1.33/0.62 o 193 1.33/0.62 o 192 1.33/0.62 o 191 1.33/0.62 o 190 1.33/0.62 o 189 1.33/0.62 o 188 1.33/0.62 o 187 1.33/0.62 o 186 1.33/0.62 o 185 1.33/0.62 o 184 1.33/0.62 o 183 1.33/0.62 o 182 1.33/0.62 o 181 1.33/0.62 o 180 1.33/0.62 o 179 1.33/0.62 o 178 1.33/0.62 o 177 1.33/0.62 o 176 1.33/0.62 o 175 1.33/0.62 o 174 1.33/0.62 o 173 1.33/0.62 o 172 1.33/0.62 o 171 1.33/0.62 o 170 1.33/0.62 o 169 1.33/0.62 o 168 1.33/0.62 o 167 1.33/0.62 o 166 1.33/0.62 o 165 1.33/0.62 o 164 1.33/0.62 o 163 1.33/0.62 o 162 1.33/0.62 o 161 1.33/0.62 o 160 1.33/0.62 o 159 1.33/0.62 o 158 1.33/0.62 o 157 1.33/0.62 o 156 1.33/0.62 o 155 1.33/0.62 o 154 1.33/0.62 o 153 1.33/0.62 o 152 1.33/0.62 o 151 1.33/0.63 o 150 1.33/0.63 o 149 1.33/0.63 o 148 1.33/0.63 o 147 1.33/0.63 o 146 1.33/0.63 o 145 1.33/0.63 o 144 1.33/0.63 o 143 1.33/0.63 o 142 1.33/0.63 o 141 1.33/0.63 o 140 1.33/0.63 o 139 1.33/0.63 o 138 1.33/0.63 o 137 1.33/0.63 o 136 1.33/0.63 o 135 1.33/0.63 o 134 1.33/0.63 o 133 1.33/0.63 o 132 1.33/0.63 o 131 1.33/0.63 o 130 1.33/0.63 o 129 1.33/0.63 o 128 1.33/0.63 o 127 1.33/0.63 o 126 1.33/0.63 o 125 1.33/0.63 o 124 1.33/0.63 o 123 1.33/0.63 o 122 1.33/0.63 o 121 1.33/0.63 o 120 1.33/0.63 o 119 1.33/0.63 o 118 1.33/0.63 o 117 1.33/0.63 o 116 1.33/0.63 o 115 1.33/0.63 o 114 1.33/0.63 o 113 1.33/0.63 o 112 1.33/0.63 o 111 1.33/0.63 o 110 1.33/0.63 o 109 1.33/0.63 o 12 1.33/0.64 o 11 1.33/0.64 s OPTIMUM FOUND 1.33/0.64 v <instantiation> 1.33/0.64 v <list>x[0] x[1] x[2] x[3] x[4] y[0][1] y[0][2] y[0][3] y[0][4] y[1][2] y[1][3] y[1][4] y[2][3] y[2][4] y[3][4] </list> 1.33/0.64 v <values>0 1 4 9 11 1 4 9 11 3 8 10 5 7 2 </values> 1.33/0.64 v </instantiation>
OK 11
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 (12979 MiB free)
memory of node 1: 16384 MiB (12731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282809-1503212198/watcher-4282809-1503212198 -o /tmp/evaluation-result-4282809-1503212198/solver-4282809-1503212198 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503208459-21035 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 521575075 HOME/instance-4282809-1503212198.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=23536, runsolver pid=23533
[startup+0.100059 s]*
/proc/loadavg: 1.96 1.97 1.85 4/218 23552
/proc/meminfo: memFree=26312544/32770624 swapFree=67108860/67108860
[pid=23536] ppid=23533 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (xcsp3-exec) S 23533 23536 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307652 9740288 345 33554432000 4194304 5098028 140728921869264 140728921867368 140525734949500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24014848 140728921871477 140728921871680 140728921871680 140728921874411 0
/proc/23536/statm: 2378 345 289 221 0 87 0
[pid=23538] ppid=23536 vsize=13978596 memory=27696 CPUtime=0.11 cores=0,2,4,6
/proc/23538/stat : 23538 (java) S 23536 23536 21004 0 -1 1077944320 5333 0 0 0 11 0 0 0 20 0 15 0 154307652 14314082304 6924 33554432000 4194304 4196468 140732281274912 140732281257456 140368834617079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
/proc/23538/statm: 3494649 6924 2846 1 0 3482966 0
[pid=23538/tid=23539] ppid=23536 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=0,2,4,6
/proc/23538/task/23539/stat : 23539 (java) R 23536 23536 21004 0 -1 4202560 3347 0 0 0 9 0 0 0 20 0 15 0 154307652 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368838848768 140368834629014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23540] ppid=23536 vsize=13978596 memory=3472467800639440080 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23540/stat : 23540 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307653 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368793377680 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23541] ppid=23536 vsize=13978596 memory=139671744288384 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23541/stat : 23541 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307653 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368429792016 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23542] ppid=23536 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23542/stat : 23542 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307653 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368428739728 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23543] ppid=23536 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23543/stat : 23543 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307653 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368427686928 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23544] ppid=23536 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23544/stat : 23544 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307654 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368308803696 140368834628226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23545] ppid=23536 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23545/stat : 23545 (java) S 23536 23536 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154307655 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368307749664 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23546] ppid=23536 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23546/stat : 23546 (java) S 23536 23536 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154307655 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368306697328 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23547] ppid=23536 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23547/stat : 23547 (java) S 23536 23536 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307657 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368305645648 140368834635675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23548] ppid=23536 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23548/stat : 23548 (java) S 23536 23536 21004 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 154307657 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368304593520 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23549] ppid=23536 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23549/stat : 23549 (java) S 23536 23536 21004 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 154307657 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368303540720 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23550] ppid=23536 vsize=13978596 memory=139671744288384 CPUtime=0.01 cores=0,2,4,6
/proc/23538/task/23550/stat : 23550 (java) R 23536 23536 21004 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 15 0 154307657 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368302488432 140368813535623 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23551] ppid=23536 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23551/stat : 23551 (java) S 23536 23536 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307658 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368301435872 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23552] ppid=23536 vsize=13978596 memory=139671744288384 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23552/stat : 23552 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307658 14314082304 6924 33554432000 4194304 4196468 140732281274912 140368300382640 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29076 KiB
[startup+0.210425 s]*
/proc/loadavg: 1.96 1.97 1.85 4/218 23552
/proc/meminfo: memFree=26300660/32770624 swapFree=67108860/67108860
[pid=23536] ppid=23533 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (xcsp3-exec) S 23533 23536 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307652 9740288 345 33554432000 4194304 5098028 140728921869264 140728921867368 140525734949500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24014848 140728921871477 140728921871680 140728921871680 140728921874411 0
/proc/23536/statm: 2378 345 289 221 0 87 0
[pid=23538] ppid=23536 vsize=13982852 memory=40572 CPUtime=0.33 cores=0,2,4,6
/proc/23538/stat : 23538 (java) S 23536 23536 21004 0 -1 1077944320 8165 0 0 0 31 2 0 0 20 0 15 0 154307652 14318440448 10143 33554432000 4194304 4196468 140732281274912 140732281257456 140368834617079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
/proc/23538/statm: 3495713 10143 3057 1 0 3482966 0
[pid=23538/tid=23539] ppid=23536 vsize=13982852 memory=5853394889045019040 CPUtime=0.19 cores=0,2,4,6
/proc/23538/task/23539/stat : 23539 (java) R 23536 23536 21004 0 -1 4202560 5253 0 0 0 18 1 0 0 20 0 15 0 154307652 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368838831088 140368818697566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23540] ppid=23536 vsize=13982852 memory=3472467800639440080 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23540/stat : 23540 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307653 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368793377680 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23541] ppid=23536 vsize=13982852 memory=139671744288384 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23541/stat : 23541 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307653 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368429792016 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23542] ppid=23536 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23542/stat : 23542 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307653 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368428739728 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23543] ppid=23536 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23543/stat : 23543 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307653 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368427686928 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23544] ppid=23536 vsize=13982852 memory=139671744288384 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23544/stat : 23544 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307654 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368308803696 140368834628226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23545] ppid=23536 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23545/stat : 23545 (java) S 23536 23536 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154307655 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368307749664 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23546] ppid=23536 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23546/stat : 23546 (java) S 23536 23536 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154307655 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368306697328 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23547] ppid=23536 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23547/stat : 23547 (java) S 23536 23536 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307657 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368305645648 140368834635675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23548] ppid=23536 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23538/task/23548/stat : 23548 (java) S 23536 23536 21004 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 15 0 154307657 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368304593520 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23549] ppid=23536 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23538/task/23549/stat : 23549 (java) S 23536 23536 21004 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 154307657 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368303540720 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23550] ppid=23536 vsize=13982852 memory=139671744288384 CPUtime=0.07 cores=0,2,4,6
/proc/23538/task/23550/stat : 23550 (java) R 23536 23536 21004 0 -1 4202560 760 0 0 0 7 0 0 0 20 0 15 0 154307657 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368302488432 140368834638426 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23551] ppid=23536 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23551/stat : 23551 (java) S 23536 23536 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307658 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368301435872 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23552] ppid=23536 vsize=13982852 memory=139671744288384 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23552/stat : 23552 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307658 14318440448 10143 33554432000 4194304 4196468 140732281274912 140368300382640 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41952 KiB
[startup+0.310455 s]*
/proc/loadavg: 1.96 1.97 1.85 3/218 23552
/proc/meminfo: memFree=26294208/32770624 swapFree=67108860/67108860
[pid=23536] ppid=23533 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (xcsp3-exec) S 23533 23536 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307652 9740288 345 33554432000 4194304 5098028 140728921869264 140728921867368 140525734949500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24014848 140728921871477 140728921871680 140728921871680 140728921874411 0
/proc/23536/statm: 2378 345 289 221 0 87 0
[pid=23538] ppid=23536 vsize=13982852 memory=47848 CPUtime=0.49 cores=0,2,4,6
/proc/23538/stat : 23538 (java) S 23536 23536 21004 0 -1 1077944320 9085 0 0 0 47 2 0 0 20 0 15 0 154307652 14318440448 11962 33554432000 4194304 4196468 140732281274912 140732281257456 140368834617079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
/proc/23538/statm: 3495713 11962 3119 1 0 3482966 0
[pid=23538/tid=23539] ppid=23536 vsize=13982852 memory=-8540663193526752614 CPUtime=0.29 cores=0,2,4,6
/proc/23538/task/23539/stat : 23539 (java) R 23536 23536 21004 0 -1 4202560 6005 0 0 0 28 1 0 0 20 0 15 0 154307652 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368838852096 140368473324777 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23540] ppid=23536 vsize=13982852 memory=3472467800639440080 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23540/stat : 23540 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307653 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368793377680 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23541] ppid=23536 vsize=13982852 memory=139671744309339 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23541/stat : 23541 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307653 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368429792016 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23542] ppid=23536 vsize=13982852 memory=139671598400796 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23542/stat : 23542 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307653 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368428739728 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23543] ppid=23536 vsize=13982852 memory=139671598382031 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23543/stat : 23543 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307653 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368427686928 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23544] ppid=23536 vsize=13982852 memory=139671744309415 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23544/stat : 23544 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307654 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368308803696 140368834628226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23545] ppid=23536 vsize=13982852 memory=139671598391247 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23545/stat : 23545 (java) S 23536 23536 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154307655 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368307749664 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23546] ppid=23536 vsize=13982852 memory=279343196780176 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23546/stat : 23546 (java) S 23536 23536 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154307655 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368306697328 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23547] ppid=23536 vsize=13982852 memory=279343196787056 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23547/stat : 23547 (java) S 23536 23536 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307657 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368305645648 140368834635675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23548] ppid=23536 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23538/task/23548/stat : 23548 (java) S 23536 23536 21004 0 -1 1077944384 509 0 0 0 3 0 0 0 20 0 15 0 154307657 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368304593520 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23549] ppid=23536 vsize=13982852 memory=2240 CPUtime=0.03 cores=0,2,4,6
/proc/23538/task/23549/stat : 23549 (java) S 23536 23536 21004 0 -1 1077944384 399 0 0 0 3 0 0 0 20 0 15 0 154307657 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368303540720 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23550] ppid=23536 vsize=13982852 memory=139671744288384 CPUtime=0.11 cores=0,2,4,6
/proc/23538/task/23550/stat : 23550 (java) S 23536 23536 21004 0 -1 1077944384 870 0 0 0 11 0 0 0 20 0 15 0 154307657 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368302488432 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23551] ppid=23536 vsize=13982852 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23551/stat : 23551 (java) S 23536 23536 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307658 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368301435872 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23552] ppid=23536 vsize=13982852 memory=139671744288384 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23552/stat : 23552 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307658 14318440448 11962 33554432000 4194304 4196468 140732281274912 140368300382640 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49228 KiB
[startup+0.668129 s]
# the end of solver process 23536 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.43005 s, system=0.046713 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410605 s]*
/proc/loadavg: 1.96 1.97 1.85 5/218 23552
/proc/meminfo: memFree=26287384/32770624 swapFree=67108860/67108860
[pid=23536] ppid=23533 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (xcsp3-exec) S 23533 23536 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307652 9740288 345 33554432000 4194304 5098028 140728921869264 140728921867368 140525734949500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24014848 140728921871477 140728921871680 140728921871680 140728921874411 0
/proc/23536/statm: 2378 345 289 221 0 87 0
[pid=23538] ppid=23536 vsize=13984976 memory=54064 CPUtime=0.7 cores=0,2,4,6
/proc/23538/stat : 23538 (java) S 23536 23536 21004 0 -1 1077944320 9800 0 0 0 67 3 0 0 20 0 15 0 154307652 14320615424 13516 33554432000 4194304 4196468 140732281274912 140732281257456 140368834617079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
/proc/23538/statm: 3496244 13516 3152 1 0 3483478 0
[pid=23538/tid=23539] ppid=23536 vsize=13984976 memory=5854522992303638944 CPUtime=0.38 cores=0,2,4,6
/proc/23538/task/23539/stat : 23539 (java) R 23536 23536 21004 0 -1 4202560 6489 0 0 0 37 1 0 0 20 0 15 0 154307652 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368838854976 140368818697566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23540] ppid=23536 vsize=13984976 memory=3472467800639440080 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23540/stat : 23540 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307653 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368793377680 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23541] ppid=23536 vsize=13984976 memory=139671744288384 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23541/stat : 23541 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307653 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368429792016 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23542] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23542/stat : 23542 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307653 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368428739728 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23543] ppid=23536 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23543/stat : 23543 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307653 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368427686928 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23544] ppid=23536 vsize=13984976 memory=139671744288384 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23544/stat : 23544 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307654 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368308803696 140368834628226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23545] ppid=23536 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23545/stat : 23545 (java) S 23536 23536 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154307655 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368307749664 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23546] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23546/stat : 23546 (java) S 23536 23536 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154307655 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368306697328 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23547] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23547/stat : 23547 (java) S 23536 23536 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307657 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368305645648 140368834635675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23548] ppid=23536 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23538/task/23548/stat : 23548 (java) S 23536 23536 21004 0 -1 1077944384 629 0 0 0 7 0 0 0 20 0 15 0 154307657 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368304593520 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23549] ppid=23536 vsize=13984976 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/23538/task/23549/stat : 23549 (java) S 23536 23536 21004 0 -1 1077944384 434 0 0 0 6 0 0 0 20 0 15 0 154307657 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368303540720 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23550] ppid=23536 vsize=13984976 memory=139671744288384 CPUtime=0.16 cores=0,2,4,6
/proc/23538/task/23550/stat : 23550 (java) R 23536 23536 21004 0 -1 4202560 945 0 0 0 16 0 0 0 20 0 15 0 154307657 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368302488432 140368814341358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23551] ppid=23536 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23551/stat : 23551 (java) S 23536 23536 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307658 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368301435872 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23552] ppid=23536 vsize=13984976 memory=139671744288384 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23552/stat : 23552 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307658 14320615424 13516 33554432000 4194304 4196468 140732281274912 140368300382640 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 55444 KiB
[startup+0.610764 s]
/proc/loadavg: 1.96 1.97 1.85 7/218 23552
/proc/meminfo: memFree=26280872/32770624 swapFree=67108860/67108860
[pid=23536] ppid=23533 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23536/stat : 23536 (xcsp3-exec) S 23533 23536 21004 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154307652 9740288 345 33554432000 4194304 5098028 140728921869264 140728921867368 140525734949500 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24014848 140728921871477 140728921871680 140728921871680 140728921874411 0
/proc/23536/statm: 2378 345 289 221 0 87 0
[pid=23538] ppid=23536 vsize=13984976 memory=69212 CPUtime=1.33 cores=0,2,4,6
/proc/23538/stat : 23538 (java) S 23536 23536 21004 0 -1 1077944320 12506 0 0 0 130 3 0 0 20 0 15 0 154307652 14320615424 17303 33554432000 4194304 4196468 140732281274912 140732281257456 140368834617079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
/proc/23538/statm: 3496244 17303 3209 1 0 3483478 0
[pid=23538/tid=23539] ppid=23536 vsize=13984976 memory=805534 CPUtime=0.57 cores=0,2,4,6
/proc/23538/task/23539/stat : 23539 (java) R 23536 23536 21004 0 -1 4202560 6647 0 0 0 55 2 0 0 20 0 15 0 154307652 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368838855264 140368834638909 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23540] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23540/stat : 23540 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307653 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368793377680 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23541] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23541/stat : 23541 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307653 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368429792016 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23542] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23542/stat : 23542 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307653 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368428739728 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23543] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23543/stat : 23543 (java) S 23536 23536 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154307653 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368427686928 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23544] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23544/stat : 23544 (java) S 23536 23536 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154307654 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368308803696 140368834628226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23545] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23545/stat : 23545 (java) S 23536 23536 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154307655 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368307749664 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23546] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23546/stat : 23546 (java) S 23536 23536 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154307655 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368306697328 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23547] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23547/stat : 23547 (java) S 23536 23536 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307657 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368305645648 140368834635675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23548] ppid=23536 vsize=13984976 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/23538/task/23548/stat : 23548 (java) R 23536 23536 21004 0 -1 4202560 1915 0 0 0 25 0 0 0 20 0 15 0 154307657 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368304574536 140368813864736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23549] ppid=23536 vsize=13984976 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/23538/task/23549/stat : 23549 (java) R 23536 23536 21004 0 -1 4202560 1107 0 0 0 22 0 0 0 20 0 15 0 154307657 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368303533680 140368819439711 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23550] ppid=23536 vsize=13984976 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/23538/task/23550/stat : 23550 (java) R 23536 23536 21004 0 -1 4202560 1533 0 0 0 26 0 0 0 20 0 15 0 154307657 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368302484192 140368827713915 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23551] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23551/stat : 23551 (java) S 23536 23536 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154307658 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368301435872 140368834627285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
[pid=23538/tid=23552] ppid=23536 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23538/task/23552/stat : 23552 (java) S 23536 23536 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154307658 14320615424 17303 33554432000 4194304 4196468 140732281274912 140368300382640 140368834628226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140732281279645 140732281279820 140732281279820 140732281282511 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 70592 KiB
Child status: 0
Real time (s): 0.668172
CPU time (s): 1.47677
CPU user time (s): 1.43005
CPU system time (s): 0.046713
CPU usage (%): 221.016
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 70592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.43005
system time used= 0.046713
maximum resident set size= 71304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13406
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= 1431
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 23536
# total CPU time (s): 1.47677
# total CPU user time (s): 1.43005
# total CPU system time (s): 0.046713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028326 second user time and 0.050454 second system time
The end
Begin job on node107 at 2017-08-20 08:42:17 IDJOB=4282809 IDBENCH=126209 IDSOLVER=2678 FILE ID=node107/4282809-1503212198 RUNJOBID= node107-1503208459-21035 PBS_JOBID= 20630867 Free space on /tmp= 61788 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-05-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-4282809-1503212198/watcher-4282809-1503212198 -o /tmp/evaluation-result-4282809-1503212198/solver-4282809-1503212198 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503208459-21035 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 521575075 HOME/instance-4282809-1503212198.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 52bc390cc6b0904238f0f092c3eebf68 RANDOM SEED=521575075 node107.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.84 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.84 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.84 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.84 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: 26328356 kB MemAvailable: 31787288 kB Buffers: 270484 kB Cached: 5480656 kB SwapCached: 0 kB Active: 1081544 kB Inactive: 4912532 kB Active(anon): 245688 kB Inactive(anon): 33132 kB Active(file): 835856 kB Inactive(file): 4879400 kB Unevictable: 7640 kB Mlocked: 7640 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7916 kB Writeback: 0 kB AnonPages: 297192 kB Mapped: 64140 kB Shmem: 33420 kB Slab: 145868 kB SReclaimable: 119020 kB SUnreclaim: 26848 kB KernelStack: 3824 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1256596 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 196608 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61780 MiB End job on node107 at 2017-08-20 08:42:18