0.00/0.00 This is pico-portfolio, a naive parallel portfolio
0.00/0.00 Copyright (C) 2011 Olivier Roussel
0.00/0.00 Using 32 processing units
0.00/0.00 This portfolio uses the following solvers:
0.00/0.00 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00 [5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00 Starting clasp 1.3.6 on core(s) 1
0.00/0.00 Starting TNM 2009 on core(s) 2
0.00/0.00 Starting march_hi 2009 on core(s) 3
0.00/0.00 Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
20809.79/651.65 s SATISFIABLE
20809.79/651.65 v -1 2 -3 4 5 6 7
20809.79/651.65 v 8 9 10 11 12 13 14 -15
20809.79/651.65 v -16 17 -18 19 20 21 -22 -23
20809.79/651.65 v 24 -25 -26 -27 -28 -29 30 31
20809.79/651.65 v 32 33 34 -35 -36 37 -38 39
20809.79/651.65 v 40 -41 -42 -43 -44 45 46 -47
20809.79/651.65 v 48 49 -50 -51 -52 -53 54 -55
20809.79/651.65 v 56 -57 -58 -59 60 61 62 -63
20809.79/651.65 v -64 -65 66 67 -68 69 70 71
20809.79/651.65 v -72 73 -74 75 76 77 78 -79
20809.79/651.65 v 80 81 -82 -83 84 -85 86 -87
20809.79/651.65 v 88 89 90 -91 -92 93 94 95
20809.79/651.65 v -96 -97 -98 99 -100 -101 -102 103
20809.79/651.65 v -104 105 -106 107 -108 -109 -110 111
20809.79/651.65 v -112 -113 114 -115 -116 -117 118 -119
20809.79/651.65 v -120 121 122 -123 -124 -125 126 -127
20809.79/651.65 v -128 129 130 131 -132 -133 134 -135
20809.79/651.65 v -136 137 -138 139 140 141 142 143
20809.79/651.65 v -144 145 -146 -147 -148 149 150 -151
20809.79/651.65 v -152 -153 -154 -155 156 -157 158 159
20809.79/651.65 v 160 161 162 163 164 -165 166 -167
20809.79/651.65 v -168 -169 170 -171 -172 -173 -174 175
20809.79/651.65 v 176 177 -178 -179 180 -181 182 -183
20809.79/651.65 v 184 -185 186 187 -188 189 -190 -191
20809.79/651.65 v 192 -193 -194 195 196 -197 -198 -199
20809.79/651.65 v 200 -201 202 -203 -204 -205 -206 -207
20809.79/651.65 v 208 -209 -210 211 -212 213 214 -215
20809.79/651.65 v -216 217 218 -219 -220 221 -222 -223
20809.79/651.65 v 224 225 226 227 -228 229 -230 -231
20809.79/651.65 v 232 233 -234 235 -236 237 238 239
20809.79/651.65 v 240 241 242 -243 -244 -245 -246 -247
20809.79/651.65 v 248 249 250 -251 252 253 -254 -255
20809.79/651.65 v -256 -257 258 -259 260 261 262 -263
20809.79/651.65 v 264 265 -266 -267 268 269 270 271
20809.79/651.65 v 272 273 274 -275 -276 277 -278 -279
20809.79/651.65 v -280 -281 282 -283 284 -285 -286 -287
20809.79/651.65 v 288 289 290 291 -292 293 -294 295
20809.79/651.65 v -296 297 298 299 300 -301 -302 303
20809.79/651.65 v 304 305 -306 307 -308 309 310 311
20809.79/651.65 v -312 -313 -314 315 316 -317 318 319
20809.79/651.65 v 320 321 -322 323 324 325 -326 -327
20809.79/651.65 v 328 -329 -330 331 -332 -333 -334 -335
20809.79/651.65 v 336 -337 338 -339 -340 -341 342 -343
20809.79/651.65 v -344 -345 346 -347 -348 -349 350 351
20809.79/651.65 v -352 -353 -354 -355 356 357 358 359
20809.79/651.65 v -360 361 -362 363 364 -365 -366 -367
20809.79/651.65 v -368 -369 -370 371 372 373 -374 375
20809.79/651.65 v 376 -377 378 -379 380 381 382 383
20809.79/651.65 v -384 -385 386 -387 -388 -389 -390 391
20809.79/651.65 v 392 393 394 395 396 397 -398 -399
20809.79/651.65 v 400 -401 402 -403 404 405 406 -407
20809.79/651.65 v 408 -409 -410 -411 412 413 -414 415
20809.79/651.65 v 416 -417 -418 -419 -420 421 -422 423
20809.79/651.65 v 424 -425 -426 427 -428 429 430 -431
20809.79/651.65 v 432 -433 -434 435 436 437 -438 439
20809.79/651.65 v 440 -441 -442 443 444 445 -446 -447
20809.79/651.65 v -448 -449 -450 -451 452 453 454 -455
20809.79/651.65 v -456 457 -458 -459 -460 461 462 -463
20809.79/651.65 v 464 -465 -466 467 -468 -469 470 471
20809.79/651.65 v -472 -473 474 -475 476 477 -478 -479
20809.79/651.65 v -480 -481 482 -483 484 485 486 487
20809.79/651.65 v 488 489 490 491 -492 -493 -494 495
20809.79/651.65 v -496 -497 -498 499 500 501 -502 -503
20809.79/651.65 v 504 -505 506 -507 -508 509 -510 511
20809.79/651.65 v -512 513 -514 -515 516 -517 -518 -519
20809.79/651.65 v -520 -521 522 -523 -524 -525 526 -527
20809.79/651.65 v -528 -529 530 531 -532 -533 534 -535
20809.79/651.65 v 536 537 538 539 -540 -541 -542 -543
20809.79/651.65 v -544 -545 -546 547 548 -549 550 -551
20809.79/651.65 v 552 553 -554 555 556 -557 558 559
20809.79/651.65 v -560 -561 562 -563 564 -565 566 -567
20809.79/651.65 v 568 569 570 571 -572 -573 574 575
20809.79/651.65 v -576 -577 -578 -579 580 -581 -582 583
20809.79/651.65 v -584 -585 -586 587 588 -589 -590 591
20809.79/651.65 v -592 -593 -594 595 -596
20809.79/651.65 v 0
20809.79/651.66 solver [5] plingeling 276-6264d55-100731 answered
20809.79/651.66 Done
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3347579-1305372177/watcher-3347579-1305372177 -o /tmp/evaluation-result-3347579-1305372177/solver-3347579-1305372177 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347579-1305372177.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.10 30.98 31.71 1/413 29841
/proc/meminfo: memFree=255610476/264257624 swapFree=67111528/67111528
[pid=29841] ppid=29839 vsize=18324 CPUtime=0 cores=0-31
/proc/29841/stat : 29841 (ppfolio) S 29839 29841 29815 0 -1 4202496 511 0 0 0 0 0 0 0 25 0 1 0 648704102 18763776 385 268435456000 4194304 4287625 140735506840112 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/29841/statm: 4581 385 337 23 0 91 0
[startup+0.0703559 s]
/proc/loadavg: 27.10 30.98 31.71 1/413 29841
/proc/meminfo: memFree=255610476/264257624 swapFree=67111528/67111528
[pid=29841] ppid=29839 vsize=18324 CPUtime=0 cores=0-31
/proc/29841/stat : 29841 (ppfolio) S 29839 29841 29815 0 -1 4202496 511 0 0 0 0 0 0 0 25 0 1 0 648704102 18763776 385 268435456000 4194304 4287625 140735506840112 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/29841/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.10471 s]
/proc/loadavg: 27.10 30.98 31.71 1/413 29841
/proc/meminfo: memFree=255610476/264257624 swapFree=67111528/67111528
[pid=29841] ppid=29839 vsize=18324 CPUtime=0 cores=0-31
/proc/29841/stat : 29841 (ppfolio) S 29839 29841 29815 0 -1 4202496 511 0 0 0 0 0 0 0 25 0 1 0 648704102 18763776 385 268435456000 4194304 4287625 140735506840112 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/29841/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.30028 s]
/proc/loadavg: 27.10 30.98 31.71 1/413 29841
/proc/meminfo: memFree=255610476/264257624 swapFree=67111528/67111528
[pid=29841] ppid=29839 vsize=18324 CPUtime=0 cores=0-31
/proc/29841/stat : 29841 (ppfolio) S 29839 29841 29815 0 -1 4202496 511 0 0 0 0 0 0 0 24 0 1 0 648704102 18763776 385 268435456000 4194304 4287625 140735506840112 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 20 0 0 0
/proc/29841/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700295 s]
/proc/loadavg: 27.10 30.98 31.71 1/413 29841
/proc/meminfo: memFree=255610476/264257624 swapFree=67111528/67111528
[pid=29841] ppid=29839 vsize=18324 CPUtime=0 cores=0-31
/proc/29841/stat : 29841 (ppfolio) S 29839 29841 29815 0 -1 4202496 511 0 0 0 0 0 0 0 21 0 1 0 648704102 18763776 385 268435456000 4194304 4287625 140735506840112 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 28 0 0 0
/proc/29841/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50132 s]
/proc/loadavg: 27.10 30.98 31.71 34/447 29880
/proc/meminfo: memFree=255564672/264257624 swapFree=67111528/67111528
[pid=29841] ppid=29839 vsize=18324 CPUtime=0 cores=0-31
/proc/29841/stat : 29841 (ppfolio) S 29839 29841 29815 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 648704102 18763776 385 268435456000 4194304 4287625 140735506840112 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 28 0 0 0
/proc/29841/statm: 4581 385 337 23 0 91 0
[pid=29842] ppid=29841 vsize=1263412 CPUtime=1.48 cores=0
/proc/29842/stat : 29842 (cryptominisat) R 29841 29841 29815 0 -1 4202496 1678 0 0 0 148 0 0 0 25 0 1 0 648704103 1293733888 900 268435456000 4194304 4587354 140736808872112 18446744073709551615 4238120 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29842/statm: 315853 900 330 96 0 312415 0
[pid=29843] ppid=29841 vsize=13236 CPUtime=1.48 cores=1
/proc/29843/stat : 29843 (clasp) R 29841 29841 29815 0 -1 4202496 783 0 0 0 148 0 0 0 20 0 1 0 648704103 13553664 671 268435456000 4194304 4785740 140733950588896 18446744073709551615 4287172 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29843/statm: 3309 671 338 145 0 354 0
[pid=29844] ppid=29841 vsize=455964 CPUtime=1.48 cores=2
/proc/29844/stat : 29844 (TNM) R 29841 29841 29815 0 -1 4202496 362 0 0 0 148 0 0 0 20 0 1 0 648704103 466907136 260 268435456000 134512640 134534564 4294369968 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29844/statm: 113991 260 95 6 0 112656 0
[pid=29845] ppid=29841 vsize=8596 CPUtime=1.48 cores=3
/proc/29845/stat : 29845 (march_hi) R 29841 29841 29815 0 -1 4202496 729 0 0 0 148 0 0 0 20 0 1 0 648704103 8802304 552 268435456000 4194304 4331988 140734005378176 18446744073709551615 4226242 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29845/statm: 2149 552 173 34 0 591 0
[pid=29846] ppid=29841 vsize=554360 CPUtime=39.25 cores=4-31
/proc/29846/stat : 29846 (plingeling) S 29841 29841 29815 0 -1 4202496 20076 1236 0 0 3899 25 0 1 21 0 29 0 648704103 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/29846/statm: 138590 17567 158 40 0 137134 0
[pid=29846/tid=29853] ppid=29841 vsize=554360 CPUtime=1.41 cores=4-31
/proc/29846/task/29853/stat : 29853 (plingeling) R 29841 29841 29815 0 -1 4202560 666 1236 0 0 140 0 0 1 23 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29846/tid=29854] ppid=29841 vsize=554360 CPUtime=1.4 cores=4-31
/proc/29846/task/29854/stat : 29854 (plingeling) R 29841 29841 29815 0 -1 4202560 569 1236 0 0 139 0 0 1 18 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4281692 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29846/tid=29855] ppid=29841 vsize=554360 CPUtime=1.4 cores=4-31
/proc/29846/task/29855/stat : 29855 (plingeling) R 29841 29841 29815 0 -1 4202560 605 1236 0 0 139 0 0 1 19 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29846/tid=29856] ppid=29841 vsize=554360 CPUtime=1.41 cores=4-31
/proc/29846/task/29856/stat : 29856 (plingeling) R 29841 29841 29815 0 -1 4202560 709 1236 0 0 140 0 0 1 23 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29846/tid=29857] ppid=29841 vsize=554360 CPUtime=1.4 cores=4-31
/proc/29846/task/29857/stat : 29857 (plingeling) R 29841 29841 29815 0 -1 4202560 516 1236 0 0 139 0 0 1 19 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331363 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29846/tid=29858] ppid=29841 vsize=554360 CPUtime=1.42 cores=4-31
/proc/29846/task/29858/stat : 29858 (plingeling) R 29841 29841 29815 0 -1 4202560 616 1236 0 0 140 1 0 1 23 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29846/tid=29859] ppid=29841 vsize=554360 CPUtime=1.4 cores=4-31
/proc/29846/task/29859/stat : 29859 (plingeling) R 29841 29841 29815 0 -1 4202560 723 1236 0 0 139 0 0 1 19 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4279511 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29846/tid=29860] ppid=29841 vsize=554360 CPUtime=1.41 cores=4-31
/proc/29846/task/29860/stat : 29860 (plingeling) R 29841 29841 29815 0 -1 4202560 796 1236 0 0 140 0 0 1 19 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331151 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29846/tid=29861] ppid=29841 vsize=554360 CPUtime=1.4 cores=4-31
/proc/29846/task/29861/stat : 29861 (plingeling) R 29841 29841 29815 0 -1 4202560 698 1236 0 0 139 0 0 1 25 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4211015 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29846/tid=29862] ppid=29841 vsize=554360 CPUtime=1.4 cores=4-31
/proc/29846/task/29862/stat : 29862 (plingeling) R 29841 29841 29815 0 -1 4202560 667 1236 0 0 139 0 0 1 19 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4234093 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29846/tid=29863] ppid=29841 vsize=554360 CPUtime=1.41 cores=4-31
/proc/29846/task/29863/stat : 29863 (plingeling) R 29841 29841 29815 0 -1 4202560 612 1236 0 0 140 0 0 1 18 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29846/tid=29864] ppid=29841 vsize=554360 CPUtime=1.41 cores=4-31
/proc/29846/task/29864/stat : 29864 (plingeling) R 29841 29841 29815 0 -1 4202560 600 1236 0 0 140 0 0 1 18 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29846/tid=29865] ppid=29841 vsize=554360 CPUtime=1.4 cores=4-31
/proc/29846/task/29865/stat : 29865 (plingeling) R 29841 29841 29815 0 -1 4202560 703 1236 0 0 139 0 0 1 20 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331939 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29846/tid=29866] ppid=29841 vsize=554360 CPUtime=1.4 cores=4-31
/proc/29846/task/29866/stat : 29866 (plingeling) R 29841 29841 29815 0 -1 4202560 693 1236 0 0 138 1 0 1 25 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4332133 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29846/tid=29867] ppid=29841 vsize=554360 CPUtime=1.41 cores=4-31
/proc/29846/task/29867/stat : 29867 (plingeling) R 29841 29841 29815 0 -1 4202560 707 1236 0 0 139 1 0 1 25 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29846/tid=29868] ppid=29841 vsize=554360 CPUtime=1.4 cores=4-31
/proc/29846/task/29868/stat : 29868 (plingeling) R 29841 29841 29815 0 -1 4202560 508 1236 0 0 139 0 0 1 19 0 29 0 648704110 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4332041 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29846/tid=29869] ppid=29841 vsize=554360 CPUtime=1.39 cores=4-31
/proc/29846/task/29869/stat : 29869 (plingeling) R 29841 29841 29815 0 -1 4202560 575 1236 0 0 138 0 0 1 19 0 29 0 648704111 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29846/tid=29870] ppid=29841 vsize=554360 CPUtime=1.39 cores=4-31
/proc/29846/task/29870/stat : 29870 (plingeling) R 29841 29841 29815 0 -1 4202560 644 1236 0 0 138 0 0 1 19 0 29 0 648704111 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29846/tid=29871] ppid=29841 vsize=554360 CPUtime=1.39 cores=4-31
/proc/29846/task/29871/stat : 29871 (plingeling) R 29841 29841 29815 0 -1 4202560 693 1236 0 0 138 0 0 1 19 0 29 0 648704111 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29846/tid=29872] ppid=29841 vsize=554360 CPUtime=1.39 cores=4-31
/proc/29846/task/29872/stat : 29872 (plingeling) R 29841 29841 29815 0 -1 4202560 583 1236 0 0 137 1 0 1 25 0 29 0 648704111 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4281795 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29846/tid=29873] ppid=29841 vsize=554360 CPUtime=1.39 cores=4-31
/proc/29846/task/29873/stat : 29873 (plingeling) R 29841 29841 29815 0 -1 4202560 713 1236 0 0 138 0 0 1 19 0 29 0 648704111 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29846/tid=29874] ppid=29841 vsize=554360 CPUtime=1.39 cores=4-31
/proc/29846/task/29874/stat : 29874 (plingeling) R 29841 29841 29815 0 -1 4202560 654 1236 0 0 138 0 0 1 19 0 29 0 648704112 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29846/tid=29875] ppid=29841 vsize=554360 CPUtime=1.4 cores=4-31
/proc/29846/task/29875/stat : 29875 (plingeling) R 29841 29841 29815 0 -1 4202560 668 1236 0 0 138 1 0 1 25 0 29 0 648704112 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4211054 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29846/tid=29876] ppid=29841 vsize=554360 CPUtime=1.39 cores=4-31
/proc/29846/task/29876/stat : 29876 (plingeling) R 29841 29841 29815 0 -1 4202560 598 1236 0 0 138 0 0 1 25 0 29 0 648704112 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331119 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29846/tid=29877] ppid=29841 vsize=554360 CPUtime=1.38 cores=4-31
/proc/29846/task/29877/stat : 29877 (plingeling) R 29841 29841 29815 0 -1 4202560 611 1236 0 0 137 0 0 1 25 0 29 0 648704112 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29846/tid=29878] ppid=29841 vsize=554360 CPUtime=1.35 cores=4-31
/proc/29846/task/29878/stat : 29878 (plingeling) R 29841 29841 29815 0 -1 4202560 590 1236 0 0 134 0 0 1 25 0 29 0 648704112 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29846/tid=29879] ppid=29841 vsize=554360 CPUtime=1.38 cores=4-31
/proc/29846/task/29879/stat : 29879 (plingeling) R 29841 29841 29815 0 -1 4202560 674 1236 0 0 137 0 0 1 25 0 29 0 648704112 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29846/tid=29880] ppid=29841 vsize=554360 CPUtime=1.4 cores=4-31
/proc/29846/task/29880/stat : 29880 (plingeling) R 29841 29841 29815 0 -1 4202560 696 1236 0 0 138 1 0 1 25 0 29 0 648704112 567664640 17567 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331151 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 45.17
Current children cumulated vsize (KiB) 2313892
[startup+3.10138 s]
/proc/loadavg: 27.10 30.98 31.71 33/447 29880
/proc/meminfo: memFree=255524108/264257624 swapFree=67111528/67111528
[pid=29841] ppid=29839 vsize=18324 CPUtime=0 cores=0-31
/proc/29841/stat : 29841 (ppfolio) S 29839 29841 29815 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 648704102 18763776 385 268435456000 4194304 4287625 140735506840112 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 28 0 0 0
/proc/29841/statm: 4581 385 337 23 0 91 0
[pid=29842] ppid=29841 vsize=1271432 CPUtime=3.09 cores=0
/proc/29842/stat : 29842 (cryptominisat) R 29841 29841 29815 0 -1 4202496 3761 0 0 0 308 1 0 0 25 0 1 0 648704103 1301946368 2236 268435456000 4194304 4587354 140736808872112 18446744073709551615 4238571 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29842/statm: 317858 2236 336 96 0 314420 0
[pid=29843] ppid=29841 vsize=13640 CPUtime=3.08 cores=1
/proc/29843/stat : 29843 (clasp) R 29841 29841 29815 0 -1 4202496 859 0 0 0 308 0 0 0 25 0 1 0 648704103 13967360 747 268435456000 4194304 4785740 140733950588896 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29843/statm: 3410 747 338 145 0 455 0
[pid=29844] ppid=29841 vsize=455964 CPUtime=3.08 cores=2
/proc/29844/stat : 29844 (TNM) R 29841 29841 29815 0 -1 4202496 362 0 0 0 308 0 0 0 25 0 1 0 648704103 466907136 260 268435456000 134512640 134534564 4294369968 18446744073709551615 134530770 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29844/statm: 113991 260 95 6 0 112656 0
[pid=29845] ppid=29841 vsize=8812 CPUtime=3.08 cores=3
/proc/29845/stat : 29845 (march_hi) R 29841 29841 29815 0 -1 4202496 813 0 0 0 308 0 0 0 25 0 1 0 648704103 9023488 618 268435456000 4194304 4331988 140734005378176 18446744073709551615 4210951 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29845/statm: 2203 618 173 34 0 645 0
[pid=29846] ppid=29841 vsize=565304 CPUtime=83.97 cores=4-31
/proc/29846/stat : 29846 (plingeling) S 29841 29841 29815 0 -1 4202496 28700 1236 0 0 8359 37 0 1 21 0 29 0 648704103 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/29846/statm: 141326 20335 158 40 0 139870 0
[pid=29846/tid=29853] ppid=29841 vsize=565304 CPUtime=3.02 cores=4-31
/proc/29846/task/29853/stat : 29853 (plingeling) R 29841 29841 29815 0 -1 4202560 923 1236 0 0 300 1 0 1 25 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4279615 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29846/tid=29854] ppid=29841 vsize=565304 CPUtime=3 cores=4-31
/proc/29846/task/29854/stat : 29854 (plingeling) R 29841 29841 29815 0 -1 4202560 956 1236 0 0 298 1 0 1 20 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29846/tid=29855] ppid=29841 vsize=565304 CPUtime=3 cores=4-31
/proc/29846/task/29855/stat : 29855 (plingeling) R 29841 29841 29815 0 -1 4202560 829 1236 0 0 299 0 0 1 24 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4210798 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29846/tid=29856] ppid=29841 vsize=565304 CPUtime=3.01 cores=4-31
/proc/29846/task/29856/stat : 29856 (plingeling) R 29841 29841 29815 0 -1 4202560 1255 1236 0 0 299 1 0 1 25 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29846/tid=29857] ppid=29841 vsize=565304 CPUtime=3.01 cores=4-31
/proc/29846/task/29857/stat : 29857 (plingeling) R 29841 29841 29815 0 -1 4202560 840 1236 0 0 299 1 0 1 25 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29846/tid=29858] ppid=29841 vsize=565304 CPUtime=3.01 cores=4-31
/proc/29846/task/29858/stat : 29858 (plingeling) R 29841 29841 29815 0 -1 4202560 874 1236 0 0 299 1 0 1 25 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29846/tid=29859] ppid=29841 vsize=565304 CPUtime=3.01 cores=4-31
/proc/29846/task/29859/stat : 29859 (plingeling) R 29841 29841 29815 0 -1 4202560 948 1236 0 0 299 1 0 1 25 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29846/tid=29860] ppid=29841 vsize=565304 CPUtime=3 cores=4-31
/proc/29846/task/29860/stat : 29860 (plingeling) R 29841 29841 29815 0 -1 4202560 1421 1236 0 0 298 1 0 1 24 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331323 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29846/tid=29861] ppid=29841 vsize=565304 CPUtime=3 cores=4-31
/proc/29846/task/29861/stat : 29861 (plingeling) R 29841 29841 29815 0 -1 4202560 972 1236 0 0 298 1 0 1 25 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4280864 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29846/tid=29862] ppid=29841 vsize=565304 CPUtime=3 cores=4-31
/proc/29846/task/29862/stat : 29862 (plingeling) R 29841 29841 29815 0 -1 4202560 844 1236 0 0 299 0 0 1 23 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29846/tid=29863] ppid=29841 vsize=565304 CPUtime=3.01 cores=4-31
/proc/29846/task/29863/stat : 29863 (plingeling) R 29841 29841 29815 0 -1 4202560 885 1236 0 0 300 0 0 1 20 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29846/tid=29864] ppid=29841 vsize=565304 CPUtime=3.01 cores=4-31
/proc/29846/task/29864/stat : 29864 (plingeling) R 29841 29841 29815 0 -1 4202560 922 1236 0 0 299 1 0 1 19 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29846/tid=29865] ppid=29841 vsize=565304 CPUtime=3 cores=4-31
/proc/29846/task/29865/stat : 29865 (plingeling) R 29841 29841 29815 0 -1 4202560 961 1236 0 0 298 1 0 1 24 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4279694 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29846/tid=29866] ppid=29841 vsize=565304 CPUtime=3 cores=4-31
/proc/29846/task/29866/stat : 29866 (plingeling) R 29841 29841 29815 0 -1 4202560 918 1236 0 0 298 1 0 1 25 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4212370 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29846/tid=29867] ppid=29841 vsize=565304 CPUtime=3.01 cores=4-31
/proc/29846/task/29867/stat : 29867 (plingeling) R 29841 29841 29815 0 -1 4202560 964 1236 0 0 299 1 0 1 25 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29846/tid=29868] ppid=29841 vsize=565304 CPUtime=3 cores=4-31
/proc/29846/task/29868/stat : 29868 (plingeling) R 29841 29841 29815 0 -1 4202560 1184 1236 0 0 297 2 0 1 24 0 29 0 648704110 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4282024 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29846/tid=29869] ppid=29841 vsize=565304 CPUtime=3 cores=4-31
/proc/29846/task/29869/stat : 29869 (plingeling) R 29841 29841 29815 0 -1 4202560 768 1236 0 0 298 1 0 1 24 0 29 0 648704111 578871296 20335 268435456000 4194304 4356188 140734089477088 18446744073709551615 4332260 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29846/tid=29870] ppid=29841 vsize=565304 CPUtime=2.99 cores=4-31
################
# More data... #
################
[pid=29843] ppid=29841 vsize=20792 CPUtime=650.16 cores=1
/proc/29843/stat : 29843 (clasp) R 29841 29841 29815 0 -1 4202496 2541 0 0 0 65015 1 0 0 25 0 1 0 648704103 21291008 2429 268435456000 4194304 4785740 140733950588896 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29843/statm: 5198 2429 339 145 0 2243 0
[pid=29844] ppid=29841 vsize=455964 CPUtime=650.16 cores=2
/proc/29844/stat : 29844 (TNM) R 29841 29841 29815 0 -1 4202496 362 0 0 0 65016 0 0 0 25 0 1 0 648704103 466907136 260 268435456000 134512640 134534564 4294369968 18446744073709551615 134528888 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29844/statm: 113991 260 95 6 0 112656 0
[pid=29845] ppid=29841 vsize=71792 CPUtime=650.16 cores=3
/proc/29845/stat : 29845 (march_hi) R 29841 29841 29815 0 -1 4202496 15397 0 0 0 64999 17 0 0 25 0 1 0 648704103 73515008 15202 268435456000 4194304 4331988 140734005378176 18446744073709551615 4226260 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29845/statm: 17948 15202 174 34 0 16390 0
[pid=29846] ppid=29841 vsize=1136364 CPUtime=18181.2 cores=4-31
/proc/29846/stat : 29846 (plingeling) S 29841 29841 29815 0 -1 4202496 1101049 1236 0 0 1817104 1017 0 1 21 0 29 0 648704103 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/29846/statm: 284091 163204 158 40 0 282635 0
[pid=29846/tid=29853] ppid=29841 vsize=1136364 CPUtime=650.07 cores=4-31
/proc/29846/task/29853/stat : 29853 (plingeling) R 29841 29841 29815 0 -1 4202560 34931 1236 0 0 64977 29 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29846/tid=29854] ppid=29841 vsize=1136364 CPUtime=650.06 cores=4-31
/proc/29846/task/29854/stat : 29854 (plingeling) R 29841 29841 29815 0 -1 4202560 35779 1236 0 0 64978 27 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331335 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29846/tid=29855] ppid=29841 vsize=1136364 CPUtime=650.06 cores=4-31
/proc/29846/task/29855/stat : 29855 (plingeling) R 29841 29841 29815 0 -1 4202560 37170 1236 0 0 64966 39 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29846/tid=29856] ppid=29841 vsize=1136364 CPUtime=650.07 cores=4-31
/proc/29846/task/29856/stat : 29856 (plingeling) R 29841 29841 29815 0 -1 4202560 48941 1236 0 0 64950 56 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29846/tid=29857] ppid=29841 vsize=1136364 CPUtime=650.05 cores=4-31
/proc/29846/task/29857/stat : 29857 (plingeling) R 29841 29841 29815 0 -1 4202560 34064 1236 0 0 64971 33 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29846/tid=29858] ppid=29841 vsize=1136364 CPUtime=649.99 cores=4-31
/proc/29846/task/29858/stat : 29858 (plingeling) R 29841 29841 29815 0 -1 4202560 33937 1236 0 0 64969 29 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4332041 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29846/tid=29859] ppid=29841 vsize=1136364 CPUtime=632.24 cores=4-31
/proc/29846/task/29859/stat : 29859 (plingeling) R 29841 29841 29815 0 -1 4202560 38106 1236 0 0 63186 37 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29846/tid=29860] ppid=29841 vsize=1136364 CPUtime=650.08 cores=4-31
/proc/29846/task/29860/stat : 29860 (plingeling) R 29841 29841 29815 0 -1 4202560 31920 1236 0 0 64965 42 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29846/tid=29861] ppid=29841 vsize=1136364 CPUtime=650.07 cores=4-31
/proc/29846/task/29861/stat : 29861 (plingeling) R 29841 29841 29815 0 -1 4202560 52834 1236 0 0 64972 34 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29846/tid=29862] ppid=29841 vsize=1136364 CPUtime=649.8 cores=4-31
/proc/29846/task/29862/stat : 29862 (plingeling) R 29841 29841 29815 0 -1 4202560 39170 1236 0 0 64944 35 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29846/tid=29863] ppid=29841 vsize=1136364 CPUtime=650.05 cores=4-31
/proc/29846/task/29863/stat : 29863 (plingeling) R 29841 29841 29815 0 -1 4202560 32412 1236 0 0 64974 30 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4332007 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29846/tid=29864] ppid=29841 vsize=1136364 CPUtime=650.07 cores=4-31
/proc/29846/task/29864/stat : 29864 (plingeling) R 29841 29841 29815 0 -1 4202560 29006 1236 0 0 64982 24 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29846/tid=29865] ppid=29841 vsize=1136364 CPUtime=650.04 cores=4-31
/proc/29846/task/29865/stat : 29865 (plingeling) R 29841 29841 29815 0 -1 4202560 48391 1236 0 0 64967 36 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29846/tid=29866] ppid=29841 vsize=1136364 CPUtime=650.02 cores=4-31
/proc/29846/task/29866/stat : 29866 (plingeling) R 29841 29841 29815 0 -1 4202560 36604 1236 0 0 64971 30 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29846/tid=29867] ppid=29841 vsize=1136364 CPUtime=650.05 cores=4-31
/proc/29846/task/29867/stat : 29867 (plingeling) R 29841 29841 29815 0 -1 4202560 40268 1236 0 0 64971 33 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4332260 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29846/tid=29868] ppid=29841 vsize=1136364 CPUtime=650.01 cores=4-31
/proc/29846/task/29868/stat : 29868 (plingeling) R 29841 29841 29815 0 -1 4202560 41061 1236 0 0 64938 62 0 1 25 0 29 0 648704110 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29846/tid=29869] ppid=29841 vsize=1136364 CPUtime=649.74 cores=4-31
/proc/29846/task/29869/stat : 29869 (plingeling) R 29841 29841 29815 0 -1 4202560 47334 1236 0 0 64930 43 0 1 25 0 29 0 648704111 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29846/tid=29870] ppid=29841 vsize=1136364 CPUtime=649.98 cores=4-31
/proc/29846/task/29870/stat : 29870 (plingeling) R 29841 29841 29815 0 -1 4202560 44729 1236 0 0 64961 36 0 1 25 0 29 0 648704111 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29846/tid=29871] ppid=29841 vsize=1136364 CPUtime=649.55 cores=4-31
/proc/29846/task/29871/stat : 29871 (plingeling) R 29841 29841 29815 0 -1 4202560 39739 1236 0 0 64915 39 0 1 25 0 29 0 648704111 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29846/tid=29872] ppid=29841 vsize=1136364 CPUtime=650.04 cores=4-31
/proc/29846/task/29872/stat : 29872 (plingeling) R 29841 29841 29815 0 -1 4202560 35137 1236 0 0 64971 32 0 1 25 0 29 0 648704111 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331276 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29846/tid=29873] ppid=29841 vsize=1136364 CPUtime=650.05 cores=4-31
/proc/29846/task/29873/stat : 29873 (plingeling) R 29841 29841 29815 0 -1 4202560 48256 1236 0 0 64969 35 0 1 25 0 29 0 648704111 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29846/tid=29874] ppid=29841 vsize=1136364 CPUtime=650.04 cores=4-31
/proc/29846/task/29874/stat : 29874 (plingeling) R 29841 29841 29815 0 -1 4202560 33190 1236 0 0 64974 29 0 1 25 0 29 0 648704112 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29846/tid=29875] ppid=29841 vsize=1136364 CPUtime=650.06 cores=4-31
/proc/29846/task/29875/stat : 29875 (plingeling) R 29841 29841 29815 0 -1 4202560 48181 1236 0 0 64967 38 0 1 25 0 29 0 648704112 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29846/tid=29876] ppid=29841 vsize=1136364 CPUtime=650.07 cores=4-31
/proc/29846/task/29876/stat : 29876 (plingeling) R 29841 29841 29815 0 -1 4202560 31648 1236 0 0 64959 47 0 1 25 0 29 0 648704112 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29846/tid=29877] ppid=29841 vsize=1136364 CPUtime=649.13 cores=4-31
/proc/29846/task/29877/stat : 29877 (plingeling) R 29841 29841 29815 0 -1 4202560 34413 1236 0 0 64880 32 0 1 25 0 29 0 648704112 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29846/tid=29878] ppid=29841 vsize=1136364 CPUtime=649.74 cores=4-31
/proc/29846/task/29878/stat : 29878 (plingeling) R 29841 29841 29815 0 -1 4202560 36454 1236 0 0 64940 33 0 1 25 0 29 0 648704112 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331178 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29846/tid=29879] ppid=29841 vsize=1136364 CPUtime=650.01 cores=4-31
/proc/29846/task/29879/stat : 29879 (plingeling) R 29841 29841 29815 0 -1 4202560 45323 1236 0 0 64976 24 0 1 25 0 29 0 648704112 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29846/tid=29880] ppid=29841 vsize=1136364 CPUtime=650.03 cores=4-31
/proc/29846/task/29880/stat : 29880 (plingeling) R 29841 29841 29815 0 -1 4202560 40062 1236 0 0 64966 36 0 1 25 0 29 0 648704112 1163636736 163204 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 20781.9
Current children cumulated vsize (KiB) 3021420
[startup+651.102 s]
/proc/loadavg: 32.07 31.94 31.87 20/434 29899
/proc/meminfo: memFree=254828760/264257624 swapFree=67111528/67111528
[pid=29841] ppid=29839 vsize=18324 CPUtime=0.01 cores=0-31
/proc/29841/stat : 29841 (ppfolio) S 29839 29841 29815 0 -1 4202496 511 0 0 0 0 1 0 0 15 0 1 0 648704102 18763776 385 268435456000 4194304 4287625 140735506840112 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 28 0 0 0
/proc/29841/statm: 4581 385 337 23 0 91 0
[pid=29842] ppid=29841 vsize=1318184 CPUtime=651 cores=0
/proc/29842/stat : 29842 (cryptominisat) R 29841 29841 29815 0 -1 4202496 94621 0 0 0 65058 42 0 0 25 0 1 0 648704103 1349820416 14443 268435456000 4194304 4587354 140736808872112 18446744073709551615 4244103 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29842/statm: 329546 14443 336 96 0 326108 0
[pid=29843] ppid=29841 vsize=20792 CPUtime=650.99 cores=1
/proc/29843/stat : 29843 (clasp) R 29841 29841 29815 0 -1 4202496 2553 0 0 0 65098 1 0 0 25 0 1 0 648704103 21291008 2441 268435456000 4194304 4785740 140733950588896 18446744073709551615 4550456 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29843/statm: 5198 2441 339 145 0 2243 0
[pid=29844] ppid=29841 vsize=455964 CPUtime=650.99 cores=2
/proc/29844/stat : 29844 (TNM) R 29841 29841 29815 0 -1 4202496 362 0 0 0 65099 0 0 0 25 0 1 0 648704103 466907136 260 268435456000 134512640 134534564 4294369968 18446744073709551615 134528266 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29844/statm: 113991 260 95 6 0 112656 0
[pid=29845] ppid=29841 vsize=71792 CPUtime=651 cores=3
/proc/29845/stat : 29845 (march_hi) R 29841 29841 29815 0 -1 4202496 15414 0 0 0 65083 17 0 0 25 0 1 0 648704103 73515008 15219 268435456000 4194304 4331988 140734005378176 18446744073709551615 4242632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29845/statm: 17948 15219 174 34 0 16390 0
[pid=29846] ppid=29841 vsize=1137644 CPUtime=18202.1 cores=4-31
/proc/29846/stat : 29846 (plingeling) S 29841 29841 29815 0 -1 4202496 1101370 1236 0 0 1819192 1017 0 1 21 0 14 0 648704103 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/29846/statm: 284411 163525 159 40 0 282955 0
[pid=29846/tid=29853] ppid=29841 vsize=1137644 CPUtime=650.9 cores=4-31
/proc/29846/task/29853/stat : 29853 (plingeling) R 29841 29841 29815 0 -1 4202560 34931 1236 0 0 65060 29 0 1 25 0 14 0 648704110 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29846/tid=29858] ppid=29841 vsize=1137644 CPUtime=650.82 cores=4-31
/proc/29846/task/29858/stat : 29858 (plingeling) R 29841 29841 29815 0 -1 4202560 33937 1236 0 0 65052 29 0 1 25 0 14 0 648704110 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29846/tid=29859] ppid=29841 vsize=1137644 CPUtime=633.07 cores=4-31
/proc/29846/task/29859/stat : 29859 (plingeling) R 29841 29841 29815 0 -1 4202560 38266 1236 0 0 63269 37 0 1 25 0 14 0 648704110 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29846/tid=29862] ppid=29841 vsize=1137644 CPUtime=650.63 cores=4-31
/proc/29846/task/29862/stat : 29862 (plingeling) R 29841 29841 29815 0 -1 4202560 39170 1236 0 0 65027 35 0 1 25 0 14 0 648704110 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29846/tid=29863] ppid=29841 vsize=1137644 CPUtime=650.89 cores=4-31
/proc/29846/task/29863/stat : 29863 (plingeling) R 29841 29841 29815 0 -1 4202560 32412 1236 0 0 65058 30 0 1 25 0 14 0 648704110 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4279448 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29846/tid=29864] ppid=29841 vsize=1137644 CPUtime=650.91 cores=4-31
/proc/29846/task/29864/stat : 29864 (plingeling) R 29841 29841 29815 0 -1 4202560 29006 1236 0 0 65066 24 0 1 25 0 14 0 648704110 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4332145 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29846/tid=29868] ppid=29841 vsize=1137644 CPUtime=650.85 cores=4-31
/proc/29846/task/29868/stat : 29868 (plingeling) R 29841 29841 29815 0 -1 4202560 41061 1236 0 0 65022 62 0 1 25 0 14 0 648704110 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29846/tid=29869] ppid=29841 vsize=1137644 CPUtime=650.58 cores=4-31
/proc/29846/task/29869/stat : 29869 (plingeling) R 29841 29841 29815 0 -1 4202560 47398 1236 0 0 65014 43 0 1 25 0 14 0 648704111 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331199 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29846/tid=29870] ppid=29841 vsize=1137644 CPUtime=650.81 cores=4-31
/proc/29846/task/29870/stat : 29870 (plingeling) R 29841 29841 29815 0 -1 4202560 44729 1236 0 0 65044 36 0 1 25 0 14 0 648704111 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29846/tid=29873] ppid=29841 vsize=1137644 CPUtime=650.89 cores=4-31
/proc/29846/task/29873/stat : 29873 (plingeling) R 29841 29841 29815 0 -1 4202560 48288 1236 0 0 65053 35 0 1 25 0 14 0 648704111 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29846/tid=29874] ppid=29841 vsize=1137644 CPUtime=650.88 cores=4-31
/proc/29846/task/29874/stat : 29874 (plingeling) R 29841 29841 29815 0 -1 4202560 33190 1236 0 0 65058 29 0 1 25 0 14 0 648704112 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29846/tid=29877] ppid=29841 vsize=1137644 CPUtime=649.97 cores=4-31
/proc/29846/task/29877/stat : 29877 (plingeling) R 29841 29841 29815 0 -1 4202560 34413 1236 0 0 64964 32 0 1 25 0 14 0 648704112 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29846/tid=29880] ppid=29841 vsize=1137644 CPUtime=650.86 cores=4-31
/proc/29846/task/29880/stat : 29880 (plingeling) R 29841 29841 29815 0 -1 4202560 40062 1236 0 0 65049 36 0 1 25 0 14 0 648704112 1164947456 163525 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 20806.1
Current children cumulated vsize (KiB) 3022700
[startup+651.501 s]
/proc/loadavg: 32.07 31.94 31.87 20/434 29899
/proc/meminfo: memFree=254828760/264257624 swapFree=67111528/67111528
[pid=29841] ppid=29839 vsize=18324 CPUtime=0.01 cores=0-31
/proc/29841/stat : 29841 (ppfolio) S 29839 29841 29815 0 -1 4202496 511 0 0 0 0 1 0 0 15 0 1 0 648704102 18763776 385 268435456000 4194304 4287625 140735506840112 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 28 0 0 0
/proc/29841/statm: 4581 385 337 23 0 91 0
[pid=29842] ppid=29841 vsize=1318184 CPUtime=651.37 cores=0
/proc/29842/stat : 29842 (cryptominisat) R 29841 29841 29815 0 -1 4202496 94621 0 0 0 65095 42 0 0 25 0 1 0 648704103 1349820416 14443 268435456000 4194304 4587354 140736808872112 18446744073709551615 4244609 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29842/statm: 329546 14443 336 96 0 326108 0
[pid=29843] ppid=29841 vsize=20792 CPUtime=651.36 cores=1
/proc/29843/stat : 29843 (clasp) R 29841 29841 29815 0 -1 4202496 2553 0 0 0 65135 1 0 0 25 0 1 0 648704103 21291008 2441 268435456000 4194304 4785740 140733950588896 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29843/statm: 5198 2441 339 145 0 2243 0
[pid=29844] ppid=29841 vsize=455964 CPUtime=651.36 cores=2
/proc/29844/stat : 29844 (TNM) R 29841 29841 29815 0 -1 4202496 362 0 0 0 65136 0 0 0 25 0 1 0 648704103 466907136 260 268435456000 134512640 134534564 4294369968 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29844/statm: 113991 260 95 6 0 112656 0
[pid=29845] ppid=29841 vsize=71792 CPUtime=651.36 cores=3
/proc/29845/stat : 29845 (march_hi) R 29841 29841 29815 0 -1 4202496 15418 0 0 0 65119 17 0 0 25 0 1 0 648704103 73515008 15223 268435456000 4194304 4331988 140734005378176 18446744073709551615 4299264 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29845/statm: 17948 15223 174 34 0 16390 0
[pid=29846] ppid=29841 vsize=1004472 CPUtime=18203.8 cores=4-31
/proc/29846/stat : 29846 (plingeling) S 29841 29841 29815 0 -1 4202496 1101370 1236 0 0 1819365 1018 0 1 16 0 2 0 648704103 1028579328 163444 268435456000 4194304 4356188 140734089477088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/29846/statm: 251118 163444 159 40 0 249662 0
[pid=29846/tid=29869] ppid=29841 vsize=1004472 CPUtime=650.94 cores=4-31
/proc/29846/task/29869/stat : 29869 (plingeling) R 29841 29841 29815 0 -1 4202560 47398 1236 0 0 65050 43 0 1 25 0 2 0 648704111 1028579328 163444 268435456000 4194304 4356188 140734089477088 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 20809.3
Current children cumulated vsize (KiB) 2889528
[startup+651.601 s]
/proc/loadavg: 32.07 31.94 31.87 20/434 29899
/proc/meminfo: memFree=254828760/264257624 swapFree=67111528/67111528
[pid=29841] ppid=29839 vsize=18324 CPUtime=0.01 cores=0-31
/proc/29841/stat : 29841 (ppfolio) S 29839 29841 29815 0 -1 4202496 511 0 0 0 0 1 0 0 15 0 1 0 648704102 18763776 385 268435456000 4194304 4287625 140735506840112 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 28 0 0 0
/proc/29841/statm: 4581 385 337 23 0 91 0
[pid=29842] ppid=29841 vsize=1318184 CPUtime=651.47 cores=0
/proc/29842/stat : 29842 (cryptominisat) R 29841 29841 29815 0 -1 4202496 94621 0 0 0 65105 42 0 0 25 0 1 0 648704103 1349820416 14443 268435456000 4194304 4587354 140736808872112 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29842/statm: 329546 14443 336 96 0 326108 0
[pid=29843] ppid=29841 vsize=20792 CPUtime=651.46 cores=1
/proc/29843/stat : 29843 (clasp) R 29841 29841 29815 0 -1 4202496 2553 0 0 0 65145 1 0 0 25 0 1 0 648704103 21291008 2441 268435456000 4194304 4785740 140733950588896 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29843/statm: 5198 2441 339 145 0 2243 0
[pid=29844] ppid=29841 vsize=455964 CPUtime=651.46 cores=2
/proc/29844/stat : 29844 (TNM) R 29841 29841 29815 0 -1 4202496 362 0 0 0 65146 0 0 0 25 0 1 0 648704103 466907136 260 268435456000 134512640 134534564 4294369968 18446744073709551615 134530693 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29844/statm: 113991 260 95 6 0 112656 0
[pid=29845] ppid=29841 vsize=71792 CPUtime=651.46 cores=3
/proc/29845/stat : 29845 (march_hi) R 29841 29841 29815 0 -1 4202496 15420 0 0 0 65129 17 0 0 25 0 1 0 648704103 73515008 15225 268435456000 4194304 4331988 140734005378176 18446744073709551615 4242612 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29845/statm: 17948 15225 174 34 0 16390 0
[pid=29846] ppid=29841 vsize=802600 CPUtime=18203.9 cores=4-31
/proc/29846/stat : 29846 (plingeling) R 29841 29841 29815 0 -1 4202496 1101370 1236 0 0 1819374 1018 0 1 15 0 1 0 648704103 821862400 141553 268435456000 4194304 4356188 140734089477088 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 28 0 0 0
/proc/29846/statm: 200650 141553 159 40 0 199194 0
Current children cumulated CPU time (s) 20809.8
Current children cumulated vsize (KiB) 2687656
Child status: 0
Real time (s): 651.663
CPU time (s): 20810.1
CPU user time (s): 20799.2
CPU system time (s): 10.9023
CPU usage (%): 3193.39
Max. virtual memory (cumulated for all children) (KiB): 5052652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20799.2
system time used= 10.9023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1216109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3184
involuntary context switches= 49435
runsolver used 3.72943 second user time and 14.7198 second system time
The end
Begin job on node200 at 2011-05-14 13:22:57
IDJOB=3347579
IDBENCH=83420
IDSOLVER=1808
FILE ID=node200/3347579-1305372177
RUNJOBID= node200-1305372177-29829
PBS_JOBID= 13282116
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_1_keyfind_1.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347579-1305372177/watcher-3347579-1305372177 -o /tmp/evaluation-result-3347579-1305372177/solver-3347579-1305372177 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347579-1305372177.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 9e18e0ee8a56ea2c59fe8e682ff6c747
RANDOM SEED=1621659093
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255611128 kB
Buffers: 435760 kB
Cached: 7809016 kB
SwapCached: 0 kB
Active: 7380856 kB
Inactive: 932616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255611128 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10268 kB
Writeback: 0 kB
AnonPages: 69968 kB
Mapped: 13384 kB
Slab: 249736 kB
PageTables: 4404 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 197128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-14 13:33:49