0.00/0.00 c Parsing...
0.12/0.12 c ==============================================================================
0.12/0.12 c | | ORIGINAL | LEARNT | |
0.12/0.12 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.12 c ==============================================================================
0.12/0.12 c | 0 | 159690 372610 | 47906 0 0 nan | 0.000 % |
3.82/3.89 c | 0 | 63910 305867 | -- 0 -- -- | -- | -95738/-66642
3.82/3.89 c ==============================================================================
3.82/3.89 c Result : #vars: 5924 #clauses: 63910 #literals: 305867
3.82/3.89 c CPU time: 3.79 s
3.82/3.89 c ==============================================================================
33.25/11.57 c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
33.25/11.57 c ============================[ Problem Statistics ]=============================
33.25/11.57 c | |
33.25/11.57 c threadId : 3
33.25/11.57 c restarts : 63
33.25/11.57 c conflicts : 28126 (962 /sec)
33.25/11.57 c decisions : 77568 (2.55 % random) (2653 /sec)
33.25/11.57 c propagations : 7501327 (256543 /sec)
33.25/11.57 c conflict literals : 2295322 (20.77 % deleted)
33.25/11.57 c Memory used : 91.51 MB
33.25/11.57 c CPU time : 29.24 s
33.25/11.57
33.25/11.57 c --->m=4, e=8, aimd=2, HOME/25813_many.cnf time: 7.31 conflicts: 28126
33.25/11.58 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778887-1243516761/watcher-1778887-1243516761 -o /tmp/evaluation-result-1778887-1243516761/solver-1778887-1243516761 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1778887-1243516761.cnf aimd 2
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): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.20 4.29 4.29 3/109 25813
/proc/meminfo: memFree=2285992/3368532 swapFree=1959840/1959888
[pid=25813] ppid=25811 vsize=2412 CPUtime=0
/proc/25813/stat : 25813 (manysat.sh) S 25811 25813 29143 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116338957 2469888 273 4294967295 134512640 135169312 3216992064 3216990600 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25813/statm: 603 273 231 161 0 42 0
[pid=25814] ppid=25813 vsize=1548 CPUtime=0.01
/proc/25814/stat : 25814 (SatElite) R 25813 25813 29143 0 -1 4202496 289 0 0 0 1 0 0 0 19 0 1 0 1116338957 1585152 225 4294967295 134512640 135034092 3216223808 3216220152 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25814/statm: 387 225 49 128 0 257 0
[startup+0.071751 s]
/proc/loadavg: 4.20 4.29 4.29 3/109 25813
/proc/meminfo: memFree=2285992/3368532 swapFree=1959840/1959888
[pid=25813] ppid=25811 vsize=2412 CPUtime=0
/proc/25813/stat : 25813 (manysat.sh) S 25811 25813 29143 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116338957 2469888 273 4294967295 134512640 135169312 3216992064 3216990600 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25813/statm: 603 273 231 161 0 42 0
[pid=25814] ppid=25813 vsize=15300 CPUtime=0.08
/proc/25814/stat : 25814 (SatElite) R 25813 25813 29143 0 -1 4202496 3166 0 0 0 7 1 0 0 19 0 1 0 1116338957 15667200 3102 4294967295 134512640 135034092 3216223808 3216220096 134544963 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25814/statm: 3825 3104 49 128 0 3695 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17712
[startup+0.111753 s]
/proc/loadavg: 4.20 4.29 4.29 3/109 25813
/proc/meminfo: memFree=2285992/3368532 swapFree=1959840/1959888
[pid=25813] ppid=25811 vsize=2412 CPUtime=0
/proc/25813/stat : 25813 (manysat.sh) S 25811 25813 29143 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116338957 2469888 273 4294967295 134512640 135169312 3216992064 3216990600 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25813/statm: 603 273 231 161 0 42 0
[pid=25814] ppid=25813 vsize=20960 CPUtime=0.12
/proc/25814/stat : 25814 (SatElite) R 25813 25813 29143 0 -1 4202496 4858 0 0 0 10 2 0 0 20 0 1 0 1116338957 21463040 4794 4294967295 134512640 135034092 3216223808 3216221048 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25814/statm: 5240 4795 50 128 0 5110 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 23372
[startup+0.311737 s]
/proc/loadavg: 4.20 4.29 4.29 3/109 25813
/proc/meminfo: memFree=2285992/3368532 swapFree=1959840/1959888
[pid=25813] ppid=25811 vsize=2412 CPUtime=0
/proc/25813/stat : 25813 (manysat.sh) S 25811 25813 29143 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116338957 2469888 273 4294967295 134512640 135169312 3216992064 3216990600 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25813/statm: 603 273 231 161 0 42 0
[pid=25814] ppid=25813 vsize=24708 CPUtime=0.32
/proc/25814/stat : 25814 (SatElite) R 25813 25813 29143 0 -1 4202496 6076 0 0 0 29 3 0 0 20 0 1 0 1116338957 25300992 5594 4294967295 134512640 135034092 3216223808 3216219804 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25814/statm: 6177 5594 67 128 0 6047 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 27120
[startup+0.71172 s]
/proc/loadavg: 4.20 4.29 4.29 3/109 25813
/proc/meminfo: memFree=2285992/3368532 swapFree=1959840/1959888
[pid=25813] ppid=25811 vsize=2412 CPUtime=0
/proc/25813/stat : 25813 (manysat.sh) S 25811 25813 29143 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116338957 2469888 273 4294967295 134512640 135169312 3216992064 3216990600 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25813/statm: 603 273 231 161 0 42 0
[pid=25814] ppid=25813 vsize=25812 CPUtime=0.72
/proc/25814/stat : 25814 (SatElite) R 25813 25813 29143 0 -1 4202496 6316 0 0 0 68 4 0 0 21 0 1 0 1116338957 26431488 5834 4294967295 134512640 135034092 3216223808 3216219804 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25814/statm: 6453 5834 67 128 0 6323 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 28224
[startup+1.51168 s]
/proc/loadavg: 4.20 4.29 4.29 2/111 25815
/proc/meminfo: memFree=2256752/3368532 swapFree=1959840/1959888
[pid=25813] ppid=25811 vsize=2412 CPUtime=0
/proc/25813/stat : 25813 (manysat.sh) S 25811 25813 29143 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116338957 2469888 273 4294967295 134512640 135169312 3216992064 3216990600 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25813/statm: 603 273 231 161 0 42 0
[pid=25814] ppid=25813 vsize=27120 CPUtime=1.52
/proc/25814/stat : 25814 (SatElite) R 25813 25813 29143 0 -1 4202496 6665 0 0 0 148 4 0 0 24 0 1 0 1116338957 27770880 6183 4294967295 134512640 135034092 3216223808 3216219804 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25814/statm: 6780 6183 67 128 0 6650 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 29532
[startup+3.11159 s]
/proc/loadavg: 4.20 4.29 4.29 2/111 25815
/proc/meminfo: memFree=2249204/3368532 swapFree=1959840/1959888
[pid=25813] ppid=25811 vsize=2412 CPUtime=0
/proc/25813/stat : 25813 (manysat.sh) S 25811 25813 29143 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116338957 2469888 273 4294967295 134512640 135169312 3216992064 3216990600 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25813/statm: 603 273 231 161 0 42 0
[pid=25814] ppid=25813 vsize=29596 CPUtime=3.12
/proc/25814/stat : 25814 (SatElite) R 25813 25813 29143 0 -1 4202496 7237 0 0 0 305 7 0 0 25 0 1 0 1116338957 30306304 6755 4294967295 134512640 135034092 3216223808 3216219804 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/25814/statm: 7399 6755 67 128 0 7269 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 32008
[startup+6.31144 s]
/proc/loadavg: 3.94 4.23 4.27 6/114 25820
/proc/meminfo: memFree=2234928/3368532 swapFree=1959840/1959888
[pid=25813] ppid=25811 vsize=2416 CPUtime=4
/proc/25813/stat : 25813 (manysat.sh) S 25811 25813 29143 0 -1 4194304 369 8126 0 0 0 0 390 10 18 0 1 0 1116338957 2473984 274 4294967295 134512640 135169312 3216992064 3216988280 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25813/statm: 604 274 231 161 0 43 0
[pid=25817] ppid=25813 vsize=67900 CPUtime=8.52
/proc/25817/stat : 25817 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202496 10157 0 0 0 833 19 0 0 16 0 4 0 1116339357 69529600 10089 4294967295 134512640 135305190 3213950032 3213948152 134839991 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25817/statm: 16975 10089 79 194 0 16779 0
[pid=25817/tid=25818] ppid=25813 vsize=67900 CPUtime=2.11
/proc/25817/task/25818/stat : 25818 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 1485 0 0 0 206 5 0 0 16 0 4 0 1116339372 69529600 10089 4294967295 134512640 135305190 3213950032 3084618612 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25817/tid=25819] ppid=25813 vsize=67900 CPUtime=2.01
/proc/25817/task/25819/stat : 25819 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 1316 0 0 0 199 2 0 0 16 0 4 0 1116339372 69529600 10090 4294967295 134512640 135305190 3213950032 3076230336 134528245 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25817/tid=25820] ppid=25813 vsize=67900 CPUtime=2.14
/proc/25817/task/25820/stat : 25820 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 1149 0 0 0 209 5 0 0 15 0 4 0 1116339372 69529600 10090 4294967295 134512640 135305190 3213950032 3067841472 134545957 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 70316
Solver just ended. Dumping a history of the last processes samples
[startup+9.51127 s]
/proc/loadavg: 4.03 4.25 4.28 9/114 25820
/proc/meminfo: memFree=2211876/3368532 swapFree=1959840/1959888
[pid=25813] ppid=25811 vsize=2416 CPUtime=4
/proc/25813/stat : 25813 (manysat.sh) S 25811 25813 29143 0 -1 4194304 369 8126 0 0 0 0 390 10 18 0 1 0 1116338957 2473984 274 4294967295 134512640 135169312 3216992064 3216988280 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25813/statm: 604 274 231 161 0 43 0
[pid=25817] ppid=25813 vsize=86640 CPUtime=21.27
/proc/25817/stat : 25817 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202496 15038 0 0 0 2103 24 0 0 16 0 4 0 1116339357 88719360 14970 4294967295 134512640 135305190 3213950032 3213948208 134528341 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25817/statm: 21660 14970 79 194 0 21464 0
[pid=25817/tid=25818] ppid=25813 vsize=86640 CPUtime=5.29
/proc/25817/task/25818/stat : 25818 (manysat1.1_stat) S 25813 25813 29143 0 -1 4202560 2714 0 0 0 524 5 0 0 16 0 4 0 1116339372 88719360 14970 4294967295 134512640 135305190 3213950032 3084618868 134694990 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25817/tid=25819] ppid=25813 vsize=86640 CPUtime=5.2
/proc/25817/task/25819/stat : 25819 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 2692 0 0 0 518 2 0 0 16 0 4 0 1116339372 88719360 14970 4294967295 134512640 135305190 3213950032 3076230088 134837797 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25817/tid=25820] ppid=25813 vsize=86640 CPUtime=5.34
/proc/25817/task/25820/stat : 25820 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 1949 0 0 0 526 8 0 0 15 0 4 0 1116339372 88719360 14970 4294967295 134512640 135305190 3213950032 3067841392 134551642 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 89056
[startup+10.3112 s]
/proc/loadavg: 4.03 4.25 4.28 7/114 25820
/proc/meminfo: memFree=2207580/3368532 swapFree=1959840/1959888
[pid=25813] ppid=25811 vsize=2416 CPUtime=4
/proc/25813/stat : 25813 (manysat.sh) S 25811 25813 29143 0 -1 4194304 369 8126 0 0 0 0 390 10 18 0 1 0 1116338957 2473984 274 4294967295 134512640 135169312 3216992064 3216988280 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25813/statm: 604 274 231 161 0 43 0
[pid=25817] ppid=25813 vsize=87564 CPUtime=24.46
/proc/25817/stat : 25817 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202496 15317 0 0 0 2421 25 0 0 16 0 4 0 1116339357 89665536 15249 4294967295 134512640 135305190 3213950032 3213947872 134551697 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25817/statm: 21891 15249 79 194 0 21695 0
[pid=25817/tid=25818] ppid=25813 vsize=87564 CPUtime=6.08
/proc/25817/task/25818/stat : 25818 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 2779 0 0 0 602 6 0 0 16 0 4 0 1116339372 89665536 15249 4294967295 134512640 135305190 3213950032 3084618608 134551978 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25817/tid=25819] ppid=25813 vsize=87564 CPUtime=6
/proc/25817/task/25819/stat : 25819 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 2771 0 0 0 598 2 0 0 16 0 4 0 1116339372 89665536 15249 4294967295 134512640 135305190 3213950032 3076230336 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25817/tid=25820] ppid=25813 vsize=87564 CPUtime=6.14
/proc/25817/task/25820/stat : 25820 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 2007 0 0 0 606 8 0 0 16 0 4 0 1116339372 89665536 15249 4294967295 134512640 135305190 3213950032 3067841672 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.46
Current children cumulated vsize (KiB) 89980
[startup+11.1112 s]
/proc/loadavg: 4.03 4.25 4.28 8/114 25820
/proc/meminfo: memFree=2202564/3368532 swapFree=1959840/1959888
[pid=25813] ppid=25811 vsize=2416 CPUtime=4
/proc/25813/stat : 25813 (manysat.sh) S 25811 25813 29143 0 -1 4194304 369 8126 0 0 0 0 390 10 18 0 1 0 1116338957 2473984 274 4294967295 134512640 135169312 3216992064 3216988280 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25813/statm: 604 274 231 161 0 43 0
[pid=25817] ppid=25813 vsize=92648 CPUtime=27.65
/proc/25817/stat : 25817 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202496 16355 0 0 0 2740 25 0 0 16 0 4 0 1116339357 94871552 16287 4294967295 134512640 135305190 3213950032 3213947872 134551697 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25817/statm: 23162 16287 79 194 0 22966 0
[pid=25817/tid=25818] ppid=25813 vsize=92648 CPUtime=6.88
/proc/25817/task/25818/stat : 25818 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 3056 0 0 0 682 6 0 0 16 0 4 0 1116339372 94871552 16287 4294967295 134512640 135305190 3213950032 3084618944 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25817/tid=25819] ppid=25813 vsize=92648 CPUtime=6.8
/proc/25817/task/25819/stat : 25819 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 3065 0 0 0 678 2 0 0 17 0 4 0 1116339372 94871552 16287 4294967295 134512640 135305190 3213950032 3076230336 134528866 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25817/tid=25820] ppid=25813 vsize=92648 CPUtime=6.94
/proc/25817/task/25820/stat : 25820 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 2193 0 0 0 686 8 0 0 16 0 4 0 1116339372 94871552 16287 4294967295 134512640 135305190 3213950032 3067841392 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.65
Current children cumulated vsize (KiB) 95064
[startup+11.5112 s]
/proc/loadavg: 4.03 4.25 4.28 8/114 25820
/proc/meminfo: memFree=2202564/3368532 swapFree=1959840/1959888
[pid=25813] ppid=25811 vsize=2416 CPUtime=4
/proc/25813/stat : 25813 (manysat.sh) S 25811 25813 29143 0 -1 4194304 369 8126 0 0 0 0 390 10 18 0 1 0 1116338957 2473984 274 4294967295 134512640 135169312 3216992064 3216988280 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/25813/statm: 604 274 231 161 0 43 0
[pid=25817] ppid=25813 vsize=93440 CPUtime=29.25
/proc/25817/stat : 25817 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202496 16561 0 0 0 2900 25 0 0 16 0 4 0 1116339357 95682560 16493 4294967295 134512640 135305190 3213950032 3213947936 134558410 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25817/statm: 23360 16494 79 194 0 23164 0
[pid=25817/tid=25818] ppid=25813 vsize=93440 CPUtime=7.28
/proc/25817/task/25818/stat : 25818 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 3098 0 0 0 722 6 0 0 16 0 4 0 1116339372 95682560 16494 4294967295 134512640 135305190 3213950032 3084618944 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25817/tid=25819] ppid=25813 vsize=93440 CPUtime=7.2
/proc/25817/task/25819/stat : 25819 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 3136 0 0 0 718 2 0 0 18 0 4 0 1116339372 95682560 16494 4294967295 134512640 135305190 3213950032 3076229952 134551712 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25817/tid=25820] ppid=25813 vsize=93440 CPUtime=7.34
/proc/25817/task/25820/stat : 25820 (manysat1.1_stat) R 25813 25813 29143 0 -1 4202560 2217 0 0 0 726 8 0 0 16 0 4 0 1116339372 95682560 16494 4294967295 134512640 135305190 3213950032 3067841456 134556752 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.25
Current children cumulated vsize (KiB) 95856
Child status: 20
Real time (s): 11.5911
CPU time (s): 33.51
CPU user time (s): 33.14
CPU system time (s): 0.37
CPU usage (%): 289.101
Max. virtual memory (cumulated for all children) (KiB): 95856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.14
system time used= 0.37
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25432
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= 17640
involuntary context switches= 2139
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on at 2009-05-28 15:19:21
IDJOB=1778887
IDBENCH=70776
IDSOLVER=626
FILE ID=/1778887-1243516761
PBS_JOBID=
Free space on /tmp= 7985 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minand/minand128.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778887-1243516761/watcher-1778887-1243516761 -o /tmp/evaluation-result-1778887-1243516761/solver-1778887-1243516761 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1778887-1243516761.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 34e3afebec3eaf03cbcceb51b352993a
RANDOM SEED= 228301247
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.12
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 2285992 kB
Buffers: 32588 kB
Cached: 929116 kB
SwapCached: 0 kB
Active: 48248 kB
Inactive: 933036 kB
HighTotal: 2489216 kB
HighFree: 1654156 kB
LowTotal: 879316 kB
LowFree: 631836 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 4124 kB
Writeback: 0 kB
AnonPages: 19384 kB
Mapped: 7772 kB
Slab: 91428 kB
SReclaimable: 78528 kB
SUnreclaim: 12900 kB
PageTables: 656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 111076 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 7985 MiB
End job on at 2009-05-28 15:19:33