0.00/0.00 c Parsing...
2.00/2.03 c ==============================================================================
2.00/2.03 c | | ORIGINAL | LEARNT | |
2.00/2.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
2.00/2.03 c ==============================================================================
2.00/2.03 c | 0 | 2445459 6687382 | 733637 0 0 nan | 0.000 % |
54.10/54.20 c | 0 | 459462 3264797 | -- 0 -- -- | -- | -1360719/-1657359
54.20/54.20 c ==============================================================================
54.20/54.20 c Result : #vars: 7950 #clauses: 459462 #literals: 3264797
54.20/54.20 c CPU time: 53.7 s
54.20/54.20 c ==============================================================================
2983.40/790.83 c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
2983.40/790.83 c ============================[ Problem Statistics ]=============================
2983.40/790.83 c | |
2983.40/790.83 c threadId : 3
2983.40/790.83 c restarts : 2220
2983.40/790.83 c conflicts : 1734385 (593 /sec)
2983.40/790.83 c decisions : 3200392 (2.28 % random) (1095 /sec)
2983.40/790.83 c propagations : 135971392 (46501 /sec)
2983.40/790.83 c conflict literals : 30256569 (13.91 % deleted)
2983.40/790.83 c Memory used : 647.35 MB
2983.40/790.83 c CPU time : 2924.06 s
2983.40/790.83
2983.40/790.83 c --->m=4, e=8, aimd=2, HOME/5845_many.cnf time: 731.015 conflicts: 1734385
2983.40/790.87 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780177-1243529250/watcher-1780177-1243529250 -o /tmp/evaluation-result-1780177-1243529250/solver-1780177-1243529250 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780177-1243529250.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: 3.96 4.15 4.30 3/96 5845
/proc/meminfo: memFree=2841244/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2412 CPUtime=0
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1107026497 2469888 273 4294967295 134512640 135169312 3214193808 3214192344 3084893934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5845/statm: 603 273 231 161 0 42 0
[pid=5846] ppid=5845 vsize=1048 CPUtime=0
/proc/5846/stat : 5846 (SatElite) R 5845 5845 1628 0 -1 4202496 195 0 0 0 0 0 0 0 18 0 1 0 1107026497 1073152 131 4294967295 134512640 135034092 3215535520 3215531864 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5846/statm: 262 131 50 128 0 132 0
[startup+0.03715 s]
/proc/loadavg: 3.96 4.15 4.30 3/96 5845
/proc/meminfo: memFree=2841244/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2412 CPUtime=0
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1107026497 2469888 273 4294967295 134512640 135169312 3214193808 3214192344 3084893934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5845/statm: 603 273 231 161 0 42 0
[pid=5846] ppid=5845 vsize=5508 CPUtime=0.03
/proc/5846/stat : 5846 (SatElite) R 5845 5845 1628 0 -1 4202496 1206 0 0 0 3 0 0 0 18 0 1 0 1107026497 5640192 1142 4294967295 134512640 135034092 3215535520 3215531436 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5846/statm: 1377 1142 50 128 0 1247 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7920
[startup+0.107145 s]
/proc/loadavg: 3.96 4.15 4.30 3/96 5845
/proc/meminfo: memFree=2841244/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2412 CPUtime=0
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1107026497 2469888 273 4294967295 134512640 135169312 3214193808 3214192344 3084893934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5845/statm: 603 273 231 161 0 42 0
[pid=5846] ppid=5845 vsize=13064 CPUtime=0.1
/proc/5846/stat : 5846 (SatElite) R 5845 5845 1628 0 -1 4202496 2912 0 0 0 8 2 0 0 18 0 1 0 1107026497 13377536 2848 4294967295 134512640 135034092 3215535520 3215531512 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5846/statm: 3266 2848 51 128 0 3136 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15476
[startup+0.307196 s]
/proc/loadavg: 3.96 4.15 4.30 3/96 5845
/proc/meminfo: memFree=2841244/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2412 CPUtime=0
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1107026497 2469888 273 4294967295 134512640 135169312 3214193808 3214192344 3084893934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5845/statm: 603 273 231 161 0 42 0
[pid=5846] ppid=5845 vsize=32180 CPUtime=0.3
/proc/5846/stat : 5846 (SatElite) R 5845 5845 1628 0 -1 4202496 7635 0 0 0 25 5 0 0 18 0 1 0 1107026497 32952320 7571 4294967295 134512640 135034092 3215535520 3215531864 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5846/statm: 8045 7572 51 128 0 7915 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 34592
[startup+0.707104 s]
/proc/loadavg: 3.96 4.15 4.30 3/96 5845
/proc/meminfo: memFree=2841244/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2412 CPUtime=0
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1107026497 2469888 273 4294967295 134512640 135169312 3214193808 3214192344 3084893934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5845/statm: 603 273 231 161 0 42 0
[pid=5846] ppid=5845 vsize=81308 CPUtime=0.7
/proc/5846/stat : 5846 (SatElite) R 5845 5845 1628 0 -1 4202496 18047 0 0 0 62 8 0 0 18 0 1 0 1107026497 83259392 17983 4294967295 134512640 135034092 3215535520 3215531864 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5846/statm: 20327 17984 51 128 0 20197 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 83720
[startup+1.50705 s]
/proc/loadavg: 3.96 4.15 4.30 2/98 5847
/proc/meminfo: memFree=2739108/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2412 CPUtime=0
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1107026497 2469888 273 4294967295 134512640 135169312 3214193808 3214192344 3084893934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5845/statm: 603 273 231 161 0 42 0
[pid=5846] ppid=5845 vsize=166428 CPUtime=1.5
/proc/5846/stat : 5846 (SatElite) R 5845 5845 1628 0 -1 4202496 38695 0 0 0 131 19 0 0 20 0 1 0 1107026497 170422272 38631 4294967295 134512640 135034092 3215535520 3215531512 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5846/statm: 41607 38631 51 128 0 41477 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 168840
[startup+3.10694 s]
/proc/loadavg: 3.96 4.15 4.30 2/98 5847
/proc/meminfo: memFree=2615712/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2412 CPUtime=0
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1107026497 2469888 273 4294967295 134512640 135169312 3214193808 3214192344 3084893934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5845/statm: 603 273 231 161 0 42 0
[pid=5846] ppid=5845 vsize=252616 CPUtime=3.1
/proc/5846/stat : 5846 (SatElite) R 5845 5845 1628 0 -1 4202496 58130 0 0 0 283 27 0 0 25 0 1 0 1107026497 258678784 58044 4294967295 134512640 135034092 3215535520 3215532560 134536786 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5846/statm: 63154 58044 63 128 0 63024 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 255028
[startup+6.30679 s]
/proc/loadavg: 3.72 4.10 4.28 2/98 5847
/proc/meminfo: memFree=2608768/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2412 CPUtime=0
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1107026497 2469888 273 4294967295 134512640 135169312 3214193808 3214192344 3084893934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5845/statm: 603 273 231 161 0 42 0
[pid=5846] ppid=5845 vsize=258760 CPUtime=6.3
/proc/5846/stat : 5846 (SatElite) R 5845 5845 1628 0 -1 4202496 64786 0 0 0 602 28 0 0 25 0 1 0 1107026497 264970240 59396 4294967295 134512640 135034092 3215535520 3215529648 134562112 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5846/statm: 64690 59396 66 128 0 64560 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 261172
[startup+12.7063 s]
/proc/loadavg: 3.50 4.04 4.26 2/98 5847
/proc/meminfo: memFree=2524536/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2412 CPUtime=0
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1107026497 2469888 273 4294967295 134512640 135169312 3214193808 3214192344 3084893934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5845/statm: 603 273 231 161 0 42 0
[pid=5846] ppid=5845 vsize=323344 CPUtime=12.7
/proc/5846/stat : 5846 (SatElite) R 5845 5845 1628 0 -1 4202496 81064 0 0 0 1221 49 0 0 25 0 1 0 1107026497 331104256 74699 4294967295 134512640 135034092 3215535520 3215531516 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5846/statm: 80836 74699 67 128 0 80706 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 325756
[startup+25.5054 s]
/proc/loadavg: 2.95 3.89 4.21 2/98 6031
/proc/meminfo: memFree=2507624/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2412 CPUtime=0
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1107026497 2469888 273 4294967295 134512640 135169312 3214193808 3214192344 3084893934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5845/statm: 603 273 231 161 0 42 0
[pid=5846] ppid=5845 vsize=325164 CPUtime=25.5
/proc/5846/stat : 5846 (SatElite) R 5845 5845 1628 0 -1 4202496 82370 0 0 0 2501 49 0 0 25 0 1 0 1107026497 332967936 75429 4294967295 134512640 135034092 3215535520 3215531712 134540724 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5846/statm: 81291 75429 67 128 0 81161 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 327576
[startup+51.1037 s]
/proc/loadavg: 2.28 3.66 4.12 2/98 6032
/proc/meminfo: memFree=2494408/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2412 CPUtime=0
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1107026497 2469888 273 4294967295 134512640 135169312 3214193808 3214192344 3084893934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/5845/statm: 603 273 231 161 0 42 0
[pid=5846] ppid=5845 vsize=344944 CPUtime=51.1
/proc/5846/stat : 5846 (SatElite) R 5845 5845 1628 0 -1 4202496 85779 0 0 0 5060 50 0 0 25 0 1 0 1107026497 353222656 78806 4294967295 134512640 135034092 3215535520 3215531824 134569561 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5846/statm: 86236 78806 67 128 0 86106 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 347356
[startup+102.31 s]
/proc/loadavg: 3.42 3.76 4.13 5/101 6224
/proc/meminfo: memFree=2544740/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 368 91413 0 0 0 0 5488 57 18 0 1 0 1107026497 2473984 274 4294967295 134512640 135169312 3214193808 3214190024 3084893934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5845/statm: 604 274 231 161 0 43 0
[pid=6033] ppid=5845 vsize=273756 CPUtime=182.78
/proc/6033/stat : 6033 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202496 61453 0 0 0 18217 61 0 0 25 0 4 0 1107032041 280326144 61389 4294967295 134512640 135305190 3218249824 3218247732 134846412 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/6033/statm: 68439 61389 79 194 0 68243 0
[pid=6033/tid=6035] ppid=5845 vsize=273756 CPUtime=45.35
/proc/6033/task/6035/stat : 6035 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 6963 0 0 0 4522 13 0 0 25 0 4 0 1107032161 280326144 61389 4294967295 134512640 135305190 3218249824 3072249024 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=6033/tid=6036] ppid=5845 vsize=273756 CPUtime=45.45
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 7309 0 0 0 4534 11 0 0 25 0 4 0 1107032161 280326144 61389 4294967295 134512640 135305190 3218249824 3063860416 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=273756 CPUtime=45.34
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 6922 0 0 0 4517 17 0 0 25 0 4 0 1107032161 280326144 61389 4294967295 134512640 135305190 3218249824 3055471808 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 238.23
Current children cumulated vsize (KiB) 276172
[startup+162.316 s]
/proc/loadavg: 4.05 3.86 4.14 6/101 6418
/proc/meminfo: memFree=2499612/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 368 91413 0 0 0 0 5488 57 18 0 1 0 1107026497 2473984 274 4294967295 134512640 135169312 3214193808 3214190024 3084893934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5845/statm: 604 274 231 161 0 43 0
[pid=6033] ppid=5845 vsize=320416 CPUtime=422.13
/proc/6033/stat : 6033 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202496 72889 0 0 0 42129 84 0 0 25 0 4 0 1107032041 328105984 72825 4294967295 134512640 135305190 3218249824 3218248000 134528286 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/6033/statm: 80104 72825 79 194 0 79908 0
[pid=6033/tid=6035] ppid=5845 vsize=320416 CPUtime=105.1
/proc/6033/task/6035/stat : 6035 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 8946 0 0 0 10493 17 0 0 25 0 4 0 1107032161 328105984 72825 4294967295 134512640 135305190 3218249824 3072249024 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=6033/tid=6036] ppid=5845 vsize=320416 CPUtime=105.39
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 11900 0 0 0 10522 17 0 0 25 0 4 0 1107032161 328105984 72825 4294967295 134512640 135305190 3218249824 3063860416 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=320416 CPUtime=105.04
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 9188 0 0 0 10480 24 0 0 25 0 4 0 1107032161 328105984 72825 4294967295 134512640 135305190 3218249824 3055471808 134528750 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 477.58
Current children cumulated vsize (KiB) 322832
[startup+222.312 s]
/proc/loadavg: 4.30 3.96 4.15 6/101 6607
/proc/meminfo: memFree=2463080/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 368 91413 0 0 0 0 5488 57 18 0 1 0 1107026497 2473984 274 4294967295 134512640 135169312 3214193808 3214190024 3084893934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5845/statm: 604 274 231 161 0 43 0
[pid=6033] ppid=5845 vsize=358152 CPUtime=661.49
/proc/6033/stat : 6033 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202496 81973 0 0 0 66042 107 0 0 25 0 4 0 1107032041 366747648 81909 4294967295 134512640 135305190 3218249824 3218247540 134839991 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/6033/statm: 89538 81909 79 194 0 89342 0
[pid=6033/tid=6035] ppid=5845 vsize=358152 CPUtime=164.77
/proc/6033/task/6035/stat : 6035 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 10825 0 0 0 16457 20 0 0 25 0 4 0 1107032161 366747648 81909 4294967295 134512640 135305190 3218249824 3072249024 134528329 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=6033/tid=6036] ppid=5845 vsize=358152 CPUtime=165.3
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 15037 0 0 0 16508 22 0 0 25 0 4 0 1107032161 366747648 81909 4294967295 134512640 135305190 3218249824 3063860416 134528248 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=358152 CPUtime=164.88
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 11160 0 0 0 16457 31 0 0 25 0 4 0 1107032161 366747648 81909 4294967295 134512640 135305190 3218249824 3055471808 134528376 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 716.94
Current children cumulated vsize (KiB) 360568
[startup+282.308 s]
/proc/loadavg: 4.47 4.06 4.17 5/101 6793
/proc/meminfo: memFree=2435524/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
################
# More data... #
################
[pid=6033/tid=6036] ppid=5845 vsize=590412 CPUtime=643.89
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 31145 0 0 0 64313 76 0 0 25 0 4 0 1107032161 604581888 138780 4294967295 134512640 135305190 3218249824 3063860416 134528237 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=590412 CPUtime=643.52
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 23983 0 0 0 64277 75 0 0 25 0 4 0 1107032161 604581888 138780 4294967295 134512640 135305190 3218249824 3055471808 134528399 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2631.55
Current children cumulated vsize (KiB) 592828
[startup+762.315 s]
/proc/loadavg: 4.17 4.22 4.19 5/101 8300
/proc/meminfo: memFree=2184120/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 368 91413 0 0 0 0 5488 57 18 0 1 0 1107026497 2473984 274 4294967295 134512640 135169312 3214193808 3214190024 3084893934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5845/statm: 604 274 231 161 0 43 0
[pid=6033] ppid=5845 vsize=642232 CPUtime=2815.56
/proc/6033/stat : 6033 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202496 151581 0 0 0 281189 367 0 0 25 0 4 0 1107032041 657645568 151517 4294967295 134512640 135305190 3218249824 3218248000 134528332 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/6033/statm: 160558 151517 79 194 0 160362 0
[pid=6033/tid=6035] ppid=5845 vsize=642232 CPUtime=703.49
/proc/6033/task/6035/stat : 6035 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 26552 0 0 0 70281 68 0 0 25 0 4 0 1107032161 657645568 151517 4294967295 134512640 135305190 3218249824 3072249024 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=5845 vsize=642232 CPUtime=703.83
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 36983 0 0 0 70300 83 0 0 25 0 4 0 1107032161 657645568 151517 4294967295 134512640 135305190 3218249824 3063860416 134528277 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=642232 CPUtime=703.15
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 26127 0 0 0 70234 81 0 0 25 0 4 0 1107032161 657645568 151517 4294967295 134512640 135305190 3218249824 3055471488 134843311 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2871.01
Current children cumulated vsize (KiB) 644648
Solver just ended. Dumping a history of the last processes samples
[startup+767.915 s]
/proc/loadavg: 4.16 4.21 4.19 5/101 8301
/proc/meminfo: memFree=2180860/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 368 91413 0 0 0 0 5488 57 18 0 1 0 1107026497 2473984 274 4294967295 134512640 135169312 3214193808 3214190024 3084893934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5845/statm: 604 274 231 161 0 43 0
[pid=6033] ppid=5845 vsize=645876 CPUtime=2837.91
/proc/6033/stat : 6033 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202496 152434 0 0 0 283421 370 0 0 25 0 4 0 1107032041 661377024 152370 4294967295 134512640 135305190 3218249824 3218248000 134528747 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/6033/statm: 161469 152370 79 194 0 161273 0
[pid=6033/tid=6035] ppid=5845 vsize=645876 CPUtime=709.09
/proc/6033/task/6035/stat : 6035 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 26804 0 0 0 70841 68 0 0 25 0 4 0 1107032161 661377024 152370 4294967295 134512640 135305190 3218249824 3072249024 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=5845 vsize=645876 CPUtime=709.43
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 37228 0 0 0 70858 85 0 0 25 0 4 0 1107032161 661377024 152370 4294967295 134512640 135305190 3218249824 3063860416 134528256 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=645876 CPUtime=708.75
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 26299 0 0 0 70794 81 0 0 25 0 4 0 1107032161 661377024 152370 4294967295 134512640 135305190 3218249824 3055471680 134857151 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2893.36
Current children cumulated vsize (KiB) 648292
[startup+780.714 s]
/proc/loadavg: 4.20 4.22 4.19 5/101 8301
/proc/meminfo: memFree=2166620/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 368 91413 0 0 0 0 5488 57 18 0 1 0 1107026497 2473984 274 4294967295 134512640 135169312 3214193808 3214190024 3084893934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5845/statm: 604 274 231 161 0 43 0
[pid=6033] ppid=5845 vsize=660004 CPUtime=2889.06
/proc/6033/stat : 6033 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202496 156184 0 0 0 288526 380 0 0 25 0 4 0 1107032041 675844096 156120 4294967295 134512640 135305190 3218249824 3218248000 134528252 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/6033/statm: 165001 156120 79 194 0 164805 0
[pid=6033/tid=6035] ppid=5845 vsize=660004 CPUtime=721.89
/proc/6033/task/6035/stat : 6035 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 27930 0 0 0 72117 72 0 0 25 0 4 0 1107032161 675844096 156120 4294967295 134512640 135305190 3218249824 3072249024 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=5845 vsize=660004 CPUtime=722.22
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 37936 0 0 0 72134 88 0 0 25 0 4 0 1107032161 675844096 156120 4294967295 134512640 135305190 3218249824 3063859968 134569845 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=660004 CPUtime=721.55
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 27256 0 0 0 72072 83 0 0 25 0 4 0 1107032161 675844096 156120 4294967295 134512640 135305190 3218249824 3055471808 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2944.51
Current children cumulated vsize (KiB) 662420
[startup+787.114 s]
/proc/loadavg: 4.19 4.21 4.19 5/101 8302
/proc/meminfo: memFree=2163228/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 368 91413 0 0 0 0 5488 57 18 0 1 0 1107026497 2473984 274 4294967295 134512640 135169312 3214193808 3214190024 3084893934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5845/statm: 604 274 231 161 0 43 0
[pid=6033] ppid=5845 vsize=662740 CPUtime=2914.38
/proc/6033/stat : 6033 (manysat1.1_stat) S 5845 5845 1628 0 -1 4202496 156762 0 0 0 291056 382 0 0 15 0 4 0 1107032041 678645760 156698 4294967295 134512640 135305190 3218249824 3218247848 134694990 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/6033/statm: 165685 156698 79 194 0 165489 0
[pid=6033/tid=6035] ppid=5845 vsize=662740 CPUtime=728.29
/proc/6033/task/6035/stat : 6035 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 28255 0 0 0 72757 72 0 0 25 0 4 0 1107032161 678645760 156698 4294967295 134512640 135305190 3218249824 3072248680 134830795 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=5845 vsize=662740 CPUtime=728.49
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 37936 0 0 0 72759 90 0 0 25 0 4 0 1107032161 678645760 156698 4294967295 134512640 135305190 3218249824 3063860096 134830795 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=662740 CPUtime=727.88
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 27357 0 0 0 72705 83 0 0 25 0 4 0 1107032161 678645760 156698 4294967295 134512640 135305190 3218249824 3055471524 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2969.83
Current children cumulated vsize (KiB) 665156
[startup+788.713 s]
/proc/loadavg: 4.25 4.23 4.20 6/101 8302
/proc/meminfo: memFree=2162980/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 368 91413 0 0 0 0 5488 57 18 0 1 0 1107026497 2473984 274 4294967295 134512640 135169312 3214193808 3214190024 3084893934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5845/statm: 604 274 231 161 0 43 0
[pid=6033] ppid=5845 vsize=662884 CPUtime=2920.64
/proc/6033/stat : 6033 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202496 156790 0 0 0 291680 384 0 0 17 0 4 0 1107032041 678793216 156726 4294967295 134512640 135305190 3218249824 3218248000 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/6033/statm: 165721 156726 79 194 0 165525 0
[pid=6033/tid=6035] ppid=5845 vsize=662884 CPUtime=729.88
/proc/6033/task/6035/stat : 6035 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 28283 0 0 0 72916 72 0 0 22 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3072248912 134538167 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=5845 vsize=662884 CPUtime=730.01
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 37936 0 0 0 72910 91 0 0 25 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3063860304 134538922 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=662884 CPUtime=729.48
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 27357 0 0 0 72865 83 0 0 25 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3055471880 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2976.09
Current children cumulated vsize (KiB) 665300
[startup+789.515 s]
/proc/loadavg: 4.25 4.23 4.20 6/101 8302
/proc/meminfo: memFree=2162980/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 368 91413 0 0 0 0 5488 57 18 0 1 0 1107026497 2473984 274 4294967295 134512640 135169312 3214193808 3214190024 3084893934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5845/statm: 604 274 231 161 0 43 0
[pid=6033] ppid=5845 vsize=662884 CPUtime=2923.74
/proc/6033/stat : 6033 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202496 156790 0 0 0 291984 390 0 0 17 0 4 0 1107032041 678793216 156726 4294967295 134512640 135305190 3218249824 3218248000 134528545 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/6033/statm: 165721 156726 79 194 0 165525 0
[pid=6033/tid=6035] ppid=5845 vsize=662884 CPUtime=730.62
/proc/6033/task/6035/stat : 6035 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 28283 0 0 0 72988 74 0 0 15 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3072248872 134694990 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=5845 vsize=662884 CPUtime=730.76
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 37936 0 0 0 72981 95 0 0 25 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3063860264 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=662884 CPUtime=730.29
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 27357 0 0 0 72946 83 0 0 25 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3055471808 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2979.19
Current children cumulated vsize (KiB) 665300
[startup+790.314 s]
/proc/loadavg: 4.25 4.23 4.20 7/101 8302
/proc/meminfo: memFree=2162980/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 368 91413 0 0 0 0 5488 57 18 0 1 0 1107026497 2473984 274 4294967295 134512640 135169312 3214193808 3214190024 3084893934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5845/statm: 604 274 231 161 0 43 0
[pid=6033] ppid=5845 vsize=662884 CPUtime=2926.78
/proc/6033/stat : 6033 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202496 156790 0 0 0 292287 391 0 0 18 0 4 0 1107032041 678793216 156726 4294967295 134512640 135305190 3218249824 3218247876 134695249 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/6033/statm: 165721 156726 79 194 0 165525 0
[pid=6033/tid=6035] ppid=5845 vsize=662884 CPUtime=731.37
/proc/6033/task/6035/stat : 6035 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 28283 0 0 0 73063 74 0 0 16 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3072249024 134528458 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=5845 vsize=662884 CPUtime=731.46
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 37936 0 0 0 73050 96 0 0 25 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3063860304 134539066 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=662884 CPUtime=731.09
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 27357 0 0 0 73026 83 0 0 25 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3055471808 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2982.23
Current children cumulated vsize (KiB) 665300
[startup+790.714 s]
/proc/loadavg: 4.25 4.23 4.20 7/101 8302
/proc/meminfo: memFree=2162980/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 368 91413 0 0 0 0 5488 57 18 0 1 0 1107026497 2473984 274 4294967295 134512640 135169312 3214193808 3214190024 3084893934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5845/statm: 604 274 231 161 0 43 0
[pid=6033] ppid=5845 vsize=662884 CPUtime=2927.85
/proc/6033/stat : 6033 (manysat1.1_stat) S 5845 5845 1628 0 -1 4202496 156790 0 0 0 292394 391 0 0 19 0 4 0 1107032041 678793216 156726 4294967295 134512640 135305190 3218249824 3218249232 134657474 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/6033/statm: 165721 156726 79 194 0 165525 0
[pid=6033/tid=6035] ppid=5845 vsize=662884 CPUtime=731.59
/proc/6033/task/6035/stat : 6035 (manysat1.1_stat) S 5845 5845 1628 0 -1 4202560 28283 0 0 0 73085 74 0 0 16 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3072250288 134657474 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=5845 vsize=662884 CPUtime=731.86
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 37936 0 0 0 73090 96 0 0 25 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3063860304 134539061 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=662884 CPUtime=731.31
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) S 5845 5845 1628 0 -1 4202560 27357 0 0 0 73048 83 0 0 25 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3055473072 134657474 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2983.3
Current children cumulated vsize (KiB) 665300
[startup+790.813 s]
/proc/loadavg: 4.25 4.23 4.20 2/101 8302
/proc/meminfo: memFree=2162980/3368532 swapFree=1954076/1959888
[pid=5845] ppid=5843 vsize=2416 CPUtime=55.45
/proc/5845/stat : 5845 (manysat.sh) S 5843 5845 1628 0 -1 4194304 368 91413 0 0 0 0 5488 57 18 0 1 0 1107026497 2473984 274 4294967295 134512640 135169312 3214193808 3214190024 3084893934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5845/statm: 604 274 231 161 0 43 0
[pid=6033] ppid=5845 vsize=662884 CPUtime=2927.95
/proc/6033/stat : 6033 (manysat1.1_stat) S 5845 5845 1628 0 -1 4202496 156790 0 0 0 292404 391 0 0 19 0 4 0 1107032041 678793216 156726 4294967295 134512640 135305190 3218249824 3218249232 134657474 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/6033/statm: 165721 156726 79 194 0 165525 0
[pid=6033/tid=6035] ppid=5845 vsize=662884 CPUtime=731.59
/proc/6033/task/6035/stat : 6035 (manysat1.1_stat) S 5845 5845 1628 0 -1 4202560 28283 0 0 0 73085 74 0 0 16 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3072250288 134657474 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=5845 vsize=662884 CPUtime=731.96
/proc/6033/task/6036/stat : 6036 (manysat1.1_stat) R 5845 5845 1628 0 -1 4202560 37936 0 0 0 73100 96 0 0 25 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3063860304 134539327 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=6033/tid=6037] ppid=5845 vsize=662884 CPUtime=731.31
/proc/6033/task/6037/stat : 6037 (manysat1.1_stat) S 5845 5845 1628 0 -1 4202560 27357 0 0 0 73048 83 0 0 25 0 4 0 1107032161 678793216 156726 4294967295 134512640 135305190 3218249824 3055473072 134657474 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2983.4
Current children cumulated vsize (KiB) 665300
Child status: 20
Real time (s): 790.896
CPU time (s): 2983.48
CPU user time (s): 2978.94
CPU system time (s): 4.54
CPU usage (%): 377.228
Max. virtual memory (cumulated for all children) (KiB): 665300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2978.94
system time used= 4.54
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248864
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= 44083
involuntary context switches= 154015
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on tipi44 at 2009-05-28 18:47:30
IDJOB=1780177
IDBENCH=70959
IDSOLVER=626
FILE ID=tipi44/1780177-1243529250
PBS_JOBID=
Free space on /tmp= 15833 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ee-r3-noholes.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780177-1243529250/watcher-1780177-1243529250 -o /tmp/evaluation-result-1780177-1243529250/solver-1780177-1243529250 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780177-1243529250.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 91d125ee3007575f40ddeef126d7f80f
RANDOM SEED= 335561590
Linux tipi44 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.116
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.116
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.10
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.116
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.116
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.16
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 2841136 kB
Buffers: 142628 kB
Cached: 276996 kB
SwapCached: 2180 kB
Active: 169808 kB
Inactive: 259536 kB
HighTotal: 2489216 kB
HighFree: 2199768 kB
LowTotal: 879316 kB
LowFree: 641368 kB
SwapTotal: 1959888 kB
SwapFree: 1954076 kB
Dirty: 64100 kB
Writeback: 0 kB
AnonPages: 9016 kB
Mapped: 3420 kB
Slab: 87828 kB
SReclaimable: 77504 kB
SUnreclaim: 10324 kB
PageTables: 516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88080 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15833 MiB
End job on tipi44 at 2009-05-28 19:00:44