169.25/169.38 c clasp version 1.2.0-SAT09
169.25/169.38 c Reading from ...759326/instance-1831519-1242759326.cnf
169.25/169.38 c Reading : Done(0.060s)
169.25/169.38 c Preprocessing: |-Done(1.030s)
169.25/169.38 c Solving...
169.25/169.38 c Model: 1
169.25/169.38 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10
169.25/169.38 v -11 -12 -13 -14 -15 -16 -17 -18 -19 -20
169.25/169.38 v -21 -22 -23 -24 -25 -26 -27 -28 29 -30
169.25/169.38 v -31 -32 -33 -34 -35 -36 -37 -38 -39 -40
169.25/169.38 v 41 -42 -43 -44 -45 -46 -47 -48 -49 -50
169.25/169.38 v -51 -52 -53 -54 -55 -56 -57 -58 -59 -60
169.25/169.38 v -61 -62 -63 -64 -65 -66 -67 -68 -69 -70
169.25/169.38 v -71 -72 -73 -74 -75 -76 -77 -78 -79 80
169.25/169.38 v -81 -82 -83 -84 -85 -86 -87 -88 -89 -90
169.25/169.38 v -91 -92 -93 -94 -95 -96 -97 -98 99 -100
169.25/169.38 v -101 -102 -103 -104 -105 -106 -107 -108 -109 -110
169.25/169.38 v -111 -112 -113 -114 -115 -116 -117 -118 -119 -120
169.25/169.38 v -121 -122 -123 -124 -125 -126 -127 -128 -129 -130
169.25/169.38 v -131 -132 -133 -134 -135 -136 -137 -138 -139 -140
169.25/169.38 v -141 -142 -143 -144 -145 -146 -147 -148 -149 150
169.25/169.38 v -151 -152 -153 -154 -155 -156 -157 -158 -159 -160
169.25/169.38 v -161 162 -163 -164 -165 -166 -167 -168 -169 -170
169.25/169.38 v -171 -172 -173 -174 -175 -176 -177 -178 -179 -180
169.25/169.38 v -181 182 -183 -184 -185 -186 -187 -188 -189 -190
169.25/169.38 v -191 -192 -193 -194 -195 -196 -197 -198 -199 -200
169.25/169.38 v -201 -202 -203 -204 -205 -206 -207 -208 -209 -210
169.25/169.38 v -211 -212 213 -214 -215 -216 -217 -218 -219 -220
169.25/169.38 v -221 -222 -223 -224 -225 -226 -227 -228 -229 -230
169.25/169.38 v -231 -232 -233 -234 -235 -236 -237 -238 -239 -240
169.25/169.38 v -241 -242 -243 -244 -245 -246 -247 -248 -249 -250
169.25/169.38 v -251 -252 253 -254 -255 -256 -257 -258 -259 -260
169.25/169.38 v -261 -262 -263 -264 -265 -266 -267 -268 -269 -270
169.25/169.38 v -271 -272 -273 -274 -275 -276 -277 -278 -279 -280
169.25/169.38 v -281 -282 -283 -284 -285 286 -287 -288 -289 -290
169.25/169.38 v -291 -292 -293 -294 -295 -296 -297 -298 -299 -300
169.25/169.38 v -301 -302 -303 -304 -305 -306 -307 -308 -309 -310
169.25/169.38 v -311 -312 -313 -314 -315 -316 317 -318 -319 -320
169.25/169.38 v -321 -322 -323 -324 -325 -326 -327 -328 -329 -330
169.25/169.38 v -331 -332 -333 -334 -335 -336 -337 -338 -339 -340
169.25/169.38 v -341 -342 -343 -344 -345 -346 -347 -348 349 -350
169.25/169.38 v -351 -352 -353 -354 -355 -356 -357 -358 -359 -360
169.25/169.38 v -361 -362 -363 -364 -365 -366 -367 -368 -369 -370
169.25/169.38 v -371 -372 -373 -374 -375 -376 -377 -378 -379 -380
169.25/169.38 v -381 -382 -383 -384 -385 386 -387 -388 -389 -390
169.25/169.38 v -391 -392 -393 -394 -395 -396 -397 -398 -399 400
169.25/169.38 v -401 -402 -403 -404 -405 -406 -407 -408 -409 -410
169.25/169.38 v -411 -412 -413 -414 -415 -416 -417 -418 -419 -420
169.25/169.38 v -421 -422 -423 -424 425 -426 -427 -428 -429 -430
169.25/169.38 v -431 -432 -433 -434 -435 -436 -437 -438 -439 -440
169.25/169.38 v -441 -442 -443 -444 -445 -446 -447 -448 -449 -450
169.25/169.38 v -451 -452 -453 -454 -455 -456 -457 -458 -459 -460
169.25/169.38 v -461 -462 -463 -464 -465 -466 -467 -468 -469 -470
169.25/169.38 v -471 -472 -473 -474 475 -476 -477 -478 -479 -480
169.25/169.38 v -481 -482 -483 -484 -485 -486 -487 -488 -489 -490
169.25/169.38 v -491 -492 -493 -494 -495 -496 -497 -498 -499 -500
169.25/169.38 v -501 -502 -503 -504 -505 -506 -507 508 -509 -510
169.25/169.38 v -511 -512 -513 -514 -515 -516 -517 518 -519 -520
169.25/169.38 v -521 -522 -523 -524 -525 -526 -527 -528 -529 -530
169.25/169.38 v -531 -532 -533 -534 -535 -536 -537 -538 -539 -540
169.25/169.38 v -541 -542 -543 -544 -545 -546 547 -548 -549 -550
169.25/169.38 v -551 -552 -553 -554 -555 -556 -557 -558 -559 -560
169.25/169.38 v -561 -562 -563 -564 -565 -566 -567 -568 -569 -570
169.25/169.38 v -571 -572 -573 -574 -575 -576 -577 -578 -579 -580
169.25/169.38 v -581 -582 -583 -584 -585 -586 -587 -588 -589 -590
169.25/169.38 v -591 592 -593 -594 -595 -596 -597 -598 -599 -600
169.25/169.38 v -601 -602 -603 -604 -605 -606 -607 -608 -609 -610
169.25/169.38 v -611 -612 -613 -614 -615 -616 -617 -618 -619 -620
169.25/169.38 v -621 -622 -623 624 -625 -626 -627 -628 -629 -630
169.25/169.38 v -631 -632 -633 -634 -635 -636 -637 -638 -639 -640
169.25/169.38 v -641 -642 -643 -644 -645 -646 -647 -648 -649 -650
169.25/169.38 v -651 -652 653 -654 -655 -656 -657 -658 -659 -660
169.25/169.38 v -661 -662 -663 -664 -665 -666 -667 -668 -669 -670
169.25/169.38 v -671 -672 -673 -674 -675 -676 -677 -678 -679 -680
169.25/169.38 v -681 -682 -683 -684 -685 -686 687 -688 -689 -690
169.25/169.38 v -691 -692 -693 -694 -695 696 -697 -698 -699 -700
169.25/169.38 v -701 -702 -703 -704 -705 -706 -707 -708 -709 -710
169.25/169.38 v -711 -712 -713 -714 -715 -716 -717 -718 -719 -720
169.25/169.38 v -721 -722 -723 -724 -725 -726 -727 -728 -729 -730
169.25/169.38 v -731 -732 -733 -734 735 -736 -737 -738 -739 -740
169.25/169.38 v -741 -742 -743 -744 -745 -746 -747 -748 -749 -750
169.25/169.38 v -751 -752 -753 754 -755 -756 -757 -758 -759 -760
169.25/169.38 v -761 -762 -763 -764 -765 -766 -767 -768 -769 -770
169.25/169.38 v -771 -772 -773 -774 -775 -776 -777 -778 -779 -780
169.25/169.38 v 781 -782 -783 -784 -785 -786 -787 -788 -789 -790
169.25/169.38 v -791 -792 -793 -794 -795 -796 -797 -798 -799 -800
169.25/169.38 v -801 -802 -803 -804 -805 -806 -807 -808 -809 -810
169.25/169.38 v -811 -812 -813 -814 -815 -816 -817 -818 -819 -820
169.25/169.38 v -821 -822 -823 -824 -825 -826 -827 828 -829 -830
169.25/169.38 v -831 -832 -833 -834 -835 -836 -837 -838 -839 -840
169.25/169.38 v -841 -842 -843 -844 -845 -846 -847 -848 -849 -850
169.25/169.38 v -851 -852 -853 -854 -855 -856 -857 -858 -859 -860
169.25/169.38 v 861 -862 -863 -864 -865 -866 -867 -868 -869 -870
169.25/169.38 v -871 -872 -873 -874 -875 -876 -877 -878 -879 -880
169.25/169.38 v -881 -882 -883 884 -885 -886 -887 -888 -889 -890
169.25/169.38 v -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 0
169.25/169.40
169.25/169.40 c Models : 1+
169.25/169.40 c Time : 169.360s (Solve: 168.270s)
169.25/169.40 s SATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1831519-1242759326/watcher-1831519-1242759326 -o /tmp/evaluation-result-1831519-1242759326/solver-1831519-1242759326 -C 10000 -W 12000 -M 1800 HOME/clasp --file=HOME/instance-1831519-1242759326.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.96 0.49 0.19 3/64 6130
/proc/meminfo: memFree=1989824/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=1960 CPUtime=0
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 246 0 0 0 0 0 0 0 18 0 1 0 303966377 2007040 230 1992294400 134512640 136057169 4294956160 18446744073709551615 134767168 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 490 230 144 377 0 110 0
[startup+0.098813 s]
/proc/loadavg: 0.96 0.49 0.19 3/64 6130
/proc/meminfo: memFree=1989824/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=8016 CPUtime=0.08
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 1946 0 0 0 8 0 0 0 18 0 1 0 303966377 8208384 1731 1992294400 134512640 136057169 4294956160 18446744073709551615 134772705 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 2004 1731 163 377 0 1624 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8016
[startup+0.101813 s]
/proc/loadavg: 0.96 0.49 0.19 3/64 6130
/proc/meminfo: memFree=1989824/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=8016 CPUtime=0.09
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 1969 0 0 0 8 1 0 0 18 0 1 0 303966377 8208384 1754 1992294400 134512640 136057169 4294956160 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 2004 1755 163 377 0 1624 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8016
[startup+0.301835 s]
/proc/loadavg: 0.96 0.49 0.19 3/64 6130
/proc/meminfo: memFree=1989824/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=9220 CPUtime=0.29
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 2283 0 0 0 28 1 0 0 19 0 1 0 303966377 9441280 2068 1992294400 134512640 136057169 4294956160 18446744073709551615 134774372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 2305 2068 168 377 0 1925 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9220
[startup+0.701879 s]
/proc/loadavg: 0.96 0.49 0.19 3/64 6130
/proc/meminfo: memFree=1989824/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=9220 CPUtime=0.69
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 2284 0 0 0 68 1 0 0 22 0 1 0 303966377 9441280 2069 1992294400 134512640 136057169 4294956160 18446744073709551615 134774448 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 2305 2069 168 377 0 1925 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9220
[startup+1.50197 s]
/proc/loadavg: 0.96 0.49 0.19 2/65 6131
/proc/meminfo: memFree=1982200/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=8132 CPUtime=1.49
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 2299 0 0 0 148 1 0 0 25 0 1 0 303966377 8327168 1821 1992294400 134512640 136057169 4294956160 18446744073709551615 134823876 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 2033 1821 182 377 0 1653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8132
[startup+3.10114 s]
/proc/loadavg: 0.96 0.49 0.19 2/65 6131
/proc/meminfo: memFree=1982840/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=8132 CPUtime=3.09
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 2299 0 0 0 308 1 0 0 25 0 1 0 303966377 8327168 1821 1992294400 134512640 136057169 4294956160 18446744073709551615 134637467 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 2033 1821 182 377 0 1653 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8132
[startup+6.3015 s]
/proc/loadavg: 0.97 0.50 0.19 2/65 6131
/proc/meminfo: memFree=1982200/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=9828 CPUtime=6.29
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 2702 0 0 0 628 1 0 0 25 0 1 0 303966377 10063872 2224 1992294400 134512640 136057169 4294956160 18446744073709551615 134618496 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 2457 2224 182 377 0 2077 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9828
[startup+12.7012 s]
/proc/loadavg: 0.97 0.50 0.20 2/65 6131
/proc/meminfo: memFree=1979392/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=11676 CPUtime=12.69
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 3187 0 0 0 1267 2 0 0 25 0 1 0 303966377 11956224 2709 1992294400 134512640 136057169 4294956160 18446744073709551615 134823889 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 2919 2709 182 377 0 2539 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11676
[startup+25.5016 s]
/proc/loadavg: 0.98 0.53 0.21 2/65 6131
/proc/meminfo: memFree=1976768/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=14520 CPUtime=25.48
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 3869 0 0 0 2546 2 0 0 25 0 1 0 303966377 14868480 3391 1992294400 134512640 136057169 4294956160 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 3630 3391 182 377 0 3250 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14520
[startup+51.1015 s]
/proc/loadavg: 0.98 0.56 0.23 2/65 6131
/proc/meminfo: memFree=1974080/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=17768 CPUtime=51.08
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 4674 0 0 0 5105 3 0 0 25 0 1 0 303966377 18194432 4196 1992294400 134512640 136057169 4294956160 18446744073709551615 134823794 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 4442 4196 182 377 0 4062 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17768
[startup+102.305 s]
/proc/loadavg: 0.99 0.63 0.27 2/65 6131
/proc/meminfo: memFree=1970240/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=21132 CPUtime=102.26
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 5515 0 0 0 10223 3 0 0 25 0 1 0 303966377 21639168 5037 1992294400 134512640 136057169 4294956160 18446744073709551615 134618270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 5283 5037 182 377 0 4903 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21132
[startup+162.302 s]
/proc/loadavg: 0.99 0.69 0.31 2/65 6131
/proc/meminfo: memFree=1966976/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=24512 CPUtime=162.25
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 6324 0 0 0 16221 4 0 0 25 0 1 0 303966377 25100288 5846 1992294400 134512640 136057169 4294956160 18446744073709551615 134823371 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 6128 5846 182 377 0 5748 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 24512
Solver just ended. Dumping a history of the last processes samples
[startup+166.301 s]
/proc/loadavg: 0.99 0.70 0.31 2/65 6131
/proc/meminfo: memFree=1966976/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=24512 CPUtime=166.24
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 6324 0 0 0 16620 4 0 0 25 0 1 0 303966377 25100288 5846 1992294400 134512640 136057169 4294956160 18446744073709551615 134823794 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 6128 5846 182 377 0 5748 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 24512
[startup+167.901 s]
/proc/loadavg: 0.99 0.70 0.31 2/65 6131
/proc/meminfo: memFree=1966976/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=24512 CPUtime=167.84
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 6324 0 0 0 16780 4 0 0 25 0 1 0 303966377 25100288 5846 1992294400 134512640 136057169 4294956160 18446744073709551615 134823741 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 6128 5846 182 377 0 5748 0
Current children cumulated CPU time (s) 167.84
Current children cumulated vsize (KiB) 24512
[startup+168.701 s]
/proc/loadavg: 0.99 0.70 0.31 2/65 6131
/proc/meminfo: memFree=1966976/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=24512 CPUtime=168.64
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 6324 0 0 0 16860 4 0 0 25 0 1 0 303966377 25100288 5846 1992294400 134512640 136057169 4294956160 18446744073709551615 134823818 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 6128 5846 182 377 0 5748 0
Current children cumulated CPU time (s) 168.64
Current children cumulated vsize (KiB) 24512
[startup+169.102 s]
/proc/loadavg: 0.99 0.70 0.31 2/65 6131
/proc/meminfo: memFree=1966976/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=24512 CPUtime=169.04
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 6324 0 0 0 16900 4 0 0 25 0 1 0 303966377 25100288 5846 1992294400 134512640 136057169 4294956160 18446744073709551615 134823882 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 6128 5846 182 377 0 5748 0
Current children cumulated CPU time (s) 169.04
Current children cumulated vsize (KiB) 24512
[startup+169.302 s]
/proc/loadavg: 0.99 0.70 0.31 2/65 6131
/proc/meminfo: memFree=1966976/2055920 swapFree=4179692/4192956
[pid=6130] ppid=6128 vsize=24512 CPUtime=169.25
/proc/6130/stat : 6130 (clasp) R 6128 6130 6066 0 -1 4194304 6324 0 0 0 16921 4 0 0 25 0 1 0 303966377 25100288 5846 1992294400 134512640 136057169 4294956160 18446744073709551615 134823818 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6130/statm: 6128 5846 182 377 0 5748 0
Current children cumulated CPU time (s) 169.25
Current children cumulated vsize (KiB) 24512
Child status: 10
Real time (s): 169.402
CPU time (s): 169.355
CPU user time (s): 169.306
CPU system time (s): 0.048992
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 24512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 169.306
system time used= 0.048992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6329
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= 2
involuntary context switches= 395
runsolver used 0.164974 second user time and 0.318951 second system time
The end
Begin job on node9 at 2009-05-19 20:55:26
IDJOB=1831519
IDBENCH=20487
IDSOLVER=637
FILE ID=node9/1831519-1242759326
PBS_JOBID= 9322289
Free space on /tmp= 66508 MiB
SOLVER NAME= clasp 1.2.0-SAT09-32
BENCH NAME= SAT07/industrial/grieu/vmpc_30.cnf
COMMAND LINE= HOME/clasp --file=BENCHNAME --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1831519-1242759326/watcher-1831519-1242759326 -o /tmp/evaluation-result-1831519-1242759326/solver-1831519-1242759326 -C 10000 -W 12000 -M 1800 HOME/clasp --file=HOME/instance-1831519-1242759326.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8df6cfaff4435ad2a04367a34fb047c1
RANDOM SEED=897075963
node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1990304 kB
Buffers: 2964 kB
Cached: 27276 kB
SwapCached: 7704 kB
Active: 19736 kB
Inactive: 19524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1990304 kB
SwapTotal: 4192956 kB
SwapFree: 4179692 kB
Dirty: 3684 kB
Writeback: 0 kB
Mapped: 13872 kB
Slab: 12404 kB
Committed_AS: 955064 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66508 MiB
End job on node9 at 2009-05-19 20:58:16