0.00/0.00 c Parsing...
2.38/2.41 c ==============================================================================
2.38/2.41 c | | ORIGINAL | LEARNT | |
2.38/2.41 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
2.38/2.41 c ==============================================================================
2.38/2.41 c | 0 | 2333194 6866110 | 699958 0 0 nan | 0.000 % |
58.96/59.01 c | 0 | 944203 3351555 | -- 0 -- -- | -- | -1124318/-2793809
58.96/59.02 c ==============================================================================
58.96/59.02 c Result : #vars: 91522 #clauses: 944203 #literals: 3351555
58.96/59.02 c CPU time: 58.3711 s
58.96/59.02 c ==============================================================================
1093.27/579.32 c This is ManySAT 1.1 : 4 thread(s) on 2 core(s).
1093.27/579.32 c ============================[ Problem Statistics ]=============================
1093.27/579.32 c | |
1093.27/579.32 c threadId : 1
1093.27/579.32 c restarts : 1334
1093.27/579.32 c conflicts : 269362 (261 /sec)
1093.27/579.32 c decisions : 501774 (1.81 % random) (486 /sec)
1093.27/579.32 c propagations : 216757429 (210051 /sec)
1093.27/579.32 c conflict literals : 7835915 (36.58 % deleted)
1093.27/579.32 c Memory used : 387.34 MB
1093.27/579.32 c CPU time : 1031.93 s
1093.27/579.32
1093.27/579.32 c --->m=4, e=8, aimd=1, HOME/29946_many.cnf time: 257.982 conflicts: 269362
1093.27/579.38 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774576-1241291657/watcher-1774576-1241291657 -o /tmp/evaluation-result-1774576-1241291657/solver-1774576-1241291657 -C 10000 -W 12000 -M 1800 manysat.sh HOME/instance-1774576-1241291657.cnf aimd 1
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: 3.44 3.85 3.87 2/64 29946
/proc/meminfo: memFree=1843256/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=0
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157200350 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29946/statm: 1339 235 195 169 0 50 0
[pid=29947] ppid=29946 vsize=1268 CPUtime=0
/proc/29947/stat : 29947 (SatElite) R 29946 29946 29909 0 -1 4194304 245 0 0 0 0 0 0 0 18 0 1 0 157200350 1298432 229 1992294400 134512640 135034092 4294956112 18446744073709551615 134691005 0 0 4096 3 0 0 0 17 1 0 0
/proc/29947/statm: 317 229 51 127 0 187 0
[startup+0.0583021 s]
/proc/loadavg: 3.44 3.85 3.87 2/64 29946
/proc/meminfo: memFree=1843256/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=0
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157200350 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29946/statm: 1339 235 195 169 0 50 0
[pid=29947] ppid=29946 vsize=13980 CPUtime=0.04
/proc/29947/stat : 29947 (SatElite) R 29946 29946 29909 0 -1 4194304 3458 0 0 0 4 0 0 0 18 0 1 0 157200350 14315520 3378 1992294400 134512640 135034092 4294956112 18446744073709551615 134544897 0 0 4096 3 0 0 0 17 1 0 0
/proc/29947/statm: 3495 3381 51 127 0 3365 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19336
[startup+0.10131 s]
/proc/loadavg: 3.44 3.85 3.87 2/64 29946
/proc/meminfo: memFree=1843256/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=0
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157200350 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29946/statm: 1339 235 195 169 0 50 0
[pid=29947] ppid=29946 vsize=26808 CPUtime=0.09
/proc/29947/stat : 29947 (SatElite) R 29946 29946 29909 0 -1 4194304 5661 0 0 0 7 2 0 0 18 0 1 0 157200350 27451392 5549 1992294400 134512640 135034092 4294956112 18446744073709551615 134691005 0 0 4096 3 0 0 0 17 1 0 0
/proc/29947/statm: 6702 5550 51 127 0 6572 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32164
[startup+0.301349 s]
/proc/loadavg: 3.44 3.85 3.87 2/64 29946
/proc/meminfo: memFree=1843256/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=0
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157200350 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29946/statm: 1339 235 195 169 0 50 0
[pid=29947] ppid=29946 vsize=65616 CPUtime=0.29
/proc/29947/stat : 29947 (SatElite) R 29946 29946 29909 0 -1 4194304 10416 0 0 0 23 6 0 0 19 0 1 0 157200350 67190784 10305 1992294400 134512640 135034092 4294956112 18446744073709551615 134558534 0 0 4096 3 0 0 0 17 1 0 0
/proc/29947/statm: 16404 10310 51 127 0 16274 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70972
[startup+0.701427 s]
/proc/loadavg: 3.44 3.85 3.87 2/64 29946
/proc/meminfo: memFree=1843256/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=0
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157200350 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29946/statm: 1339 235 195 169 0 50 0
[pid=29947] ppid=29946 vsize=96384 CPUtime=0.69
/proc/29947/stat : 29947 (SatElite) R 29946 29946 29909 0 -1 4194304 19835 0 0 0 57 12 0 0 23 0 1 0 157200350 98697216 19723 1992294400 134512640 135034092 4294956112 18446744073709551615 134545186 0 0 4096 3 0 0 0 17 1 0 0
/proc/29947/statm: 24096 19723 51 127 0 23966 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101740
[startup+1.50158 s]
/proc/loadavg: 3.24 3.80 3.86 2/66 29948
/proc/meminfo: memFree=1735784/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=0
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157200350 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29946/statm: 1339 235 195 169 0 50 0
[pid=29947] ppid=29946 vsize=154416 CPUtime=1.49
/proc/29947/stat : 29947 (SatElite) R 29946 29946 29909 0 -1 4194304 36957 0 0 0 125 24 0 0 25 0 1 0 157200350 158121984 36845 1992294400 134512640 135034092 4294956112 18446744073709551615 134691005 0 0 4096 3 0 0 0 17 1 0 0
/proc/29947/statm: 38604 36845 51 127 0 38474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 159772
[startup+3.1019 s]
/proc/loadavg: 3.24 3.80 3.86 2/66 29948
/proc/meminfo: memFree=1648040/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=0
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157200350 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29946/statm: 1339 235 195 169 0 50 0
[pid=29947] ppid=29946 vsize=250484 CPUtime=3.09
/proc/29947/stat : 29947 (SatElite) R 29946 29946 29909 0 -1 4194304 59406 0 0 0 269 40 0 0 25 0 1 0 157200350 256495616 59281 1992294400 134512640 135034092 4294956112 18446744073709551615 134540973 0 0 4096 3 0 0 0 17 1 0 0
/proc/29947/statm: 62621 59281 64 127 0 62491 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 255840
[startup+6.30153 s]
/proc/loadavg: 3.06 3.75 3.84 2/66 29948
/proc/meminfo: memFree=1585384/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=0
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157200350 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29946/statm: 1339 235 195 169 0 50 0
[pid=29947] ppid=29946 vsize=274364 CPUtime=6.28
/proc/29947/stat : 29947 (SatElite) R 29946 29946 29909 0 -1 4194304 64613 0 0 0 585 43 0 0 25 0 1 0 157200350 280948736 64488 1992294400 134512640 135034092 4294956112 18446744073709551615 134541265 0 0 4096 3 0 0 0 17 1 0 0
/proc/29947/statm: 68591 64488 67 127 0 68461 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 279720
[startup+12.7028 s]
/proc/loadavg: 2.90 3.71 3.83 2/66 29948
/proc/meminfo: memFree=1585384/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=0
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157200350 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29946/statm: 1339 235 195 169 0 50 0
[pid=29947] ppid=29946 vsize=274364 CPUtime=12.68
/proc/29947/stat : 29947 (SatElite) R 29946 29946 29909 0 -1 4194304 64629 0 0 0 1225 43 0 0 25 0 1 0 157200350 280948736 64504 1992294400 134512640 135034092 4294956112 18446744073709551615 134541075 0 0 4096 3 0 0 0 17 1 0 0
/proc/29947/statm: 68591 64504 67 127 0 68461 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 279720
[startup+25.5013 s]
/proc/loadavg: 2.48 3.57 3.78 2/66 29948
/proc/meminfo: memFree=1585448/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=0
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157200350 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29946/statm: 1339 235 195 169 0 50 0
[pid=29947] ppid=29946 vsize=274136 CPUtime=25.48
/proc/29947/stat : 29947 (SatElite) R 29946 29946 29909 0 -1 4194304 64694 0 0 0 2504 44 0 0 25 0 1 0 157200350 280715264 64512 1992294400 134512640 135034092 4294956112 18446744073709551615 134541265 0 0 4096 3 0 0 0 17 1 0 0
/proc/29947/statm: 68534 64512 67 127 0 68404 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 279492
[startup+51.1013 s]
/proc/loadavg: 1.97 3.37 3.70 2/66 29948
/proc/meminfo: memFree=1584680/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=0
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157200350 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29946/statm: 1339 235 195 169 0 50 0
[pid=29947] ppid=29946 vsize=276280 CPUtime=51.06
/proc/29947/stat : 29947 (SatElite) R 29946 29946 29909 0 -1 4194304 65160 0 0 0 5062 44 0 0 25 0 1 0 157200350 282910720 64746 1992294400 134512640 135034092 4294956112 18446744073709551615 134540973 0 0 4096 3 0 0 0 17 1 0 0
/proc/29947/statm: 69070 64746 67 127 0 68940 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 281636
[startup+102.306 s]
/proc/loadavg: 2.88 3.37 3.69 5/69 29952
/proc/meminfo: memFree=1512208/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 313 80902 0 0 0 0 5976 76 16 0 1 0 157200350 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29946/statm: 1339 238 195 169 0 50 0
[pid=29949] ppid=29946 vsize=323936 CPUtime=80.93
/proc/29949/stat : 29949 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194304 72177 0 0 0 8036 57 0 0 21 0 4 0 157206408 331710464 72043 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/29949/statm: 80984 72043 83 193 0 80788 0
[pid=29949/tid=29950] ppid=29946 vsize=323936 CPUtime=22.46
/proc/29949/task/29950/stat : 29950 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 2891 0 0 0 2238 8 0 0 22 0 4 0 157206628 331710464 72043 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29951] ppid=29946 vsize=323936 CPUtime=16.47
/proc/29949/task/29951/stat : 29951 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 3129 0 0 0 1641 6 0 0 21 0 4 0 157206628 331710464 72043 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
[pid=29949/tid=29952] ppid=29946 vsize=323936 CPUtime=18.59
/proc/29949/task/29952/stat : 29952 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 3180 0 0 0 1852 7 0 0 25 0 4 0 157206628 331710464 72043 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 141.45
Current children cumulated vsize (KiB) 329292
[startup+162.301 s]
/proc/loadavg: 3.53 3.47 3.70 5/69 29952
/proc/meminfo: memFree=1497424/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 313 80902 0 0 0 0 5976 76 16 0 1 0 157200350 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29946/statm: 1339 238 195 169 0 50 0
[pid=29949] ppid=29946 vsize=338760 CPUtime=200.63
/proc/29949/stat : 29949 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194304 75888 0 0 0 20000 63 0 0 19 0 4 0 157206408 346890240 75754 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/29949/statm: 84690 75754 83 193 0 84494 0
[pid=29949/tid=29950] ppid=29946 vsize=338760 CPUtime=47.5
/proc/29949/task/29950/stat : 29950 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 3536 0 0 0 4741 9 0 0 22 0 4 0 157206628 346890240 75754 1992294400 134512640 135305190 4294956160 18446744073709551615 134528145 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29951] ppid=29946 vsize=338760 CPUtime=45.39
/proc/29949/task/29951/stat : 29951 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 4275 0 0 0 4531 8 0 0 25 0 4 0 157206628 346890240 75754 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
[pid=29949/tid=29952] ppid=29946 vsize=338760 CPUtime=55.09
/proc/29949/task/29952/stat : 29952 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 4170 0 0 0 5500 9 0 0 21 0 4 0 157206628 346890240 75754 1992294400 134512640 135305190 4294956160 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 261.15
Current children cumulated vsize (KiB) 344116
[startup+222.302 s]
/proc/loadavg: 3.83 3.56 3.72 5/69 29952
/proc/meminfo: memFree=1488208/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 313 80902 0 0 0 0 5976 76 16 0 1 0 157200350 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29946/statm: 1339 238 195 169 0 50 0
[pid=29949] ppid=29946 vsize=348276 CPUtime=320.35
/proc/29949/stat : 29949 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194304 78179 0 0 0 31967 68 0 0 25 0 4 0 157206408 356634624 78045 1992294400 134512640 135305190 4294956160 18446744073709551615 134551820 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/29949/statm: 87069 78045 83 193 0 86873 0
[pid=29949/tid=29950] ppid=29946 vsize=348276 CPUtime=73.29
/proc/29949/task/29950/stat : 29950 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 3933 0 0 0 7319 10 0 0 25 0 4 0 157206628 356634624 78045 1992294400 134512640 135305190 4294956160 18446744073709551615 134530700 0 0 4096 3 0 0 0 -1 0 0 0
[pid=29949/tid=29951] ppid=29946 vsize=348276 CPUtime=70.02
/proc/29949/task/29951/stat : 29951 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 4976 0 0 0 6993 9 0 0 23 0 4 0 157206628 356634624 78045 1992294400 134512640 135305190 4294956160 18446744073709551615 134528539 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29952] ppid=29946 vsize=348276 CPUtime=88.44
/proc/29949/task/29952/stat : 29952 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 4654 0 0 0 8834 10 0 0 25 0 4 0 157206628 356634624 78045 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 380.87
Current children cumulated vsize (KiB) 353632
[startup+282.302 s]
/proc/loadavg: 3.93 3.64 3.73 5/69 29952
/proc/meminfo: memFree=1477264/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
################
# More data... #
################
/proc/meminfo: memFree=1443472/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 313 80902 0 0 0 0 5976 76 16 0 1 0 157200350 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29946/statm: 1339 238 195 169 0 50 0
[pid=29949] ppid=29946 vsize=392960 CPUtime=919.01
/proc/29949/stat : 29949 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194304 89308 0 0 0 91816 85 0 0 23 0 4 0 157206408 402391040 89174 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/29949/statm: 98240 89174 83 193 0 98044 0
[pid=29949/tid=29950] ppid=29946 vsize=392960 CPUtime=216.88
/proc/29949/task/29950/stat : 29950 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6040 0 0 0 21674 14 0 0 25 0 4 0 157206628 402391040 89174 1992294400 134512640 135305190 4294956160 18446744073709551615 134528341 0 0 4096 3 0 0 0 -1 0 0 0
[pid=29949/tid=29951] ppid=29946 vsize=392960 CPUtime=217.87
/proc/29949/task/29951/stat : 29951 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 9813 0 0 0 21771 16 0 0 25 0 4 0 157206628 402391040 89174 1992294400 134512640 135305190 4294956160 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29952] ppid=29946 vsize=392960 CPUtime=240.36
/proc/29949/task/29952/stat : 29952 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6824 0 0 0 24023 13 0 0 21 0 4 0 157206628 402391040 89174 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 979.53
Current children cumulated vsize (KiB) 398316
Solver just ended. Dumping a history of the last processes samples
[startup+537.502 s]
/proc/loadavg: 3.99 3.84 3.78 5/69 29952
/proc/meminfo: memFree=1443088/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 313 80902 0 0 0 0 5976 76 16 0 1 0 157200350 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29946/statm: 1339 238 195 169 0 50 0
[pid=29949] ppid=29946 vsize=393380 CPUtime=949.34
/proc/29949/stat : 29949 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194304 89408 0 0 0 94849 85 0 0 25 0 4 0 157206408 402821120 89274 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/29949/statm: 98345 89274 83 193 0 98149 0
[pid=29949/tid=29950] ppid=29946 vsize=393380 CPUtime=224.43
/proc/29949/task/29950/stat : 29950 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6043 0 0 0 22429 14 0 0 25 0 4 0 157206628 402821120 89274 1992294400 134512640 135305190 4294956160 18446744073709551615 134551726 0 0 4096 3 0 0 0 -1 0 0 0
[pid=29949/tid=29951] ppid=29946 vsize=393380 CPUtime=225.47
/proc/29949/task/29951/stat : 29951 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 9889 0 0 0 22531 16 0 0 25 0 4 0 157206628 402821120 89274 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29952] ppid=29946 vsize=393380 CPUtime=247.95
/proc/29949/task/29952/stat : 29952 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6824 0 0 0 24782 13 0 0 25 0 4 0 157206628 402821120 89274 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1009.86
Current children cumulated vsize (KiB) 398736
[startup+563.102 s]
/proc/loadavg: 3.99 3.85 3.79 5/69 29952
/proc/meminfo: memFree=1441360/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 313 80902 0 0 0 0 5976 76 16 0 1 0 157200350 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29946/statm: 1339 238 195 169 0 50 0
[pid=29949] ppid=29946 vsize=394876 CPUtime=1000.42
/proc/29949/stat : 29949 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194304 89832 0 0 0 99956 86 0 0 25 0 4 0 157206408 404353024 89698 1992294400 134512640 135305190 4294956160 18446744073709551615 134528480 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/29949/statm: 98719 89698 83 193 0 98523 0
[pid=29949/tid=29950] ppid=29946 vsize=394876 CPUtime=234.97
/proc/29949/task/29950/stat : 29950 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6095 0 0 0 23483 14 0 0 25 0 4 0 157206628 404353024 89698 1992294400 134512640 135305190 4294956160 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 0 0 0
[pid=29949/tid=29951] ppid=29946 vsize=394876 CPUtime=238.36
/proc/29949/task/29951/stat : 29951 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 10085 0 0 0 23820 16 0 0 25 0 4 0 157206628 404353024 89698 1992294400 134512640 135305190 4294956160 18446744073709551615 134551782 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29952] ppid=29946 vsize=394876 CPUtime=261.27
/proc/29949/task/29952/stat : 29952 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6897 0 0 0 26113 14 0 0 17 0 4 0 157206628 404353024 89698 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1060.94
Current children cumulated vsize (KiB) 400232
[startup+569.501 s]
/proc/loadavg: 3.99 3.85 3.79 5/69 29952
/proc/meminfo: memFree=1440976/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 313 80902 0 0 0 0 5976 76 16 0 1 0 157200350 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29946/statm: 1339 238 195 169 0 50 0
[pid=29949] ppid=29946 vsize=395148 CPUtime=1013.18
/proc/29949/stat : 29949 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194304 89937 0 0 0 101232 86 0 0 25 0 4 0 157206408 404631552 89803 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/29949/statm: 98787 89803 83 193 0 98591 0
[pid=29949/tid=29950] ppid=29946 vsize=395148 CPUtime=237.57
/proc/29949/task/29950/stat : 29950 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6113 0 0 0 23743 14 0 0 25 0 4 0 157206628 404631552 89803 1992294400 134512640 135305190 4294956160 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 0 0 0
[pid=29949/tid=29951] ppid=29946 vsize=395148 CPUtime=241.56
/proc/29949/task/29951/stat : 29951 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 10113 0 0 0 24140 16 0 0 25 0 4 0 157206628 404631552 89803 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29952] ppid=29946 vsize=395148 CPUtime=265.04
/proc/29949/task/29952/stat : 29952 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6925 0 0 0 26490 14 0 0 25 0 4 0 157206628 404631552 89803 1992294400 134512640 135305190 4294956160 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1073.7
Current children cumulated vsize (KiB) 400504
[startup+575.902 s]
/proc/loadavg: 3.99 3.86 3.79 5/69 29952
/proc/meminfo: memFree=1440592/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 313 80902 0 0 0 0 5976 76 16 0 1 0 157200350 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29946/statm: 1339 238 195 169 0 50 0
[pid=29949] ppid=29946 vsize=396456 CPUtime=1025.95
/proc/29949/stat : 29949 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194304 90040 0 0 0 102509 86 0 0 25 0 4 0 157206408 405970944 89906 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/29949/statm: 99114 89906 83 193 0 98918 0
[pid=29949/tid=29950] ppid=29946 vsize=396456 CPUtime=240.77
/proc/29949/task/29950/stat : 29950 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6132 0 0 0 24063 14 0 0 25 0 4 0 157206628 405970944 89906 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
[pid=29949/tid=29951] ppid=29946 vsize=396456 CPUtime=244.76
/proc/29949/task/29951/stat : 29951 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 10145 0 0 0 24460 16 0 0 25 0 4 0 157206628 405970944 89906 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29952] ppid=29946 vsize=396456 CPUtime=268.22
/proc/29949/task/29952/stat : 29952 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6957 0 0 0 26808 14 0 0 25 0 4 0 157206628 405970944 89906 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1086.47
Current children cumulated vsize (KiB) 401812
[startup+577.506 s]
/proc/loadavg: 3.99 3.86 3.79 5/69 29952
/proc/meminfo: memFree=1440400/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 313 80902 0 0 0 0 5976 76 16 0 1 0 157200350 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29946/statm: 1339 238 195 169 0 50 0
[pid=29949] ppid=29946 vsize=396456 CPUtime=1029.15
/proc/29949/stat : 29949 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194304 90080 0 0 0 102829 86 0 0 25 0 4 0 157206408 405970944 89946 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/29949/statm: 99114 89946 83 193 0 98918 0
[pid=29949/tid=29950] ppid=29946 vsize=396456 CPUtime=241.57
/proc/29949/task/29950/stat : 29950 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6139 0 0 0 24143 14 0 0 25 0 4 0 157206628 405970944 89946 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 0 0 0
[pid=29949/tid=29951] ppid=29946 vsize=396456 CPUtime=245.56
/proc/29949/task/29951/stat : 29951 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 10156 0 0 0 24540 16 0 0 25 0 4 0 157206628 405970944 89946 1992294400 134512640 135305190 4294956160 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29952] ppid=29946 vsize=396456 CPUtime=269.01
/proc/29949/task/29952/stat : 29952 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6978 0 0 0 26887 14 0 0 25 0 4 0 157206628 405970944 89946 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1089.67
Current children cumulated vsize (KiB) 401812
[startup+578.302 s]
/proc/loadavg: 3.99 3.86 3.79 5/69 29952
/proc/meminfo: memFree=1440400/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 313 80902 0 0 0 0 5976 76 16 0 1 0 157200350 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29946/statm: 1339 238 195 169 0 50 0
[pid=29949] ppid=29946 vsize=396632 CPUtime=1030.74
/proc/29949/stat : 29949 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194304 90098 0 0 0 102988 86 0 0 17 0 4 0 157206408 406151168 89964 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/29949/statm: 99158 89964 83 193 0 98962 0
[pid=29949/tid=29950] ppid=29946 vsize=396632 CPUtime=241.87
/proc/29949/task/29950/stat : 29950 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6139 0 0 0 24173 14 0 0 25 0 4 0 157206628 406151168 89964 1992294400 134512640 135305190 4294956160 18446744073709551615 134694990 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29951] ppid=29946 vsize=396632 CPUtime=245.94
/proc/29949/task/29951/stat : 29951 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 10169 0 0 0 24578 16 0 0 23 0 4 0 157206628 406151168 89964 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29952] ppid=29946 vsize=396632 CPUtime=269.42
/proc/29949/task/29952/stat : 29952 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6982 0 0 0 26928 14 0 0 25 0 4 0 157206628 406151168 89964 1992294400 134512640 135305190 4294956160 18446744073709551615 134695249 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1091.26
Current children cumulated vsize (KiB) 401988
[startup+579.102 s]
/proc/loadavg: 3.99 3.86 3.79 5/69 29952
/proc/meminfo: memFree=1440272/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 313 80902 0 0 0 0 5976 76 16 0 1 0 157200350 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29946/statm: 1339 238 195 169 0 50 0
[pid=29949] ppid=29946 vsize=396632 CPUtime=1032.35
/proc/29949/stat : 29949 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194304 90098 0 0 0 103148 87 0 0 18 0 4 0 157206408 406151168 89964 1992294400 134512640 135305190 4294956160 18446744073709551615 134547909 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/29949/statm: 99158 89964 83 193 0 98962 0
[pid=29949/tid=29950] ppid=29946 vsize=396632 CPUtime=242.66
/proc/29949/task/29950/stat : 29950 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6139 0 0 0 24252 14 0 0 17 0 4 0 157206628 406151168 89964 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29951] ppid=29946 vsize=396632 CPUtime=245.96
/proc/29949/task/29951/stat : 29951 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 10169 0 0 0 24580 16 0 0 24 0 4 0 157206628 406151168 89964 1992294400 134512640 135305190 4294956160 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29952] ppid=29946 vsize=396632 CPUtime=269.42
/proc/29949/task/29952/stat : 29952 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6982 0 0 0 26928 14 0 0 25 0 4 0 157206628 406151168 89964 1992294400 134512640 135305190 4294956160 18446744073709551615 134695249 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1092.87
Current children cumulated vsize (KiB) 401988
[startup+579.302 s]
/proc/loadavg: 3.99 3.86 3.79 5/69 29952
/proc/meminfo: memFree=1440272/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5356 CPUtime=60.52
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 313 80902 0 0 0 0 5976 76 16 0 1 0 157200350 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29946/statm: 1339 238 195 169 0 50 0
[pid=29949] ppid=29946 vsize=396632 CPUtime=1032.75
/proc/29949/stat : 29949 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194304 90098 0 0 0 103188 87 0 0 18 0 4 0 157206408 406151168 89964 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/29949/statm: 99158 89964 83 193 0 98962 0
[pid=29949/tid=29950] ppid=29946 vsize=396632 CPUtime=242.86
/proc/29949/task/29950/stat : 29950 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6139 0 0 0 24272 14 0 0 17 0 4 0 157206628 406151168 89964 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29951] ppid=29946 vsize=396632 CPUtime=245.96
/proc/29949/task/29951/stat : 29951 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 10169 0 0 0 24580 16 0 0 24 0 4 0 157206628 406151168 89964 1992294400 134512640 135305190 4294956160 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 1 0 0
[pid=29949/tid=29952] ppid=29946 vsize=396632 CPUtime=269.42
/proc/29949/task/29952/stat : 29952 (manysat1.1_stat) R 29946 29946 29909 0 -1 4194368 6982 0 0 0 26928 14 0 0 25 0 4 0 157206628 406151168 89964 1992294400 134512640 135305190 4294956160 18446744073709551615 134695249 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1093.27
Current children cumulated vsize (KiB) 401988
[startup+579.402 s]
/proc/loadavg: 3.99 3.86 3.79 5/69 29952
/proc/meminfo: memFree=1440272/2055924 swapFree=4149332/4192956
[pid=29946] ppid=29944 vsize=5360 CPUtime=1093.38
/proc/29946/stat : 29946 (manysat.sh) S 29944 29946 29909 0 -1 4194304 340 171015 0 0 0 0 109169 169 17 0 1 0 157200350 5488640 240 1992294400 4194304 4889804 548682068800 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29946/statm: 1340 240 196 169 0 51 0
Current children cumulated CPU time (s) 1093.38
Current children cumulated vsize (KiB) 5360
Child status: 20
Real time (s): 579.414
CPU time (s): 1093.41
CPU user time (s): 1091.69
CPU system time (s): 1.71874
CPU usage (%): 188.71
Max. virtual memory (cumulated for all children) (KiB): 401988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1091.7
system time used= 1.71874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171482
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= 7934
involuntary context switches= 19864
runsolver used 0.573912 second user time and 1.53977 second system time
The end
Begin job on node6 at 2009-05-02 21:14:20
IDJOB=1774576
IDBENCH=70961
IDSOLVER=612
FILE ID=node6/1774576-1241291657
PBS_JOBID= 9225125
Free space on /tmp= 66504 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774576-1241291657/watcher-1774576-1241291657 -o /tmp/evaluation-result-1774576-1241291657/solver-1774576-1241291657 -C 10000 -W 12000 -M 1800 manysat.sh HOME/instance-1774576-1241291657.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ba6884aaa746378e56c38fd8b3d0255e
RANDOM SEED=1325116525
node6.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.281
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.281
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: 2055924 kB
MemFree: 1843672 kB
Buffers: 8368 kB
Cached: 92988 kB
SwapCached: 37364 kB
Active: 90628 kB
Inactive: 49564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1843672 kB
SwapTotal: 4192956 kB
SwapFree: 4149332 kB
Dirty: 51032 kB
Writeback: 0 kB
Mapped: 13872 kB
Slab: 58048 kB
Committed_AS: 779652 kB
PageTables: 1452 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= 66500 MiB
End job on node6 at 2009-05-02 21:23:59