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
94.25/3.82 s SATISFIABLE
94.25/3.82 v -1 -2 -3 -4 -5 -6 -7
94.25/3.82 v -8 -9 -10 -11 -12 -13 -14 -15
94.25/3.82 v -16 -17 -18 -19 -20 21 -22 -23
94.25/3.82 v -24 -25 -26 -27 -28 -29 -30 -31
94.25/3.82 v -32 -33 -34 -35 36 -37 -38 -39
94.25/3.82 v -40 -41 -42 -43 -44 -45 -46 -47
94.25/3.82 v -48 -49 -50 -51 -52 -53 -54 -55
94.25/3.82 v -56 -57 -58 -59 -60 -61 -62 -63
94.25/3.82 v -64 -65 -66 -67 -68 -69 70 -71
94.25/3.82 v -72 -73 -74 -75 -76 -77 -78 -79
94.25/3.82 v -80 -81 -82 -83 84 -85 -86 -87
94.25/3.82 v -88 -89 -90 -91 -92 -93 -94 -95
94.25/3.82 v -96 -97 -98 -99 -100 -101 -102 -103
94.25/3.82 v -104 -105 -106 -107 -108 -109 -110 -111
94.25/3.82 v -112 -113 114 -115 -116 -117 -118 -119
94.25/3.82 v -120 -121 -122 -123 -124 -125 -126 -127
94.25/3.82 v -128 -129 -130 -131 -132 -133 -134 -135
94.25/3.82 v -136 137 -138 -139 -140 -141 -142 -143
94.25/3.82 v -144 -145 -146 -147 -148 -149 -150 -151
94.25/3.82 v 152 -153 -154 -155 -156 -157 -158 -159
94.25/3.82 v -160 -161 -162 -163 -164 -165 -166 -167
94.25/3.82 v -168 -169 -170 -171 -172 -173 -174 -175
94.25/3.82 v -176 -177 178 -179 -180 -181 -182 -183
94.25/3.82 v -184 -185 -186 -187 -188 -189 -190 -191
94.25/3.82 v -192 -193 -194 -195 -196 -197 -198 -199
94.25/3.82 v -200 -201 -202 -203 -204 -205 -206 -207
94.25/3.82 v -208 -209 -210 -211 -212 213 -214 -215
94.25/3.82 v -216 -217 -218 -219 -220 -221 -222 -223
94.25/3.82 v -224 -225 -226 -227 -228 -229 -230 -231
94.25/3.82 v -232 -233 -234 -235 -236 -237 -238 -239
94.25/3.82 v -240 241 -242 -243 -244 -245 -246 -247
94.25/3.82 v -248 -249 -250 -251 -252 -253 -254 -255
94.25/3.82 v -256 -257 -258 -259 -260 -261 -262 -263
94.25/3.82 v -264 -265 -266 267 -268 -269 -270 -271
94.25/3.82 v -272 -273 -274 -275 -276 -277 -278 -279
94.25/3.82 v -280 -281 -282 -283 -284 -285 -286 -287
94.25/3.82 v -288 -289 -290 -291 -292 -293 294 -295
94.25/3.82 v -296 -297 -298 -299 -300 -301 -302 -303
94.25/3.82 v 304 -305 -306 -307 -308 -309 -310 -311
94.25/3.82 v -312 -313 -314 -315 -316 -317 -318 -319
94.25/3.82 v -320 -321 -322 -323 -324 -325 -326 -327
94.25/3.82 v -328 -329 -330 -331 -332 -333 -334 335
94.25/3.82 v -336 -337 -338 -339 -340 -341 -342 -343
94.25/3.82 v -344 -345 -346 -347 -348 -349 -350 -351
94.25/3.82 v -352 -353 -354 355 -356 -357 -358 -359
94.25/3.82 v -360 -361 -362 -363 -364 -365 -366 -367
94.25/3.82 v -368 -369 -370 -371 -372 -373 -374 -375
94.25/3.82 v -376 -377 -378 -379 -380 -381 -382 -383
94.25/3.82 v -384 -385 -386 -387 -388 -389 -390 -391
94.25/3.82 v -392 -393 -394 -395 -396 -397 -398 -399
94.25/3.82 v 400 -401 -402 -403 -404 -405 -406 -407
94.25/3.82 v -408 -409 -410 -411 -412 -413 -414 -415
94.25/3.82 v -416 -417 418 -419 -420 -421 -422 -423
94.25/3.82 v -424 -425 -426 -427 -428 -429 -430 -431
94.25/3.82 v -432 433 -434 -435 -436 -437 -438 -439
94.25/3.82 v -440 -441 -442 -443 -444 -445 -446 -447
94.25/3.82 v -448 -449 -450 -451 -452 -453 -454 -455
94.25/3.82 v -456 457 -458 -459 -460 -461 -462 -463
94.25/3.82 v -464 -465 -466 -467 -468 -469 -470 -471
94.25/3.82 v -472 -473 -474 -475 -476 -477 -478 -479
94.25/3.82 v -480 -481 -482 -483 -484 -485 -486 -487
94.25/3.82 v -488 -489 -490 -491 -492 -493 -494 -495
94.25/3.82 v -496 497 -498 -499 -500 -501 -502 -503
94.25/3.82 v -504 -505 -506 -507 -508 -509 -510 -511
94.25/3.82 v -512 -513 -514 -515 -516 -517 -518 -519
94.25/3.82 v -520 -521 -522 -523 524 -525 -526 -527
94.25/3.82 v -528 -529 -530 -531 -532 -533 -534 -535
94.25/3.82 v -536 -537 -538 -539 -540 -541 -542 -543
94.25/3.82 v -544 -545 -546 -547 548 -549 -550 551
94.25/3.82 v -552 -553 -554 -555 -556 -557 -558 -559
94.25/3.82 v -560 -561 -562 -563 -564 -565 -566 -567
94.25/3.82 v -568 -569 -570 -571 -572 -573 -574 -575
94.25/3.82 v -576 -577 -578 -579 -580 581 -582 -583
94.25/3.82 v -584 -585 -586 -587 -588 -589 -590 -591
94.25/3.82 v -592 -593 -594 -595 -596 -597 -598 -599
94.25/3.82 v -600 -601 -602 -603 -604 -605 -606 -607
94.25/3.82 v -608 -609 -610 -611 -612 -613 -614 615
94.25/3.82 v -616 -617 -618 -619 -620 -621 -622 -623
94.25/3.82 v -624 -625
94.25/3.82 v 0
94.25/3.83 solver [5] plingeling 276-6264d55-100731 answered
94.25/3.83 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-3347673-1306135580/watcher-3347673-1306135580 -o /tmp/evaluation-result-3347673-1306135580/solver-3347673-1306135580 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347673-1306135580.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: 31.92 31.41 30.17 1/413 31194
/proc/meminfo: memFree=255361204/264257624 swapFree=67111528/67111528
[pid=31194] ppid=31192 vsize=18324 CPUtime=0 cores=0-31
/proc/31194/stat : 31194 (ppfolio) S 31192 31194 31031 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 725044407 18763776 386 268435456000 4194304 4287625 140737295053952 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 24 0 0 0
/proc/31194/statm: 4581 386 337 23 0 91 0
[startup+0.120068 s]
/proc/loadavg: 31.92 31.41 30.17 1/413 31194
/proc/meminfo: memFree=255361204/264257624 swapFree=67111528/67111528
[pid=31194] ppid=31192 vsize=18324 CPUtime=0 cores=0-31
/proc/31194/stat : 31194 (ppfolio) S 31192 31194 31031 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 725044407 18763776 386 268435456000 4194304 4287625 140737295053952 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 24 0 0 0
/proc/31194/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.201092 s]
/proc/loadavg: 31.92 31.41 30.17 1/413 31194
/proc/meminfo: memFree=255361204/264257624 swapFree=67111528/67111528
[pid=31194] ppid=31192 vsize=18324 CPUtime=0 cores=0-31
/proc/31194/stat : 31194 (ppfolio) S 31192 31194 31031 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 725044407 18763776 386 268435456000 4194304 4287625 140737295053952 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 24 0 0 0
/proc/31194/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.301098 s]
/proc/loadavg: 31.92 31.41 30.17 1/413 31194
/proc/meminfo: memFree=255361204/264257624 swapFree=67111528/67111528
[pid=31194] ppid=31192 vsize=18324 CPUtime=0 cores=0-31
/proc/31194/stat : 31194 (ppfolio) S 31192 31194 31031 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 725044407 18763776 386 268435456000 4194304 4287625 140737295053952 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 24 0 0 0
/proc/31194/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.701052 s]
/proc/loadavg: 31.92 31.41 30.17 1/413 31194
/proc/meminfo: memFree=255361204/264257624 swapFree=67111528/67111528
[pid=31194] ppid=31192 vsize=18324 CPUtime=0 cores=0-31
/proc/31194/stat : 31194 (ppfolio) S 31192 31194 31031 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 725044407 18763776 386 268435456000 4194304 4287625 140737295053952 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 24 0 0 0
/proc/31194/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50204 s]
/proc/loadavg: 31.92 31.41 30.17 33/447 31233
/proc/meminfo: memFree=255181832/264257624 swapFree=67111528/67111528
[pid=31194] ppid=31192 vsize=18324 CPUtime=0 cores=0-31
/proc/31194/stat : 31194 (ppfolio) S 31192 31194 31031 0 -1 4202496 514 0 0 0 0 0 0 0 16 0 1 0 725044407 18763776 386 268435456000 4194304 4287625 140737295053952 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 24 0 0 0
/proc/31194/statm: 4581 386 337 23 0 91 0
[pid=31195] ppid=31194 vsize=35204 CPUtime=1.48 cores=0
/proc/31195/stat : 31195 (cryptominisat) R 31194 31194 31031 0 -1 4202496 4499 0 0 0 147 1 0 0 25 0 1 0 725044408 36048896 3662 268435456000 4194304 4587354 140736300496864 18446744073709551615 4241302 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31195/statm: 8801 3662 325 96 0 5363 0
[pid=31196] ppid=31194 vsize=17508 CPUtime=1.48 cores=1
/proc/31196/stat : 31196 (clasp) R 31194 31194 31031 0 -1 4202496 2264 0 0 0 147 1 0 0 20 0 1 0 725044408 17928192 1709 268435456000 4194304 4785740 140735751974400 18446744073709551615 4553051 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31196/statm: 4377 1709 338 145 0 1422 0
[pid=31197] ppid=31194 vsize=460712 CPUtime=1.48 cores=2
/proc/31197/stat : 31197 (TNM) R 31194 31194 31031 0 -1 4202496 2106 0 0 0 147 1 0 0 20 0 1 0 725044408 471769088 2003 268435456000 134512640 134534564 4290240608 18446744073709551615 134530593 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31197/statm: 115178 2003 95 6 0 113843 0
[pid=31198] ppid=31194 vsize=33164 CPUtime=1.48 cores=3
/proc/31198/stat : 31198 (march_hi) R 31194 31194 31031 0 -1 4202496 9306 0 0 0 146 2 0 0 20 0 1 0 725044408 33959936 5709 268435456000 4194304 4331988 140734270023712 18446744073709551615 4271216 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31198/statm: 8291 5709 149 34 0 6733 0
[pid=31199] ppid=31194 vsize=870184 CPUtime=16.5 cores=4-31
/proc/31199/stat : 31199 (plingeling) S 31194 31194 31031 0 -1 4202496 57175 1248 0 0 1584 65 0 1 18 0 29 0 725044408 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/31199/statm: 217546 30750 157 40 0 216090 0
[pid=31199/tid=31206] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31206/stat : 31206 (plingeling) R 31194 31194 31031 0 -1 4202560 1139 1248 0 0 54 1 0 1 18 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4210776 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31199/tid=31207] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31207/stat : 31207 (plingeling) R 31194 31194 31031 0 -1 4202560 855 1248 0 0 54 1 0 1 18 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31199/tid=31208] ppid=31194 vsize=870184 CPUtime=0.57 cores=4-31
/proc/31199/task/31208/stat : 31208 (plingeling) R 31194 31194 31031 0 -1 4202560 1111 1248 0 0 54 2 0 1 18 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4241912 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31199/tid=31209] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31209/stat : 31209 (plingeling) R 31194 31194 31031 0 -1 4202560 1208 1248 0 0 53 2 0 1 18 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31199/tid=31210] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31210/stat : 31210 (plingeling) R 31194 31194 31031 0 -1 4202560 1060 1248 0 0 54 1 0 1 21 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31199/tid=31211] ppid=31194 vsize=870184 CPUtime=0.57 cores=4-31
/proc/31199/task/31211/stat : 31211 (plingeling) R 31194 31194 31031 0 -1 4202560 935 1248 0 0 54 2 0 1 18 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31199/tid=31212] ppid=31194 vsize=870184 CPUtime=0.55 cores=4-31
/proc/31199/task/31212/stat : 31212 (plingeling) R 31194 31194 31031 0 -1 4202560 856 1248 0 0 53 1 0 1 18 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4297540 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31199/tid=31213] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31213/stat : 31213 (plingeling) R 31194 31194 31031 0 -1 4202560 790 1248 0 0 53 2 0 1 18 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4260497 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31199/tid=31214] ppid=31194 vsize=870184 CPUtime=0.55 cores=4-31
/proc/31199/task/31214/stat : 31214 (plingeling) R 31194 31194 31031 0 -1 4202560 736 1248 0 0 53 1 0 1 18 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31199/tid=31215] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31215/stat : 31215 (plingeling) R 31194 31194 31031 0 -1 4202560 982 1248 0 0 53 2 0 1 21 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31199/tid=31216] ppid=31194 vsize=870184 CPUtime=0.57 cores=4-31
/proc/31199/task/31216/stat : 31216 (plingeling) R 31194 31194 31031 0 -1 4202560 973 1248 0 0 54 2 0 1 18 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31199/tid=31217] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31217/stat : 31217 (plingeling) R 31194 31194 31031 0 -1 4202560 1060 1248 0 0 53 2 0 1 20 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31199/tid=31218] ppid=31194 vsize=870184 CPUtime=0.55 cores=4-31
/proc/31199/task/31218/stat : 31218 (plingeling) R 31194 31194 31031 0 -1 4202560 1103 1248 0 0 53 1 0 1 18 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 258651061007 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31199/tid=31219] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31219/stat : 31219 (plingeling) R 31194 31194 31031 0 -1 4202560 1112 1248 0 0 53 2 0 1 18 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31199/tid=31220] ppid=31194 vsize=870184 CPUtime=0.53 cores=4-31
/proc/31199/task/31220/stat : 31220 (plingeling) R 31194 31194 31031 0 -1 4202560 973 1248 0 0 51 1 0 1 18 0 29 0 725044500 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4270780 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31199/tid=31221] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31221/stat : 31221 (plingeling) R 31194 31194 31031 0 -1 4202560 991 1248 0 0 53 2 0 1 24 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31199/tid=31222] ppid=31194 vsize=870184 CPUtime=0.54 cores=4-31
/proc/31199/task/31222/stat : 31222 (plingeling) R 31194 31194 31031 0 -1 4202560 854 1248 0 0 52 1 0 1 18 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 258651061007 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31199/tid=31223] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31223/stat : 31223 (plingeling) R 31194 31194 31031 0 -1 4202560 832 1248 0 0 53 2 0 1 23 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 258651061007 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31199/tid=31224] ppid=31194 vsize=870184 CPUtime=0.54 cores=4-31
/proc/31199/task/31224/stat : 31224 (plingeling) R 31194 31194 31031 0 -1 4202560 1040 1248 0 0 53 0 0 1 23 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4298829 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31199/tid=31225] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31225/stat : 31225 (plingeling) R 31194 31194 31031 0 -1 4202560 1146 1248 0 0 53 2 0 1 18 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331379 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31199/tid=31226] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31226/stat : 31226 (plingeling) R 31194 31194 31031 0 -1 4202560 974 1248 0 0 53 2 0 1 18 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31199/tid=31227] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31227/stat : 31227 (plingeling) R 31194 31194 31031 0 -1 4202560 973 1248 0 0 53 2 0 1 18 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 258650648512 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31199/tid=31228] ppid=31194 vsize=870184 CPUtime=0.55 cores=4-31
/proc/31199/task/31228/stat : 31228 (plingeling) R 31194 31194 31031 0 -1 4202560 869 1248 0 0 52 2 0 1 18 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4334575 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31199/tid=31229] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31229/stat : 31229 (plingeling) R 31194 31194 31031 0 -1 4202560 1129 1248 0 0 53 2 0 1 18 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31199/tid=31230] ppid=31194 vsize=870184 CPUtime=0.55 cores=4-31
/proc/31199/task/31230/stat : 31230 (plingeling) R 31194 31194 31031 0 -1 4202560 850 1248 0 0 53 1 0 1 18 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 258650648512 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31199/tid=31231] ppid=31194 vsize=870184 CPUtime=0.55 cores=4-31
/proc/31199/task/31231/stat : 31231 (plingeling) R 31194 31194 31031 0 -1 4202560 723 1248 0 0 53 1 0 1 18 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31199/tid=31232] ppid=31194 vsize=870184 CPUtime=0.55 cores=4-31
/proc/31199/task/31232/stat : 31232 (plingeling) R 31194 31194 31031 0 -1 4202560 782 1248 0 0 53 1 0 1 18 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 258651061007 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31199/tid=31233] ppid=31194 vsize=870184 CPUtime=0.56 cores=4-31
/proc/31199/task/31233/stat : 31233 (plingeling) R 31194 31194 31031 0 -1 4202560 1053 1248 0 0 53 2 0 1 21 0 29 0 725044501 891068416 30750 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 22.42
Current children cumulated vsize (KiB) 1435096
[startup+3.1021 s]
/proc/loadavg: 31.92 31.41 30.17 33/447 31233
/proc/meminfo: memFree=255150088/264257624 swapFree=67111528/67111528
[pid=31194] ppid=31192 vsize=18324 CPUtime=0 cores=0-31
/proc/31194/stat : 31194 (ppfolio) S 31192 31194 31031 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 725044407 18763776 386 268435456000 4194304 4287625 140737295053952 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 24 0 0 0
/proc/31194/statm: 4581 386 337 23 0 91 0
[pid=31195] ppid=31194 vsize=35204 CPUtime=3.08 cores=0
/proc/31195/stat : 31195 (cryptominisat) R 31194 31194 31031 0 -1 4202496 4778 0 0 0 307 1 0 0 25 0 1 0 725044408 36048896 3929 268435456000 4194304 4587354 140736300496864 18446744073709551615 4241321 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31195/statm: 8801 3929 325 96 0 5363 0
[pid=31196] ppid=31194 vsize=18664 CPUtime=3.08 cores=1
/proc/31196/stat : 31196 (clasp) R 31194 31194 31031 0 -1 4202496 2569 0 0 0 307 1 0 0 25 0 1 0 725044408 19111936 2014 268435456000 4194304 4785740 140735751974400 18446744073709551615 4287053 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31196/statm: 4666 2014 338 145 0 1711 0
[pid=31197] ppid=31194 vsize=460712 CPUtime=3.08 cores=2
/proc/31197/stat : 31197 (TNM) R 31194 31194 31031 0 -1 4202496 2106 0 0 0 307 1 0 0 25 0 1 0 725044408 471769088 2003 268435456000 134512640 134534564 4290240608 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31197/statm: 115178 2003 95 6 0 113843 0
[pid=31198] ppid=31194 vsize=56468 CPUtime=3.08 cores=3
/proc/31198/stat : 31198 (march_hi) R 31194 31194 31031 0 -1 4202496 15175 0 0 0 305 3 0 0 25 0 1 0 725044408 57823232 11578 268435456000 4194304 4331988 140734270023712 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31198/statm: 14117 11578 149 34 0 12559 0
[pid=31199] ppid=31194 vsize=899864 CPUtime=61.26 cores=4-31
/proc/31199/stat : 31199 (plingeling) S 31194 31194 31031 0 -1 4202496 66945 1248 0 0 6057 68 0 1 18 0 29 0 725044408 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/31199/statm: 224966 40520 157 40 0 223510 0
[pid=31199/tid=31206] ppid=31194 vsize=899864 CPUtime=2.16 cores=4-31
/proc/31199/task/31206/stat : 31206 (plingeling) R 31194 31194 31031 0 -1 4202560 1576 1248 0 0 214 1 0 1 21 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4332320 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31199/tid=31207] ppid=31194 vsize=899864 CPUtime=2.16 cores=4-31
/proc/31199/task/31207/stat : 31207 (plingeling) R 31194 31194 31031 0 -1 4202560 1216 1248 0 0 214 1 0 1 21 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31199/tid=31208] ppid=31194 vsize=899864 CPUtime=2.16 cores=4-31
/proc/31199/task/31208/stat : 31208 (plingeling) R 31194 31194 31031 0 -1 4202560 1481 1248 0 0 213 2 0 1 21 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31199/tid=31209] ppid=31194 vsize=899864 CPUtime=2.16 cores=4-31
/proc/31199/task/31209/stat : 31209 (plingeling) R 31194 31194 31031 0 -1 4202560 1583 1248 0 0 213 2 0 1 21 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31199/tid=31210] ppid=31194 vsize=899864 CPUtime=2.16 cores=4-31
/proc/31199/task/31210/stat : 31210 (plingeling) R 31194 31194 31031 0 -1 4202560 1388 1248 0 0 214 1 0 1 25 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31199/tid=31211] ppid=31194 vsize=899864 CPUtime=2.17 cores=4-31
/proc/31199/task/31211/stat : 31211 (plingeling) R 31194 31194 31031 0 -1 4202560 1197 1248 0 0 214 2 0 1 21 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4282100 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31199/tid=31212] ppid=31194 vsize=899864 CPUtime=2.15 cores=4-31
/proc/31199/task/31212/stat : 31212 (plingeling) R 31194 31194 31031 0 -1 4202560 1239 1248 0 0 213 1 0 1 21 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31199/tid=31213] ppid=31194 vsize=899864 CPUtime=2.16 cores=4-31
/proc/31199/task/31213/stat : 31213 (plingeling) R 31194 31194 31031 0 -1 4202560 1117 1248 0 0 213 2 0 1 21 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31199/tid=31214] ppid=31194 vsize=899864 CPUtime=2.15 cores=4-31
/proc/31199/task/31214/stat : 31214 (plingeling) R 31194 31194 31031 0 -1 4202560 1020 1248 0 0 213 1 0 1 21 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31199/tid=31215] ppid=31194 vsize=899864 CPUtime=2.16 cores=4-31
/proc/31199/task/31215/stat : 31215 (plingeling) R 31194 31194 31031 0 -1 4202560 1240 1248 0 0 213 2 0 1 25 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31199/tid=31216] ppid=31194 vsize=899864 CPUtime=2.17 cores=4-31
/proc/31199/task/31216/stat : 31216 (plingeling) R 31194 31194 31031 0 -1 4202560 1269 1248 0 0 214 2 0 1 21 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31199/tid=31217] ppid=31194 vsize=899864 CPUtime=2.16 cores=4-31
/proc/31199/task/31217/stat : 31217 (plingeling) R 31194 31194 31031 0 -1 4202560 1468 1248 0 0 213 2 0 1 25 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31199/tid=31218] ppid=31194 vsize=899864 CPUtime=2.16 cores=4-31
/proc/31199/task/31218/stat : 31218 (plingeling) R 31194 31194 31031 0 -1 4202560 1569 1248 0 0 213 2 0 1 21 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31199/tid=31219] ppid=31194 vsize=899864 CPUtime=2.16 cores=4-31
/proc/31199/task/31219/stat : 31219 (plingeling) R 31194 31194 31031 0 -1 4202560 1475 1248 0 0 213 2 0 1 21 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31199/tid=31220] ppid=31194 vsize=899864 CPUtime=2.1 cores=4-31
/proc/31199/task/31220/stat : 31220 (plingeling) R 31194 31194 31031 0 -1 4202560 1355 1248 0 0 208 1 0 1 21 0 29 0 725044500 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331335 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31199/tid=31221] ppid=31194 vsize=899864 CPUtime=2.16 cores=4-31
/proc/31199/task/31221/stat : 31221 (plingeling) R 31194 31194 31031 0 -1 4202560 1302 1248 0 0 213 2 0 1 25 0 29 0 725044501 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31199/tid=31222] ppid=31194 vsize=899864 CPUtime=2.15 cores=4-31
/proc/31199/task/31222/stat : 31222 (plingeling) R 31194 31194 31031 0 -1 4202560 1211 1248 0 0 213 1 0 1 21 0 29 0 725044501 921460736 40520 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31199/tid=31223] ppid=31194 vsize=899864 CPUtime=2.16 cores=4-31
################
# More data... #
################
[pid=31198] ppid=31194 vsize=57524 CPUtime=3.18 cores=3
/proc/31198/stat : 31198 (march_hi) R 31194 31194 31031 0 -1 4202496 15537 0 0 0 315 3 0 0 25 0 1 0 725044408 58904576 11940 268435456000 4194304 4331988 140734270023712 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31198/statm: 14381 11940 149 34 0 12823 0
[pid=31199] ppid=31194 vsize=901144 CPUtime=64.06 cores=4-31
/proc/31199/stat : 31199 (plingeling) S 31194 31194 31031 0 -1 4202496 67361 1248 0 0 6337 68 0 1 18 0 29 0 725044408 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/31199/statm: 225286 40936 157 40 0 223830 0
[pid=31199/tid=31206] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31206/stat : 31206 (plingeling) R 31194 31194 31031 0 -1 4202560 1576 1248 0 0 224 1 0 1 21 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4332320 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31199/tid=31207] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31207/stat : 31207 (plingeling) R 31194 31194 31031 0 -1 4202560 1216 1248 0 0 224 1 0 1 21 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31199/tid=31208] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31208/stat : 31208 (plingeling) R 31194 31194 31031 0 -1 4202560 1481 1248 0 0 223 2 0 1 21 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31199/tid=31209] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31209/stat : 31209 (plingeling) R 31194 31194 31031 0 -1 4202560 1583 1248 0 0 223 2 0 1 21 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31199/tid=31210] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31210/stat : 31210 (plingeling) R 31194 31194 31031 0 -1 4202560 1388 1248 0 0 224 1 0 1 25 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31199/tid=31211] ppid=31194 vsize=901144 CPUtime=2.27 cores=4-31
/proc/31199/task/31211/stat : 31211 (plingeling) R 31194 31194 31031 0 -1 4202560 1197 1248 0 0 224 2 0 1 21 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31199/tid=31212] ppid=31194 vsize=901144 CPUtime=2.25 cores=4-31
/proc/31199/task/31212/stat : 31212 (plingeling) R 31194 31194 31031 0 -1 4202560 1303 1248 0 0 223 1 0 1 21 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31199/tid=31213] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31213/stat : 31213 (plingeling) R 31194 31194 31031 0 -1 4202560 1117 1248 0 0 223 2 0 1 21 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31199/tid=31214] ppid=31194 vsize=901144 CPUtime=2.25 cores=4-31
/proc/31199/task/31214/stat : 31214 (plingeling) R 31194 31194 31031 0 -1 4202560 1084 1248 0 0 223 1 0 1 21 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31199/tid=31215] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31215/stat : 31215 (plingeling) R 31194 31194 31031 0 -1 4202560 1240 1248 0 0 223 2 0 1 25 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31199/tid=31216] ppid=31194 vsize=901144 CPUtime=2.27 cores=4-31
/proc/31199/task/31216/stat : 31216 (plingeling) R 31194 31194 31031 0 -1 4202560 1269 1248 0 0 224 2 0 1 21 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31199/tid=31217] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31217/stat : 31217 (plingeling) R 31194 31194 31031 0 -1 4202560 1468 1248 0 0 223 2 0 1 25 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31199/tid=31218] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31218/stat : 31218 (plingeling) R 31194 31194 31031 0 -1 4202560 1569 1248 0 0 223 2 0 1 21 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31199/tid=31219] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31219/stat : 31219 (plingeling) R 31194 31194 31031 0 -1 4202560 1475 1248 0 0 223 2 0 1 21 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4279432 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31199/tid=31220] ppid=31194 vsize=901144 CPUtime=2.2 cores=4-31
/proc/31199/task/31220/stat : 31220 (plingeling) R 31194 31194 31031 0 -1 4202560 1355 1248 0 0 218 1 0 1 21 0 29 0 725044500 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31199/tid=31221] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31221/stat : 31221 (plingeling) R 31194 31194 31031 0 -1 4202560 1302 1248 0 0 223 2 0 1 25 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31199/tid=31222] ppid=31194 vsize=901144 CPUtime=2.24 cores=4-31
/proc/31199/task/31222/stat : 31222 (plingeling) R 31194 31194 31031 0 -1 4202560 1211 1248 0 0 222 1 0 1 21 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31199/tid=31223] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31223/stat : 31223 (plingeling) R 31194 31194 31031 0 -1 4202560 1129 1248 0 0 223 2 0 1 25 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331939 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31199/tid=31224] ppid=31194 vsize=901144 CPUtime=2.24 cores=4-31
/proc/31199/task/31224/stat : 31224 (plingeling) R 31194 31194 31031 0 -1 4202560 1413 1248 0 0 223 0 0 1 25 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31199/tid=31225] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31225/stat : 31225 (plingeling) R 31194 31194 31031 0 -1 4202560 1553 1248 0 0 223 2 0 1 21 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4332320 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31199/tid=31226] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31226/stat : 31226 (plingeling) R 31194 31194 31031 0 -1 4202560 1362 1248 0 0 223 2 0 1 21 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31199/tid=31227] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31227/stat : 31227 (plingeling) R 31194 31194 31031 0 -1 4202560 1396 1248 0 0 223 2 0 1 21 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31199/tid=31228] ppid=31194 vsize=901144 CPUtime=2.25 cores=4-31
/proc/31199/task/31228/stat : 31228 (plingeling) R 31194 31194 31031 0 -1 4202560 1296 1248 0 0 222 2 0 1 21 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31199/tid=31229] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31229/stat : 31229 (plingeling) R 31194 31194 31031 0 -1 4202560 1550 1248 0 0 223 2 0 1 21 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31199/tid=31230] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31230/stat : 31230 (plingeling) R 31194 31194 31031 0 -1 4202560 1194 1248 0 0 223 2 0 1 21 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4281681 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31199/tid=31231] ppid=31194 vsize=901144 CPUtime=2.25 cores=4-31
/proc/31199/task/31231/stat : 31231 (plingeling) R 31194 31194 31031 0 -1 4202560 1118 1248 0 0 223 1 0 1 21 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31199/tid=31232] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31232/stat : 31232 (plingeling) R 31194 31194 31031 0 -1 4202560 1109 1248 0 0 223 2 0 1 21 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4238416 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31199/tid=31233] ppid=31194 vsize=901144 CPUtime=2.26 cores=4-31
/proc/31199/task/31233/stat : 31233 (plingeling) R 31194 31194 31031 0 -1 4202560 1341 1248 0 0 223 2 0 1 25 0 29 0 725044501 922771456 40936 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 76.78
Current children cumulated vsize (KiB) 1491692
[startup+3.60212 s]
/proc/loadavg: 31.92 31.41 30.17 33/447 31233
/proc/meminfo: memFree=255111384/264257624 swapFree=67111528/67111528
[pid=31194] ppid=31192 vsize=18324 CPUtime=0 cores=0-31
/proc/31194/stat : 31194 (ppfolio) S 31192 31194 31031 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 725044407 18763776 386 268435456000 4194304 4287625 140737295053952 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 24 0 0 0
/proc/31194/statm: 4581 386 337 23 0 91 0
[pid=31195] ppid=31194 vsize=35324 CPUtime=3.58 cores=0
/proc/31195/stat : 31195 (cryptominisat) R 31194 31194 31031 0 -1 4202496 4857 0 0 0 357 1 0 0 25 0 1 0 725044408 36171776 4005 268435456000 4194304 4587354 140736300496864 18446744073709551615 4238297 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31195/statm: 8831 4005 325 96 0 5393 0
[pid=31196] ppid=31194 vsize=18796 CPUtime=3.58 cores=1
/proc/31196/stat : 31196 (clasp) R 31194 31194 31031 0 -1 4202496 2578 0 0 0 357 1 0 0 25 0 1 0 725044408 19247104 2023 268435456000 4194304 4785740 140735751974400 18446744073709551615 4552970 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31196/statm: 4699 2023 338 145 0 1744 0
[pid=31197] ppid=31194 vsize=460712 CPUtime=3.58 cores=2
/proc/31197/stat : 31197 (TNM) R 31194 31194 31031 0 -1 4202496 2106 0 0 0 357 1 0 0 25 0 1 0 725044408 471769088 2003 268435456000 134512640 134534564 4290240608 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31197/statm: 115178 2003 95 6 0 113843 0
[pid=31198] ppid=31194 vsize=73904 CPUtime=3.57 cores=3
/proc/31198/stat : 31198 (march_hi) R 31194 31194 31031 0 -1 4202496 16949 0 0 0 354 3 0 0 25 0 1 0 725044408 75677696 13352 268435456000 4194304 4331988 140734270023712 18446744073709551615 4271246 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31198/statm: 18476 13352 149 34 0 16918 0
[pid=31199] ppid=31194 vsize=902680 CPUtime=75.23 cores=4-31
/proc/31199/stat : 31199 (plingeling) S 31194 31194 31031 0 -1 4202496 67905 1248 0 0 7454 68 0 1 18 0 29 0 725044408 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/31199/statm: 225670 41480 157 40 0 224214 0
[pid=31199/tid=31206] ppid=31194 vsize=902680 CPUtime=2.67 cores=4-31
/proc/31199/task/31206/stat : 31206 (plingeling) R 31194 31194 31031 0 -1 4202560 1608 1248 0 0 264 2 0 1 22 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31199/tid=31207] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31207/stat : 31207 (plingeling) R 31194 31194 31031 0 -1 4202560 1216 1248 0 0 264 1 0 1 22 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31199/tid=31208] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31208/stat : 31208 (plingeling) R 31194 31194 31031 0 -1 4202560 1513 1248 0 0 263 2 0 1 22 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31199/tid=31209] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31209/stat : 31209 (plingeling) R 31194 31194 31031 0 -1 4202560 1583 1248 0 0 263 2 0 1 22 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31199/tid=31210] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31210/stat : 31210 (plingeling) R 31194 31194 31031 0 -1 4202560 1484 1248 0 0 264 1 0 1 25 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31199/tid=31211] ppid=31194 vsize=902680 CPUtime=2.67 cores=4-31
/proc/31199/task/31211/stat : 31211 (plingeling) R 31194 31194 31031 0 -1 4202560 1229 1248 0 0 264 2 0 1 23 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31199/tid=31212] ppid=31194 vsize=902680 CPUtime=2.65 cores=4-31
/proc/31199/task/31212/stat : 31212 (plingeling) R 31194 31194 31031 0 -1 4202560 1335 1248 0 0 263 1 0 1 22 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31199/tid=31213] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31213/stat : 31213 (plingeling) R 31194 31194 31031 0 -1 4202560 1149 1248 0 0 263 2 0 1 22 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31199/tid=31214] ppid=31194 vsize=902680 CPUtime=2.65 cores=4-31
/proc/31199/task/31214/stat : 31214 (plingeling) R 31194 31194 31031 0 -1 4202560 1116 1248 0 0 263 1 0 1 22 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31199/tid=31215] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31215/stat : 31215 (plingeling) R 31194 31194 31031 0 -1 4202560 1272 1248 0 0 263 2 0 1 25 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330992 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31199/tid=31216] ppid=31194 vsize=902680 CPUtime=2.67 cores=4-31
/proc/31199/task/31216/stat : 31216 (plingeling) R 31194 31194 31031 0 -1 4202560 1269 1248 0 0 264 2 0 1 22 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31199/tid=31217] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31217/stat : 31217 (plingeling) R 31194 31194 31031 0 -1 4202560 1500 1248 0 0 263 2 0 1 25 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4332026 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31199/tid=31218] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31218/stat : 31218 (plingeling) R 31194 31194 31031 0 -1 4202560 1569 1248 0 0 263 2 0 1 22 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4244397 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31199/tid=31219] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31219/stat : 31219 (plingeling) R 31194 31194 31031 0 -1 4202560 1475 1248 0 0 263 2 0 1 22 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331352 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31199/tid=31220] ppid=31194 vsize=902680 CPUtime=2.57 cores=4-31
/proc/31199/task/31220/stat : 31220 (plingeling) R 31194 31194 31031 0 -1 4202560 1355 1248 0 0 255 1 0 1 22 0 29 0 725044500 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31199/tid=31221] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31221/stat : 31221 (plingeling) R 31194 31194 31031 0 -1 4202560 1334 1248 0 0 263 2 0 1 25 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31199/tid=31222] ppid=31194 vsize=902680 CPUtime=2.64 cores=4-31
/proc/31199/task/31222/stat : 31222 (plingeling) R 31194 31194 31031 0 -1 4202560 1211 1248 0 0 262 1 0 1 22 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31199/tid=31223] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31223/stat : 31223 (plingeling) R 31194 31194 31031 0 -1 4202560 1129 1248 0 0 263 2 0 1 25 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4210791 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31199/tid=31224] ppid=31194 vsize=902680 CPUtime=2.64 cores=4-31
/proc/31199/task/31224/stat : 31224 (plingeling) R 31194 31194 31031 0 -1 4202560 1445 1248 0 0 263 0 0 1 25 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31199/tid=31225] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31225/stat : 31225 (plingeling) R 31194 31194 31031 0 -1 4202560 1585 1248 0 0 263 2 0 1 22 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31199/tid=31226] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31226/stat : 31226 (plingeling) R 31194 31194 31031 0 -1 4202560 1394 1248 0 0 263 2 0 1 22 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4285443 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31199/tid=31227] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31227/stat : 31227 (plingeling) R 31194 31194 31031 0 -1 4202560 1396 1248 0 0 263 2 0 1 22 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31199/tid=31228] ppid=31194 vsize=902680 CPUtime=2.65 cores=4-31
/proc/31199/task/31228/stat : 31228 (plingeling) R 31194 31194 31031 0 -1 4202560 1296 1248 0 0 262 2 0 1 22 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31199/tid=31229] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31229/stat : 31229 (plingeling) R 31194 31194 31031 0 -1 4202560 1550 1248 0 0 263 2 0 1 22 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31199/tid=31230] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31230/stat : 31230 (plingeling) R 31194 31194 31031 0 -1 4202560 1194 1248 0 0 263 2 0 1 22 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31199/tid=31231] ppid=31194 vsize=902680 CPUtime=2.65 cores=4-31
/proc/31199/task/31231/stat : 31231 (plingeling) R 31194 31194 31031 0 -1 4202560 1150 1248 0 0 263 1 0 1 22 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4280634 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31199/tid=31232] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31232/stat : 31232 (plingeling) R 31194 31194 31031 0 -1 4202560 1109 1248 0 0 263 2 0 1 22 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31199/tid=31233] ppid=31194 vsize=902680 CPUtime=2.66 cores=4-31
/proc/31199/task/31233/stat : 31233 (plingeling) R 31194 31194 31031 0 -1 4202560 1373 1248 0 0 263 2 0 1 25 0 29 0 725044501 924344320 41480 268435456000 4194304 4356188 140735381530080 18446744073709551615 4279615 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 89.54
Current children cumulated vsize (KiB) 1509740
[startup+3.80217 s]
/proc/loadavg: 31.92 31.41 30.17 33/447 31233
/proc/meminfo: memFree=255111384/264257624 swapFree=67111528/67111528
[pid=31194] ppid=31192 vsize=18324 CPUtime=0 cores=0-31
/proc/31194/stat : 31194 (ppfolio) S 31192 31194 31031 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 725044407 18763776 386 268435456000 4194304 4287625 140737295053952 18446744073709551615 258650975999 0 0 4096 65536 9201663558448840703 0 0 17 24 0 0 0
/proc/31194/statm: 4581 386 337 23 0 91 0
[pid=31195] ppid=31194 vsize=35324 CPUtime=3.78 cores=0
/proc/31195/stat : 31195 (cryptominisat) R 31194 31194 31031 0 -1 4202496 4887 0 0 0 377 1 0 0 25 0 1 0 725044408 36171776 4034 268435456000 4194304 4587354 140736300496864 18446744073709551615 4238616 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31195/statm: 8831 4034 325 96 0 5393 0
[pid=31196] ppid=31194 vsize=18960 CPUtime=3.78 cores=1
/proc/31196/stat : 31196 (clasp) R 31194 31194 31031 0 -1 4202496 2629 0 0 0 377 1 0 0 25 0 1 0 725044408 19415040 2074 268435456000 4194304 4785740 140735751974400 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31196/statm: 4740 2074 338 145 0 1785 0
[pid=31197] ppid=31194 vsize=460712 CPUtime=3.78 cores=2
/proc/31197/stat : 31197 (TNM) R 31194 31194 31031 0 -1 4202496 2106 0 0 0 377 1 0 0 25 0 1 0 725044408 471769088 2003 268435456000 134512640 134534564 4290240608 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31197/statm: 115178 2003 95 6 0 113843 0
[pid=31198] ppid=31194 vsize=76148 CPUtime=3.78 cores=3
/proc/31198/stat : 31198 (march_hi) R 31194 31194 31031 0 -1 4202496 17719 0 0 0 374 4 0 0 25 0 1 0 725044408 77975552 14122 268435456000 4194304 4331988 140734270023712 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31198/statm: 19037 14122 149 34 0 17479 0
[pid=31199] ppid=31194 vsize=810996 CPUtime=79.13 cores=4-31
/proc/31199/stat : 31199 (plingeling) S 31194 31194 31031 0 -1 4202496 68066 1248 0 0 7844 68 0 1 17 0 2 0 725044408 830459904 41623 268435456000 4194304 4356188 140735381530080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/31199/statm: 202749 41623 158 40 0 201293 0
[pid=31199/tid=31218] ppid=31194 vsize=810996 CPUtime=2.86 cores=4-31
/proc/31199/task/31218/stat : 31218 (plingeling) R 31194 31194 31031 0 -1 4202560 1601 1248 0 0 283 2 0 1 23 0 2 0 725044500 830459904 41623 268435456000 4194304 4356188 140735381530080 18446744073709551615 4331319 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 94.25
Current children cumulated vsize (KiB) 1420464
Child status: 0
Real time (s): 3.83376
CPU time (s): 94.4616
CPU user time (s): 93.6438
CPU system time (s): 0.817875
CPU usage (%): 2463.94
Max. virtual memory (cumulated for all children) (KiB): 1511216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.6438
system time used= 0.817875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97301
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= 2997
involuntary context switches= 220
runsolver used 0.022996 second user time and 0.107983 second system time
The end
Begin job on node200 at 2011-05-23 09:26:20
IDJOB=3347673
IDBENCH=85974
IDSOLVER=1808
FILE ID=node200/3347673-1306135580
RUNJOBID= node200-1306135367-31045
PBS_JOBID= 13387834
Free space on /tmp= 62044 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_25.renamed-as.sat05-1913.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347673-1306135580/watcher-3347673-1306135580 -o /tmp/evaluation-result-3347673-1306135580/solver-3347673-1306135580 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347673-1306135580.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= abfdaeca4a2f2b81a39754bd9f8c6939
RANDOM SEED=167195814
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: 255361608 kB
Buffers: 458396 kB
Cached: 8039508 kB
SwapCached: 0 kB
Active: 7594040 kB
Inactive: 972728 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255361608 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10896 kB
Writeback: 0 kB
AnonPages: 70316 kB
Mapped: 14568 kB
Slab: 252980 kB
PageTables: 5600 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 178208 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= 62036 MiB
End job on node200 at 2011-05-23 09:26:24